Abstract
In this short paper we sketch an enhancement of our co-notation, a specification language for the behavioural description of a wide class of information processing systems which supports a constraint-oriented specification style. The enhancement substantially improves previous versions of the notation by allowing for the dynamic creation and elimination of constraints. The formal, operational semantics of the (extended) co-notation has been re-designed in a form which should favour both the exploration of further variants of the notation and its object-oriented implementation.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
T. Bolognesi, ‘Expressive Flexibility of a Constraint-oriented Notation’, The Computer Journal, Vol. 40, No. 5, Oxford Univ. Press, 1997.
T. Bolognesi, F. Accordino, ‘A layer on top of Prolog for composing behavioural constraints’, to appear in: Software Practice & Experience, John Wiley and Sons, 1998.
C. A. Vissers, G. Scollo, M. Van Sinderen, ‘Architecture and specification style in formal descriptions of distributed systems’, in S. Aggarwal and K. Sabnani editors, Protocol Specification, Testing, and Verification VIII, North-Holland, 1988, pp. 189–204.
E.Brinksma (ed.), ISO - Information Processing Systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour, ISO 4, February 1989, ISO, Geneva.
B. Meyer, ‘Reusability–the case for object-oriented design’, IEEE Software, 4 (2): 50–64, 1987.
T. Bolognesi, J. Derrick, ‘A constraint-oriented style for object-oriented formal specification’, to appear in IEE Proceedings - Software Engineering, 1998.
R. Duke, G. Rose, G. Smith, ‘Object-Z: a specification language advocated for the description of standards’, Computer Standards and Interfaces, 17: 511–533, Sept. 1995.
T. Bolognesi, F. Accordino, ‘Constraint–oriented Specification Style and Notation’, Technical Report B4–43–12–96, CNR – IEI, Pisa, 1996.
Spivey, M. (1990)The Z Notation - A Reference Manual. Prentice Hall.
H. J. Genrich, ‘Predicate Transition Nets’, Lecture Notes in Computer Science, 254, Springer-Verlag, 1987.
L. Sterling, E. Shapiro, The Art of Prolog, The MIT Press, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
Bolognesi, T., Bracciali, A. (1999). Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive