A relationship between sequence and statechart diagrams

  title={A relationship between sequence and statechart diagrams},
  author={Yves. Dumond and Didier. Girardet and Flavio. Oquendo},
  • Yves. Dumond, Didier. Girardet, Flavio. Oquendo
  • Published 2000
This paper is an introduction to an easy way to formalise sequence diagrams and verify coherence with the statechart diagrams, with the pi-calculus that is a process algebra where processes interact by sending communication links to each other. 
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications referenced by this paper.
Showing 1-10 of 11 references

UML notation guide, version 1.1 Rational Software Corporation

G. Booch, J. Rumbaugh, I. Jacobson
Santa Clara, CA, • 1997
View 10 Excerpts
Highly Influenced

A calculus of communicating systems

View 3 Excerpts
Highly Influenced

Core-TyCO, The Language Definition, Version 0.1 Technical report

V. Vasconcelos, M. Tokoro
DI/FCUL TR98-3, • 1998
View 1 Excerpt

Turner: Pict : A programming Language Based on the Pi-Calculus Technical report

D.N.B.C. Pierce
IU, Indiana University, • 1997
View 1 Excerpt

An invitation to Formal Methods

H. Saiedian
IEEE Computer, • 1996
View 1 Excerpt

The Mobily WorkBench Users'Guide, Polyadic version Internal report, Department of Computer Systems, Uppsala University, Swenden

B. Victor
View 1 Excerpt

The polyadic pi-calculus : a tutorial W

R. Milner
Brauer and Schwichtenberg (editors) : Logic and Algebra of Specification, Springer-Verlag, • 1993
View 1 Excerpt