Interacting Extended State Diagrams | Zendy

Gwen Salaün | Zendy; Pascal Poizat | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Interacting Extended State Diagrams

Author(s) -

Gwen Salaün,

Pascal Poizat

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.09.028

Subject(s) - formalism (music) , computer science , state diagram , theoretical computer science , synchronization (alternating current) , interaction overview diagram , formal methods , homogeneous , state (computer science) , programming language , unified modeling language , mathematics , software , art , musical , channel (broadcasting) , computer network , visual arts , combinatorics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research