PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. On state-oriented vs. event-oriented thinking in formal behavioural specifications. The document will be submitted to Conference FASE 2004 (deadline October 2003), Technical report, 2003.
 
 
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, very 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 decisions and selections 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 Formal methods
Process algebra
ASM
B
CCS
CSP
High-level Petri nets
LOTOS
TLA
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