Graphical diagrams are the main modelling constructs offered by the popular modelling
language UML. Because textual representations of models also have their benefits, we …

The object constraint language (OCL) plays an important role in the elaboration of precise
models. Although OCL was designed to be both formal and simple, OCL specifications may …

In the past few years, model-driven software engineering (MDSE) and domain-specific
modeling languages (DSMLs) have received a lot of attention from both research and …

Executable UML allows precisely describing the software system at a higher level of
abstraction. The executable models can be translated to a less abstract program-ming …

In this short paper we present OCL knowledge representation for interface constraints using
a framework known as MDKR. The semantics of OCL [1, 2] are visualised and represented …

A large part of software development these days deals with building so-called Web
applications. Many of these applications are data-base-powered and exhibit a page layout …

With the continued interest in Model Driven techniques for software development more and
more uses are found for query or expression languages that navigate and manipulate object …

Executable models allow precise description of software systems at a higher level of
abstraction and independently of a platform or a programming language. In this paper we …

Abstract Model-driven architecture aims at describing a system using a platform-
independent model in sufficient detail so that the full implementation of the system can be …

Model-driven architecture aims at describing a system using a platformindependent model
in sufficient detail so that the full implementation of the system can be generated from this …