Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96)
An Algorithmic Semantics for Viewcharts
Montreal, CANADA
October 21-October 25
ISBN: 0-8186-7614-0
Behavioral requirements engineering of large-scale software systems, using current Formal Description Techniques (FDT), is complex and difficult. In Statecharts, this complexity is evident in the form of a blow-up in the number of states and difficulty of managing the name space. We have introduced a notation, called Viewcharts, which reduces the complexity of expressing behavioral requirements of large systems. Viewcharts extends Statecharts to include behavioral views and their composition. In this paper we present an overview of the Viewcharts notation and establish its semantics via translation to Statecharts.
Index Terms:
Formal Methods, Statecharts, Specification Languages.
Citation:
Ayaz Isazadeh, David A. Lamb, "An Algorithmic Semantics for Viewcharts," iceccs, pp.293, Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96), 1996