The specification of a software system must include all relevant static and dynamic aspects
of the domain. Dynamic aspects are usually specified by means of a behavioral schema …

In artifact-centric business process models it is usually assumed that the specification of the
activities requires stating all the effects of the activity execution over the information base (ie …

One important aspect in the specification of conceptual schemas is the definition of general
constraints that cannot be expressed by the predefined constructs provided by conceptual …

This paper describes two different ways of understanding operation contracts in conceptual
modeling: the strict and extended interpretations. The main difference between them lies in …

Class diagrams must be complemented with a set of system operations that describes how
users can modify and evolve the system state. To be useful, such a set must be complete (ie …

An electronic marketplace supports interactions between multiple users for the exchange of
information on products for sale or purchase. The significance of electronic marketplaces is …

To ensure the quality of an information system, it is essential that the conceptual schema that
represents the knowledge about its domain and the functions it has to perform is …

MDD and MDA approaches require capturing the behavior of UML models in sufficient detail
and precision so that the models can be automatically implemented/executed in the …

To ensure the quality of an information system, it is essential that the conceptual schema that
represents the knowledge about its domain and the functions it has to perform is …

This paper describes two different ways of understanding operation contracts in conceptual
modeling: the strict and the extended interpretations. The main difference between them lies …