Glenn Maughan, Bohdan Durnota  Home/Search
Context Related
| monash.edu.au/research/publ...P9410.ps monash.edu.au/publica...sdP9410.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: monash.edu.au/researc...ABSTRACTS (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...specification languages could bring benefits for both sides. This paper gives an overview of the object modelling language MON (Maughan and Durnota 1994) which is suitable for modelling complex objects (as occur in natural systems) and their interrelationships. It s pedigree...
...est un concept intuitif pour les utilisateurs. De nombreuse mthodes ont tendu leur notation pour intgrer le concept de rle [Maughan94, Renouf94]. Le rle peut apparatre ds les phases de capture des besoins (Catalysis, D Souza98] et d analyse (OORAM, Reenskaugh92] Dans ces...
Cited by: More
Formal Ontologies, Specifications and Logics in Canopy Research - Durnota (1995) (Correct)
On the Representation of Roles in Object-Oriented and Conceptual .. - Steimann (2000) (Correct)
Patron Rôles Dynamiques d'Objet - Saint-Marcel, Rieu, Morat (Correct)
Similar documents (at the sentence level):
5.0%: Complex Object Models Of Natural Systems - Durnota (1995) (Correct)
Active bibliography (related documents): More All
0.5: On Formal Requirements Modeling Languages: RML Revisited - Greenspan, Mylopoulos.. (1994) (Correct)
0.1: Metamorphosis: An Integrated Object Oriented Requirements.. - Júnior (1996) (Correct)
0.1: Integrated Formal Methods with Richer Methodological Profiles.. - Galloway (1996) (Correct)
Similar documents based on text: More All
0.4: An Object Model of an Animal's - Environment Bohdan Durnota (1996) (Correct)
0.3: Object-Oriented Formal Specification for Spatial.. - Bohdan Durnota.. (1994) (Correct)
Related documents from co-citation: More All
3: Objects with roles (context) - Pernici - 1990
3: ObjectOriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
3: An object data model with roles - Albano, Bergamini et al. - 1993
BibTeX entry: (Update)
Maughan, G. & Durnota, B. (1994), MON: An object relationship model incorporating roles, classification, publicity and assertions, in `Object Oriented Information Systems', London. http://citeseer.ist.psu.edu/maughan94mon.html More
@inproceedings{ maughan94mon,
author = "Glen Maughan and Bohdan Durnota",
title = "{MON} : An Object Relationship Model Incorporating Roles, Classification, Publicity and Assertions",
booktitle = "Object Oriented Information Systems",
pages = "166-180",
year = "1994",
url = "citeseer.ist.psu.edu/maughan94mon.html" }
Citations (may not include all citations):1286 Object-oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
44 specification language (context) - Duke, King et al. - 1991
21 The Sather programming language (context) - Omohundro - 1993
8 Z: An Introduction to Formal Methods (context) - Diller - 1991
7 Integrating structured and formal methods: A visual approach.. (context) - Dick, Loubersac - 1993
7 An introduction to COLDK (context) - Jonkers - 1989
2 Formal requirements made practical (context) - Hagelstein, Roelants et al. - 1993
2 Extending Eiffel toward O-O analysis and design (context) - Nerson - 1992
1 Systematic Software Development using VDM (context) - Sommerville, Paul et al. - 1990
1 Software Verification Reasearch Centre (context) - Report - 1992
1 Analysis and design: Specifying structural constraints (context) - Odell - 1993
1 Object-oriented Software Construction (context) - Wirsing, Bergstra et al. - 1988
1 Eiffel: The Language (context) - International - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://insect.sd.monash.edu.au/research/publications/1994/ABSTRACTS.html): More
Defining and Designing a Quality OO Metrics Suite - Jon Avotins (1994) (Correct)
Integrating Static and Dynamic Sort Checking in Logic Programming - Chen (1994) (Correct)
The Use of Formal Object-Oriented Specification in Numerics.. - Bohdan Durnota (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC