Ontological Evaluation of the UML Using the Bunge–Wand–Weber Model

An ontological model of information systems, the Bunge–Wand–Weber (BWW) model, is used to analyse and evaluate the Unified Modeling Language (UML) as a language for representing concrete problem domains. As a result, each relevant and major UML construct becomes more precisely defined in terms of the phenomena in and aspects of the problem domain it represents. The analysis and evaluation shows that many of the central UML constructs are well matched with the BWW-model, but also suggests several concrete improvements to the UML-metamodel. New metaclasses are proposed to distinguish between (physically) impossible and (humanly) disallowed events, based on UML-exceptions. New abstract metaclasses are proposed for static and behavioural constraints, behaviours and static behaviours, as well as binding relationships and coupled events. New meta-subclasses of UML-objects, -classes, -typesand -relationshipsare proposed to make the UML more orthogonal, and a new definition is proposed for UML-responsibilities. The analysis also shows that the constructs in the UML must play several roles simultaneously, supporting representation both of the problem domain, of the development artifacts and of the proposed software or information system, while fitting together as a tightly integrated, well-defined language.

[1]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[2]  Andy Evans,et al.  Core Meta-Modelling Semantics of UML: The pUML Approach , 1999, UML.

[3]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[4]  Yair Wand,et al.  Using objects for systems analysis , 1997, CACM.

[5]  Yair Wand,et al.  Choosing classes in conceptual modeling , 1997, CACM.

[6]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[7]  Ron Weber,et al.  On the ontological expressiveness of information systems analysis and design grammars , 1993, Inf. Syst. J..

[8]  Brian Henderson-Sellers,et al.  Ontological analysis of whole-part relationships in OO-models , 2001, Inf. Softw. Technol..

[9]  Peter Green,et al.  An ontological analysis of information systems analysis and design (ISAD) grammars in upper case tools , 1996 .

[10]  Brian Henderson-Sellers,et al.  What is this thing called aggregation? , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275).

[11]  Brian Henderson-Sellers,et al.  An Ontological Evaluation of the OML Metamodel , 2000, ISCO.

[12]  Brian Henderson-Sellers,et al.  Viewing the OML as a variant of the UML , 1999 .

[13]  Brian Henderson-Sellers,et al.  Black and White Diamonds , 1999, UML.

[14]  Ron Weber,et al.  Ontological foundations of information systems , 1997 .

[15]  Franco Civello,et al.  Roles for composite objects in object-oriented analysis and design , 1993, OOPSLA '93.

[16]  M. Bunge,et al.  Treatise on Basic Philosophy. Vol. 4. , 1981 .

[17]  Ron Weber,et al.  On the deep structure of information systems , 1995, Inf. Syst. J..

[18]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[19]  Yanchun Zhang,et al.  An analytical evaluation of NIAM'S grammar for conceptual schema diagrams , 1996, Inf. Syst. J..

[20]  Klaus Pohl,et al.  Process-Centered Requirements Engineering , 1996 .

[21]  Yair Wand,et al.  A Proposal for a Formal Model of Objects , 1989, Object-Oriented Concepts, Databases, and Applications.

[22]  Brian Henderson-Sellers,et al.  Grounding the OML metamodel in ontology , 2001, J. Syst. Softw..

[23]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[24]  Michael Rosemann,et al.  Developing a meta model for the Bunge-Wand-Weber ontological constructs , 2002, Inf. Syst..

[25]  Anneke Kleppe,et al.  Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel , 1998, UML.

[26]  Ivar Jacobson,et al.  Methodology standards: help or hindrance? , 1994, OOPSLA '94.

[27]  Brian Henderson-Sellers,et al.  The OPEN toolbox of techniques , 1998 .

[28]  Kevin Lano,et al.  Semantics and Transformations for UML Models , 1998, UML.

[29]  Trygve Reenskaug,et al.  Working with objects - the OOram software engineering method , 1995 .

[30]  Ron Weber,et al.  An Ontological Evaluation of Systems Analysis and Design Methods , 1989, ISCO.

[31]  A. D. Ritchie The Dictionary of Philosophy , 1945, Nature.

[32]  Ron Weber,et al.  Should Optional Properties Be Used in Conceptual Modelling? A Theory and Three Empirical Tests , 2001, Inf. Syst. Res..