Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)

Detalhes bibliográficos
Autores: Pérez Velasco, Pedro Pablo, Lara Jaramillo, Juan de
Formato: artículo
Fecha de publicación:2008
País:España
Recursos:Universidad Autónoma de Madrid
Repositorio:Biblos-e Archivo. Repositorio Institucional de la UAM
Idioma:inglés
OAI Identifier:oai:repositorio.uam.es:10486/666498
Acesso em linha:http://hdl.handle.net/10486/666498
https://dx.doi.org/10.1016/j.entcs.2008.03.079
Access Level:acceso abierto
Palavra-chave:Graph Transformation
Matrix Graph Grammars
Parallelism
Sequential Independence
Informática
id ES_520a96aa2ae915f256f3d94e67f1300a
oai_identifier_str oai:repositorio.uam.es:10486/666498
network_acronym_str ES
network_name_str España
repository_id_str
spelling Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independencePérez Velasco, Pedro PabloLara Jaramillo, Juan deGraph TransformationMatrix Graph GrammarsParallelismSequential IndependenceInformáticaProceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)In this paper we present a new approach for the analysis of rule-based specification of system dynamics. We model system states as simple digraphs, which can be represented with boolean matrices. Rules modelling the different state changes of the system can also be represented with boolean matrices, and therefore the rewriting is expressed using boolean operations only. The conditions for sequential independence between pair of rules are well-known in the categorical approaches to graph transformation (e.g. single and double pushout). These conditions state when two rules can be applied in any order yielding the same result. In this paper, we study the concept of sequential independence in our framework, and extend it in order to consider derivations of arbitrary finite length. Instead of studying one-step rule advances, we study independence of rule permutations in sequences of arbitrary finite length. We also analyse the conditions under which a sequence is applicable to a given host graph. We introduce rule composition and give some preliminary results regarding parallel independence. Moreover, we improve our framework making explicit the elements which, if present, disable the application of a rule or a sequence.Work sponsored by Spanish Ministry of Science and Education, project MOSAIC (TSI2005-08225-C07-06).Elsevier BVDepartamento de Ingeniería InformáticaEscuela Politécnica SuperiorHerramientas Interactivas Avanzadas (ING EPS-003)20082008-04-01research articlehttp://purl.org/coar/resource_type/c_2df8fbb1VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10486/666498https://dx.doi.org/10.1016/j.entcs.2008.03.079reponame:Biblos-e Archivo. Repositorio Institucional de la UAMinstname:Universidad Autónoma de MadridInglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:repositorio.uam.es:10486/6664982026-06-23T12:46:27Z
dc.title.none.fl_str_mv Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
title Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
spellingShingle Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
Pérez Velasco, Pedro Pablo
Graph Transformation
Matrix Graph Grammars
Parallelism
Sequential Independence
Informática
title_short Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
title_full Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
title_fullStr Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
title_full_unstemmed Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
title_sort Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence
dc.creator.none.fl_str_mv Pérez Velasco, Pedro Pablo
Lara Jaramillo, Juan de
author Pérez Velasco, Pedro Pablo
author_facet Pérez Velasco, Pedro Pablo
Lara Jaramillo, Juan de
author_role author
author2 Lara Jaramillo, Juan de
author2_role author
dc.contributor.none.fl_str_mv Departamento de Ingeniería Informática
Escuela Politécnica Superior
Herramientas Interactivas Avanzadas (ING EPS-003)
dc.subject.none.fl_str_mv Graph Transformation
Matrix Graph Grammars
Parallelism
Sequential Independence
Informática
topic Graph Transformation
Matrix Graph Grammars
Parallelism
Sequential Independence
Informática
description Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-04-01
dc.type.none.fl_str_mv research article
http://purl.org/coar/resource_type/c_2df8fbb1
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv http://hdl.handle.net/10486/666498
https://dx.doi.org/10.1016/j.entcs.2008.03.079
url http://hdl.handle.net/10486/666498
https://dx.doi.org/10.1016/j.entcs.2008.03.079
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier BV
publisher.none.fl_str_mv Elsevier BV
dc.source.none.fl_str_mv reponame:Biblos-e Archivo. Repositorio Institucional de la UAM
instname:Universidad Autónoma de Madrid
instname_str Universidad Autónoma de Madrid
reponame_str Biblos-e Archivo. Repositorio Institucional de la UAM
collection Biblos-e Archivo. Repositorio Institucional de la UAM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869408005579079680
score 15,300724

Registos relacionados