Equivalence checking of two statechart specifications

Myung Hwan Park; Ki Seok Bang; Jin Young Choi; Inhye Kang

doi:10.1109/IWRSP.2000.855185

Equivalence checking of two statechart specifications

Myung Hwan Park, Ki Seok Bang, Jin Young Choi, Inhye Kang

Department of Mechanical and Information Engineering

Korea University

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

Abstract

In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

Original language	English
Pages (from-to)	46-51
Number of pages	6
Journal	Proceedings of the International Workshop on Rapid System Prototyping
DOIs	https://doi.org/10.1109/IWRSP.2000.855185
State	Published - 2000

Access to Document

10.1109/IWRSP.2000.855185

Cite this

@article{4b79f64683144745a59740c9e771a192,

title = "Equivalence checking of two statechart specifications",

abstract = "In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.",

author = "Park, \{Myung Hwan\} and Bang, \{Ki Seok\} and Choi, \{Jin Young\} and Inhye Kang",

year = "2000",

doi = "10.1109/IWRSP.2000.855185",

language = "English",

pages = "46--51",

journal = "Proceedings of the International Workshop on Rapid System Prototyping",

issn = "1074-6005",

publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - Equivalence checking of two statechart specifications

AU - Park, Myung Hwan

AU - Bang, Ki Seok

AU - Choi, Jin Young

AU - Kang, Inhye

PY - 2000

Y1 - 2000

N2 - In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

AB - In this paper, we give a process algebraic semantics for Statechart via a translation into Algebra of Communicating Shared Resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

UR - https://www.scopus.com/pages/publications/0033716675

U2 - 10.1109/IWRSP.2000.855185

DO - 10.1109/IWRSP.2000.855185

M3 - Article

AN - SCOPUS:0033716675

SN - 1074-6005

SP - 46

EP - 51

JO - Proceedings of the International Workshop on Rapid System Prototyping

JF - Proceedings of the International Workshop on Rapid System Prototyping

ER -

Equivalence checking of two statechart specifications

Abstract

Access to Document

Other files and links

Fingerprint

Cite this