Interacting Extended State Diagrams

Electronic Notes in Theoretical Computer Science

Volumn 115, Issue SPEC. ISS., 2005, Pages 49-57

  Salaün, Gwen ^a   Poizat, Pascal ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

Formal Datatype; Formal Specification Integration; Interaction Diagram; State Diagram; Synchronization Vector

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA ACQUISITION; INTEGRATION; MATHEMATICAL MODELS; VECTORS;

FORMAL DATATYPE; FORMAL SPECIFICATIONS; INTERACTION DIAGRAMS; STATE DIAGRAMS; SYNCHRONIZATION VECTORS;

FORMAL LOGIC;

EID: 12344298708     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.09.028     Document Type: Conference Paper

References (9)

1. Allemand, M., C. Attiogbé, P. Poizat, J.-C. Royer and G. Salaün, SHE'S Project: a Report of Joint Works on the Integration of Formal Specification Techniques, in: Workshop on Integration of Specification Techniques with Applications in Engineering, 2002, pp. 29-36
2. A. Arnold Finite Transition Systems 1994 Prentice-Hall
3. A. Arnold, G. Point, A. Griffault, and A. Rauzy The AltaRica Formalism for Describing Concurrent Systems Fundamenta Informatica 40 1999 109 124
4. C. Attiogbé, P. Poizat, and G. Salaün Integration of Formal Datatypes within State Diagrams M. Pezzè International Conference on Fundamental Approaches to Software Engineering LNCS 2621 2003 341 355
5. A. Auverlot, C. Cailler, M. Coriton, V. Gruet, and M. Noël xCLAP: Animation of State Diagrams with Formal Data Master's Degree Project, University of Nantes. Available at http://www.dis.uniroma1.it/~salaun/xCLAP/ 2003 directed by C. Attiogbé and G. Salaün
6. T. Bolognesi, and E. Brinksma Introduction to the ISO Specification Language LOTOS P.H.J. van Eijk C.A. Vissers M. Diaz The Formal Description Technique LOTOS 1989 Elsevier Science Publishers North-Holland 23 73
7. C. Choppy, P. Poizat, and J.-C. Royer A Global Semantics for Views T. Rus International Conference on Algebraic Methodology And Software Technology LNCS 1816 2000 165 180
8. C. Choppy, P. Poizat, and J.-C. Royer The Korrigan Environment Journal of Universal Computer Science 7 2001 19 36
9. D.v. Oheimb Interacting State Machines: a Stateful Approach to Proving Security A. Abdallah P. Ryan S. Schneider International Conference on Formal Aspects of Security LNCS 2629 2002 15 32