Testing system behavior in real world applications often requires analyzing properties over
multiple system states to ensure that operations do not interfere with each other in ways that …

System‐level testing of avionics software systems requires compliance with different
international safety standards such as DO‐178C. An important consideration of the avionics …

OCL is the standard language for defining constraints in UML class diagrams. Unfortunately,
as we show in this paper, full OCL is so expressive that it is not possible to check general …

Nowadays the variety and complexity of applications arise the requirement for the creation of
new flexible models that are more complex than the existing models. The transformation …

Background: Conceptual models are an essential phase in software design, but they can
create confusion and reduced performance for students in Database Design courses …

This contribution describes a number of challenges in the context of Model-Driven
Development for systems and software. The context of the work are formal descriptions in …

It has been a software trend to build large‐scale complex systems with high reliability. Due
to the size of the software and the dynamic requirements of the stakeholders, it becomes …

UML and OCL are rich languages offering a multitude of modeling elements. They provide
modelers with simple and effective tools to express and visualize models, but their complex …

The UML model is easy to describe the object oriented program components clearly in
graphical notation. OCL allows users to express textual constraints about the UML model …

It has been a software trend to build large-scale complex systems with high reliability. Due to
the size of the software and the dynamic requirements of the stakeholders, it becomes hard …