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

Vitus S. W. Lam, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationIntegrated Formal Methods
Subtitle of host publicationProceedings of 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005
EditorsJ. M. T. Romijn, G. P. Smith, J. C. van de Pol
Place of PublicationBerlin, Germany
PublisherSpringer
Pages347-365
Number of pages19
ISBN (Electronic)9783540322405
ISBN (Print)9783540304920
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science : Programming and Software Engineering
Volume3771

Fingerprint Dive into the research topics of 'Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus'. Together they form a unique fingerprint.

  • Cite this

    Lam, V. S. W., & Padget, J. (2005). Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus. In J. M. T. Romijn, G. P. Smith, & J. C. van de Pol (Eds.), Integrated Formal Methods: Proceedings of 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 (pp. 347-365). (Lecture Notes in Computer Science : Programming and Software Engineering; Vol. 3771). Springer. https://doi.org/10.1007/11589976