María Victoria Cengarle

Learn More
UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to descriptions of system snapshots and dynamic behaviour. In this paper a heterogeneous approach to the semantics of UML is proposed where each diagram type can be described in its “natural”(More)
Avariant of the language ASL for algebraic specification is presented. This language is equipped with the three specification-building operators of sum, renaming and restriction. The definition of sum is based on the so-called amalgamated union, instead of the set-theoretic union of the original proposal. Afurther dissimilitude lies on the ultra-loose(More)
We present a taxonomy of the variability mechanisms offered by modeling languages. The definition of a formal language encompasses a syntax and a semantic domain as well as the mapping that relates them, thus language variabilities are classified according to which of those three pillars they address. This work furthermore proposes a framework to explicitly(More)
A type inference system and a big-step operational semantics for expressions of the “Object Constraint Language” (OCL), the declarative and navigational constraint language for the “Unified Modeling Language” (UML), are provided; the account is mainly based on OCL 1.4/5, but also includes the main features of OCL 2.0. The formal systems are parameterised in(More)
The OCL 1.4 specification introduces let-declarations for adding auxiliary class features in static structures of the UML. We provide a type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations; the operational semantics satisfies a(More)
An extension of the “Object Constraint Language” (OCL) for modeling real-time and reactive systems in the “Unified Modeling Language” (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models. OCL is enriched by(More)