Abstract
Many practitioners agree on the key role of object associations during the requirements specification and analysis phases of application development, since they contribute to the definition of the semantics of applications. However, the literature shows that there are multiple semantics for associations, and confusion about how they should be represented. As a matter of fact, various interpretations of the concept of association exist, leading to a multiplicity of representations.
The contribution of this paper is an exposition of four practical approaches to the formal specification of associations. It also introduces a conceptual model for associations which is used as a baseline for comparing the four approaches to formal specification of associations. These four approaches are based on different constructs of the specification language Object-Z which can be used for formally describing associations. The way these approaches capture the requirements represented by associations is central to selecting the approach to be used for the application development.
Chapter PDF
References
ANSI-95 (1995) Object Data Management Reference Model. ANSI Accredited Standards Committee X3, Information Processing Systems.
Booch, G. and Rumbaugh, J. (1995) The Unified method, Rational Corporation.
Duke et al. (1994) Object-Z: a Specification Language Advocated for the Description of Standards. Technical Report No. 94–45, SVRC, The University of Queensland, Australia.
Embley et al. (1992) Object-Oriented Systems Analysis, A Model Driven Approach, Yourdon Press/Prentice Hall Englewood Cliffs, NJ.
Guttapalle et al. (1992) The Materials: A Generic Object Class Library for Analysis. Information Modeling Concepts and Guidelines, ST-OPT-002010, BellCore.
ISO-1 (1993) Information Technology–Open Systems Interconnection–Management Information Services–Structure of Management Information–Part 7: General Relationship Model, CDC ISO/IEC 10165–7.
Kilov, H. (1993) Information Modeling and Object-Z: Specifying generic reusable associations, Proceeedings of NGIT’93.
Liddle, S. et al. (1993) Cardinality Constraints in semantic data models, Data & Knowledge Engineering, 11, 235–70.
Loomis, M. et al. (1993) The ODMG Object Model, JOOP, 6 (3): 64–9.
Mili, H. et al. (1990) An Object-Oriented Model Based on Relations, Journal of Systems Software, 12, 139–55.
Monarchi, D. and Gretchen, I., A Research Typology for Object-Oriented Analysis and Design, CA CM, 35 (9), 35–47.
Rumbaugh, J. (1996) Models for design: Generating code for associations, JOOP, 8 (9), 13–7.
Tanzer, C. (1995) Remarks on object-oriented modeling of associations, JOOP, 7 (9), 43–6.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Ramazani, D., v. Bochmann, G. (1997). Approaches to the Specification of Object Associations. In: Bowman, H., Derrick, J. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35261-9_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-35261-9_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2952-7
Online ISBN: 978-0-387-35261-9
eBook Packages: Springer Book Archive