loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04)
A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages
Florence, Italy
April 14-April 16
ISBN: 0-7695-2109-6
Tommaso Bolognesi, CNR - ISTI - Pisa
We introduce a simple conceptual framework for assessing a number of well known formal specification techniques w.r.t. their ability to model state-oriented and/or event-oriented aspects of system behaviour. By attributing a-priori equal importance to the notions of event and state, by explicitly recognizing the two derived, fundamental ways of thinking about system behaviours, and by assessing the bias of existing formal methods towards one or the other, one can make more conscious choices in the upper phases of software development, that is, in requirements elicitation and analysis, in the construction of abstract system models, and in the choice of formal languages for high- and low-level design. In particular, we assess the recently introduced model of Abstract State Processes, and the design choices behind its definition, in light of the introduced state-event framework.
Citation:
Tommaso Bolognesi, "A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages," iceccs, pp.107-116, Ninth IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.