Abstract
This paper describes the current status of an object modelling notation that incorporates expressive, orthogonal assertions and different categories of relationships between objects.
The trichotomy of assertions (preconditions, postconditions and invariants) are now applicable to almost all system components. This paper describes examples of using assertions on relationships and classes.
The notation, called Monash Object Notation (MON), can be used to specify systems at differing levels of detail and provides the expressive power to specify temporal, creation, destruction and persistency constraints.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
de Champaux, D., D. Lea and P. Faure (1993). Object-Oriented System Development. Addison-Wesley Publishing Company.
Dick, J. and J. Loubersac (1991). Integratingvisual notations with VDM. In Software Engineering Environments (SEE ’91), Volume 3, pp. 219–231. Springer-Verlag.
Dick. J. and J. Loubersac (1993). Integrating structured and formal methods: A visual approach to VDM. In I. Sommerville and M. Paul (Eds.), Software Engineering — ESEC ’93, pp. 37–59, Springer-Verlag.
Diller, A. (1991). Z: An Introduction to Formal Methods. John Willey & Sons.
Duke, R., P. King, G. Rose and G. Smith (1991, May). The Object-Z specification language. Technical Report 91–1, Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia, Version 1.
Duke, R. and G. Rose (1992, December). Modelling object identity. Technical Report 92–11, University of Queensland, Software Verification Research Centre.
Hagelstein, J., D. Roelants, and P. Wodon (1993). Formal requirements made practical. In I. Somerville and M. Paul (Eds.), Software Engineering — ESEC ’93, pp. 127–144. Springer-Verlag.
Jones, C. B. (1990). Systematic Software Development using VDM. Prentice-Hall Int. Second Edition.
Jonkers, H. (1989). An introduction to COLD- K. In M. Wirsing and J. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, pp. 139–205. Springer-Verlag. Lecture notes in Computer Science 394.
Meyer, B. (1988) Object-oriented Software Construction. Prentice-Hall International.
Meyer, B. (1992). Eiffel: The Language. Prentice-Hall Int.
Nerson, J-M. (1992). Extending Eiffel toward O-O analysis and design. In T. Korson, V. Vaishnavi, and B. Meyer (Eds.), Technology of Object-oriented languages and Systems (TOOLS 5), Santa Barbara, pp. 377–392, Prentice-Hall.
Odell, J. J. (1993, October). Analysis and design: Specifying structural constraints. Journal of Object-oriented programming 6(6), 12–16.
Omohundro, S. M. (1993, October) The Sather programming language. Dr. Dobb’s Journal 18(11), 42–48.
Rumbaugh J., M. Blaha, W. Premerlani, and W. Lorensen (1991). Object-oriented Modeling and Design. Prentice-Hall Int.
van den Bos, R. L. Fiegs, and R. van Ommering (1989). POLAR: A picture-oriented language for abstract representations. In J. Bergstra and L. Fiegs (Eds.), Algebraic Methods II: Theory, Tools and Applications, pp. 233–247. Springer-Verlag. Lecture Notes in Computer Science 490.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London Limited
About this paper
Cite this paper
Maughan, G., Durnota, B. (1995). MON: An Object Relationship Model Incorporating Roles, Classification, Publicity and Assertions. In: Patel, D., Sun, Y., Patel, S. (eds) OOIS’94. Springer, London. https://doi.org/10.1007/978-1-4471-3016-1_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3016-1_13
Publisher Name: Springer, London
Print ISBN: 978-3-540-19927-4
Online ISBN: 978-1-4471-3016-1
eBook Packages: Springer Book Archive