A Process Algebraic Semantics for Statecharts via State Refinement
Andrew C. Uselton, Scott A. Smolka · 1994
this paper we put forth a process algebraic semantics for statecharts agreeing with [19]. In particular, we provide a translation of statecharts into a process algebra with state refinement , a new operator introduced by the authors in [22]. The semantics of a statechart is then given by the labeled transition system (LTS) of its translation, as defined by the process algebra's structural operational semantics (SOS). The benefits to be reaped by giving statecharts a process algebraic semantics include the following: