Interacting Extended State Diagrams
Gwen Salaün, Pascal Poizat · Electronic Notes in Theoretical Computer Science · 2005
Integrated formal description techniques are a promising approach for the specification of multi-aspect systems. In this context, we have proposed a formalism, called Extended State Diagrams (ESD), combining in an homogeneous framework state diagrams and formal data description languages. Our purpose is here to enhance the implicit ESD communication mechanisms with explicit descriptions of communications, which is achieved using synchronization vectors. The use of interaction diagrams is also discussed.