PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. Predicates for State Changes vs. Processes for Event Patterns. In: Studia Informatica Universalis, vol. 3 (1) pp. 73 - 104. Special Issue: Selected papers from OPODIS'02. - ISBN 2-912590-27-2. Editions SUGER, Saint Denis, France, 2004.
 
 
Abstract
(English)
The two informal `mental landscapes' that provide the intuitive substratum for state-oriented and event-oriented formal specifications are discussed, and abstractly characterised as networks of constraints. The structuring facilities offered by the two approaches are contrasted. A technique is introduced for expanding an event-oriented specification consisting of a fixed pattern of interacting processes into a state-oriented specification formed by a complex `action predicate' manipulating a set of state variables. Although by this transformation the event and process concepts can be absorbed into the state-based conceptual framework, we discuss some good reasons for regarding these concepts as primitive expressive tools, and for structuring specifications around them.
Subject Formal methods
Process algebra
ASM
B
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