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)
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)
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)
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)