Ontology-Based Transformation and Verification of UML/OCL Constraints

In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities. This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology in the continuity of our research on UML and ontology integration. The class diagram is transformed into ontology, and constraints specified through OCL are transformed into SPARQL.

Download Full-text

Advances in Applications of Object Constraint Language for Software Engineering

Advances in Computers ◽

10.1016/bs.adcom.2017.12.003 ◽

2019 ◽

pp. 135-184

Author(s):

Atif A. Jilani ◽

Muhammad Z. Iqbal ◽

Muhammad U. Khan ◽

Muhammad Usman

Keyword(s):

Software Engineering ◽

Object Constraint Language ◽

Constraint Language

Download Full-text

Template-Based Definition of Information Systems and Enterprise Modelling Constructs

Business Systems Analysis with Ontologies ◽

10.4018/978-1-59140-339-5.ch005 ◽

2011 ◽

pp. 105-129 ◽

Cited By ~ 7

Author(s):

Andreas Opdahl ◽

Brian Henderson-Sellers

Keyword(s):

Information Systems ◽

Tool Support ◽

Class Diagram ◽

Object Constraint Language ◽

Meta Model ◽

Modelling Languages ◽

Constraint Language ◽

Uml Class Diagram ◽

Definition Of ◽

Definition Of Information

The chapter reviews and augments a previously proposed template for defining enterprise and information systems (IS) modelling constructs. The purpose of the template is to provide clear and precise definitions of modelling constructs in a common format and, thereby, to facilitate intra- and inter-language integration. The template is based on the Bunge-Wand-Weber (BWW) model of information systems and has been used on several existing modelling languages and frameworks. It is defined by a meta-model expressed as a UML class diagram. The purpose of this chapter is to clarify the template further by formalising the meta-model through semi-formal constraints expressed in the object constraint language (OCL) and by populating the meta-model with definitions of example constructs from the UML version 1.4. The purpose is to make the template easier to understand, to validate it, to pave the way for stronger tool support for the template and to further our work on providing a complete template-based definition of the UML.

Download Full-text