loading...
An Algorithmic Semantics for Viewcharts
Montreal, CANADA October 21-October 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1996.558427Second IEEE International Conference ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ayaz Isazadeh, Queen's University
David A. Lamb, Queen's University
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
Usage of this product signifies your acceptance of the Terms of Use.