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 …

Current tools and techniques for ontology development are based on the traditions of AI
knowledge representation research. This research has led to popular formalisms such as …

Both conceptual modeling and machine learning have long been recognized as important
areas of research. With the increasing emphasis on digitizing and processing large amounts …

We study the testing and certification of UML and OCL models as supported by the
validation tool USE. We extend the available USE features by introducing a language for …

Cloud environments can provide virtualized, elastic, controllable and high quality on-
demand services for supporting complex distributed applications. However, the engineering …

Abstract The Object Constraint Language OCL allows to formally specify constraints on a
UML model. We present a formal syntax and semantics for OCL based on set theory …

The UML has been widely accepted as a standard for modeling software systems and is
supported by a great number of CASE tools. However, UML tools often provide only little …

Abstract The Unified Modeling Language (UML) is a widely accepted standard for modeling
software systems. The UML supports object-oriented approaches to software development …

In this paper, we define a translation of UML class diagrams with OCL constraints into first-
order predicate logic. The goal is logical reasoning about UML models, realized by an …

Today's workflow systems assume that each work item is executed by a single worker. From
the viewpoint of the system, a worker with the proper qualifications selects a work item …