Compositional synthesis of distributed system components based on augmented marked graphs

Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of...

Descripción completa

Detalles Bibliográficos
Autor principal: Cheung, K. S.
Formato: Articulo
Lenguaje:Inglés
Publicado: 2008
Materias:
Ciencias Informáticas
Petri nets
Distributed Systems
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9621
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Apr08-6.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9621
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Petri nets
Distributed Systems
spellingShingle Ciencias Informáticas
Petri nets
Distributed Systems
Cheung, K. S.
Compositional synthesis of distributed system components based on augmented marked graphs
topic_facet Ciencias Informáticas
Petri nets
Distributed Systems
description Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of distributed systems. It is proposed that distributed system components are specified as augmented marked graphs. An integrated system is obtained by composing these augmented marked graphs via their common resource places. Based on preservation of properties, liveness, boundedness, reversibility and conservativeness of the system can be readily derived. This contributes to resolve the problem of ensuring design correctness in the composition of distributed system components.
format Articulo
Articulo
author Cheung, K. S.
author_facet Cheung, K. S.
author_sort Cheung, K. S.
title Compositional synthesis of distributed system components based on augmented marked graphs
title_short Compositional synthesis of distributed system components based on augmented marked graphs
title_full Compositional synthesis of distributed system components based on augmented marked graphs
title_fullStr Compositional synthesis of distributed system components based on augmented marked graphs
title_full_unstemmed Compositional synthesis of distributed system components based on augmented marked graphs
title_sort compositional synthesis of distributed system components based on augmented marked graphs
publishDate 2008
url http://sedici.unlp.edu.ar/handle/10915/9621
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Apr08-6.pdf
work_keys_str_mv AT cheungks compositionalsynthesisofdistributedsystemcomponentsbasedonaugmentedmarkedgraphs
bdutipo_str Repositorios
_version_ 1764820491891113984

Ejemplares similares