An approach to software design that introduces a fully automated analysis giving designers
immediate feedback, now featuring the latest version of the Alloy language. In Software …

In a model-driven development context (MDE), model transformations allow memorizing and
reusing design know-how, and thus automate parts of the design and refinement steps of a …

Today more and more security-relevant data is stored on computer systems; security-critical
business processes are mapped to their digital counterparts. This situation applies to …

We propose a new approach to check whether a given UML class diagram with its OCL
integrity constraints satisfies a set of desirable properties such as schema satisfiability, class …

The goal of automating information systems building was stated in the sixties. Forty years
later it is clear that the goal has not been achieved in a satisfactory degree. One of the …

Model Driven Engineering (MDE) aims to expedite the software development process by
providing support for transforming models to running systems. Many modeling tools provide …

The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven
Development) approaches has largely increased the number of tools and methods including …

Use case (UC) modeling is a popular requirements modeling technique. While these models
are simple to create and read; this simplicity is often misconceived, leading practitioners to …

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 …

Early detection and correction of faults in the software design phase can reduce total cost
and time to market of a software product. In this paper we describe an approach for testing …