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)
A type inference system and a big-step operational semantics for expressions of the " Object Constraint Language " (OCL), the declarative and naviga-tional 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(More)
To the memory of my mother María Rosa, to my father Victorino, to Luis. Acknowledgments This work was only possible due to the help of many people. I would like to express my sincere thanks to some of them. My parents initiated me to doubt and reason. My teachers at the university supported me and my inquisitive questions; one who deserves special mention(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)