Equivalence checking of two statechart specifications

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

Research output: Contribution to journalArticle

8 Citations (Scopus)

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 languageEnglish
Pages (from-to)46-51
Number of pages6
JournalProceedings of the International Workshop on Rapid System Prototyping
DOIs
Publication statusPublished - 2000 Jan 1

ASJC Scopus subject areas

  • Computer Science(all)

Cite this