Document - A conceptual framework for state-based and event-based formal behavioural specification languages

2004

Conference article Closed Access

A conceptual framework for state-based and event-based formal behavioural specification languages

Bolognesi T.

State-based specification Action-based specification

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.

Source: Ninth IEEE International Conference on Engineering of Complex Computer Systems, pp. 107–116, Florence, April 14-16, 2004

Publisher: IEEE Computer Society, Los Alamitos [CA], USA

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:91030,
	title = {A conceptual framework for state-based and event-based formal behavioural specification languages},
	author = {Bolognesi T.},
	publisher = {IEEE Computer Society, Los Alamitos [CA], USA},
	doi = {10.1109/iceccs.2004.1310909},
	booktitle = {Ninth IEEE International Conference on Engineering of Complex Computer Systems, pp. 107–116, Florence, April 14-16, 2004},
	year = {2004}
}