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.
|Number of pages||6|
|Journal||Proceedings of the International Workshop on Rapid System Prototyping|
|Publication status||Published - 2000|
ASJC Scopus subject areas
- Computer Science(all)