Abstract Context Model-driven Engineering (MDE) promotes the utilization of models as
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …

Object Constraint Language (OCL) plays a pivotal role in Model Driven Architecture (MDA),
an important applied software engineering concept created over a quarter of a century ago …

In this paper we propose a mapping from OCL to many-sorted first-order logic, called
OCL2MSFOL. This new mapping significantly improves our previous results in two key …

Abstract Model transformations have proved to be powerful in the development of critical
systems. According to their intents, they have been used in many domains such as models …

The Unified Modeling Language (UML) is a modeling language standardized by the OMG.
The goal of UML is to supply software engineers, software developers, and system architects …

By 2030, over a half trillion devices will be connected to the internet. With so many devices
providing a wide range of features, there is a need for a framework for innovation and reuse …

UML being semi formal in nature, it lacks formal syntax and hence automated verification of
design specifications cannot be done. To address this we propose a UML Compiler that …

Unified Modelling Language (UML) is as a standard object-oriented modelling notation that
is widely accepted and used in software development industry. In general, the UML notation …

Early Warning System (EWS) is an SMS Gateway based early warning system built to
maintain the continuous use of Injectable Contraception. This system will provide an early …

In model-driven engineering, structural models represent software at the early phases of
software development. They are assumed to generate the models in subsequent phases …