The Equivalence of Statecharts

Quan Long, Zongyan Qiu, Shengchao Qin

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

    Abstract

    This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts using bisimulation on configurations. An input/response trace model is also investigated at the level of observable behaviour.
    Original languageEnglish
    Title of host publicationFormal Methods and Software Engineering. ICFEM 2003
    EditorsJ. S. Dong, J. Woodcock
    PublisherSpringer Berlin
    Pages125-143
    ISBN (Electronic)9783540398936
    ISBN (Print)9783540204619
    DOIs
    Publication statusPublished - 2003
    EventFormal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods - , Singapore
    Duration: 5 Nov 20037 Nov 2003
    Conference number: 5

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer, Berlin
    Volume2885

    Conference

    ConferenceFormal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods
    Abbreviated titleICFEM 2003
    CountrySingapore
    Period5/11/037/11/03

    Fingerprint Dive into the research topics of 'The Equivalence of Statecharts'. Together they form a unique fingerprint.

  • Cite this

    Long, Q., Qiu, Z., & Qin, S. (2003). The Equivalence of Statecharts. In J. S. Dong, & J. Woodcock (Eds.), Formal Methods and Software Engineering. ICFEM 2003 (pp. 125-143). (Lecture Notes in Computer Science; Vol. 2885). Springer Berlin. https://doi.org/10.1007/978-3-540-39893-6_9