PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. Composing Event Constraints in State-Based Specification. In: FORTE 2004: 24th IFIP WG 6.1 International Conference (Madrid, Spain, 27-30 September 2004). Proceedings, pp. 13 - 32. David de Frutos-Escrig, Manuel Nunez (eds.). (Lecture Notes in Computer Science, vol. 3235). Springer Verlag, 2004.
 
 
Abstract
(English)
Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints on event occurrences and event parameters. This paper investigates the possibility to export this specification paradigm to a state-based formalism, and discusses some deriving advantages in terms of verification.
URL: http://www.springerlink.com/app/home/contribution.asp?wasp=hb5c1mrtml3kqmqmhqvl
Subject Specification styles
LOTOS
TLA+
D.2.1 Requirements/Specifications
D.2.4 Software/Program Verification


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