Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus


Lam, V. S. W. and Padget, J., 2005. Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus. Berlin, Germany: Springer, pp. 347-365. (Lecture Notes in Computer Science : Programming and Software Engineering; 3771)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:


UML 2.0, like UML 1.x, provides only a set of notations for specifying different aspects of a system. The problem of checking consistency between various types of models in software development is still not fully addressed. In this paper, we suggest the use of an algebraic approach for verifying whether consistency between sequence diagrams and statechart diagrams is preserved. First, statechart diagrams are encoded in the pi-calculus. Then, each object in a sequence diagram is translated into its equivalent pi-calculus definitions and verified against the corresponding statechart diagram represented in the pi-calculus using the Mobility Workbench. The applicability of the proposed approach is illustrated with an agent-based payment protocol.


Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsLam, V. S. W.and Padget, J.
EditorsRomijn, J. M. T., Smith, G. P. and van de Pol, J. C.
DepartmentsFaculty of Science > Computer Science
ID Code5395
Additional InformationID number: ISI:000234830600020


Actions (login required)

View Item