An algorithmic semantics for Viewcharts

Copyright c 1995 Ayaz Isazadeh This paper presents the semantics of Viewcharts. Viewcharts is a formalism designed for specifying the behavioral requirements of large-scale complex systems independent of implementation. The formalism is based on Harel's Statecharts. Therefore, we establish the semantic basis of Viewcharts vi