Compositional synthesis of distributed system components based on augmented marked graphs

Artículo

Compositional synthesis of distributed system components based on augmented marked graphs

Cheung, K. S · SEDICI UNLP · 2008

Material complementario disponible

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Cheung, K. S

Editorial

SEDICI UNLP

Año

2008

Idioma

en

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Material complementario disponible

El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.

Abrir material

Resumen

Descripción general del contenido del recurso.

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. Facultad de Informática

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Cheung, K. S. (2008). Compositional synthesis of distributed system components based on augmented marked graphs. http://sedici.unlp.edu.ar/handle/10915/9621

MLA

Cheung, K. S. "Compositional synthesis of distributed system components based on augmented marked graphs." 2008. http://sedici.unlp.edu.ar/handle/10915/9621.

Chicago

Cheung, K. S. 2008. "Compositional synthesis of distributed system components based on augmented marked graphs.". http://sedici.unlp.edu.ar/handle/10915/9621.

Harvard

Cheung, K. S. 2008, Compositional synthesis of distributed system components based on augmented marked graphs, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/9621 [Accessed 29 Jun. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Compositional synthesis of distributed system components based on augmented marked graphs

Autor / colaboradores: Cheung, K. S

Editorial: SEDICI UNLP

Año de publicación: 2008

Idioma: en

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Petri nets; Distributed Systems