Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. Expressive flexibility in constraint-oriented specification: LOTOS and Co-notation. In: IFIP TC6 WG6.1 - Formal Methods for Open Object-based Distributed Systems : proceedings of International Workshop on Formal Methods for Open Object-based Distributed Systems (Canterbury, Kent, UK, 21-23 July 1997). Proceedings, vol. 2 pp. 261 - 276. Howard Bowman and John Derrick (eds.). Chapman & Hall, 1997.
We illustrate and compare the flexibility of two specifýcation techniques for concurrent systems, namely LOTOS and our recent constraint-oriented specification notation ('Co-notation'). Flexibility is intended here as the ability to match as closely as possible the structure of the initial. informal behavioural description of the System, and to directly formalize the conceptual links among data variables and events, and their groupings, as identified by that description. We show that the simple yet powerful composition operator of the co-notation (constraint conjunction), supporting both shared-action (rendez-vous) and shared variable process interactions. achieves a higher expressive flexibility than LOTOS, and a stronger support of constraint-oriented reasoning.
Subject Specification languages
Formal methods
Process algebra
Parallel logic programming

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