Interacting Extended State Diagrams

Abstract

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.