![]() Workflow of the proposed consistency checking approach. This is an open access article under the CC BY license ().įig. However, we consider that there is still need for moreġ045-926X/© 2014 The Authors. The validation of modeling artifacts has been discussed in many research papers. We call the task of finding out the inconsistencies in software models a model validation. If a model is found to be inconsistent, then the proposed approach indicates the unsatisfiable concepts that make the whole model inconsistent. In this paper we propose an approach that automatically checks the consistency and satisfiability of UML models. The unsatisfiable concepts in models should be identified as early in the development process as possible. Furthermore, in case ofan inconsistent behavioral diagram (such as inconsistent statechart diagrams), an object cannot enter into an unsatisfiable state. For example if a UML class diagram depicts unsatisfiable classes, then it is not possible to instantiate objects conforming to theses classes. The presence of concepts in a model that are not satisfiable reveals design errors. Similarly, we consider a model to be consistent if it does not contain an unsatisfiable concept. A consistent logical theory is the one which does not contain a contradiction or an unsatisfiable concept. UML models can be represented in the form ofa theory in mathematical logics, such as, description logics or predicate logics. ☆ This paper has been recommended for acceptance by Shi Kho Chang. This paper focuses on the analysis of models specified using UML superstructure specification and MOF. The definition of a modeling language is given in terms of a metamodel by using a metamodeling language, such as Meta Object Facility (MOF) or Kernel Meta Meta Model (KM3). A well-known general modeling language used by practitioners during software development process is the Unified Modeling Language (UML). The diagrams in a software model are described using a particular modeling language. ![]() Ī software model usually comprises a number of diagrams. Each model is used for describing, visualizing and observing different viewpoints of a system at different levels of abstractions. A MDE software development project involves the creation of many models. Model Driven Engineering (MDE) advocates the use of models to represent the most relevant design decisions of a software development project. Journal of Visual Languages and ComputingĪrticle history: Received 15 March 2014 Received in revised form Īccepted 19 November 2014 Available online 26 November 2014 This is an open access article under the CCĬontents lists available at ScienceDirect The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. Consistency of UML class, object and statechart diagrams using ontology reasoners$ĭepartment of Information Technologies, Âbo Akademi University Joukahaisenkatu 3-5, FI-20520 Turku, Finland
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |