In the development of distributed systems a central role is played by formal tools supporting various aspects of modularity such as compositionality, refinement and abstraction. One of the main challenges consists in developing methods allowing to derive properties of the composed system from properties of the components. In this context we consider Elementary Net Systems related by morphisms and compose them through an interface. Imposing structural constraints on the components, we obtain some structural properties of the composed system and, requiring additional local behavioural constaints, behavioural properties.
Bernardinello, L., Mangioni, E., POMELLO CHINAGLIA POMELLO, L. (2012). Composition of Elementary Net Systems based on α-morphisms. In Joint Proceedings of LAM 2012, WooPS 2012, and CompoNet 2012 (pp.87-101).
Composition of Elementary Net Systems based on α-morphisms
BERNARDINELLO, LUCA;MANGIONI, ELISABETTA;POMELLO CHINAGLIA POMELLO, LUCIA
2012
Abstract
In the development of distributed systems a central role is played by formal tools supporting various aspects of modularity such as compositionality, refinement and abstraction. One of the main challenges consists in developing methods allowing to derive properties of the composed system from properties of the components. In this context we consider Elementary Net Systems related by morphisms and compose them through an interface. Imposing structural constraints on the components, we obtain some structural properties of the composed system and, requiring additional local behavioural constaints, behavioural properties.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
