PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. A Conceptual Framework for State-based and Event-based Formal Behavioural Specification Languages. In: Ninth IEEE internat. Conf. on Engineering of Complex Computer Systems, ICECCS'04 (Florence, April 14-16, 2004). Proceedings, vol. 1 pp. 107 - 116. Bellini, Pierfrancesco and Bohner, Shawn A. and Steffen, Bernard (eds.). IEEE Computer Society, 2004.
 
 
Abstract
(English)
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.
Subject State-based specification
Action-based specification
D.2.1 Requirements/Specifications
D.2.2 Design tools and techniques


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional