An Algebraic Approach for Composing Model Transformations in QVT (2008)
Claudia Pons, Roxana Giandini, Gabriela Perez, Gabriel Baum
Abstract. The ability to orchestrate different transformations in a flexible and reliable manner is a major challenge in MDE. Most of the current work on model transformations seems essentially...
Abstract Model evolution and system evolution (2008)
Claudia Pons, Gabriel Baum, Ralf-d. Kutsche
In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology...
Formal Foundations of Object-Oriented Modeling Notations (2007)
Claudia Pons, Gabriel Baum, La Plata
In this paper, the different solutions that have been suggested to realize the integration of graphic modeling languages, known and accepted by the software developers, with formal modeling languages...
Regulating Software Development Process by Formal Contracts (2007)
Claudia Pons, Gabriel Baum, La Plata
While the notion of formal contract regulating the behavior of software agents is accepted, the concept of contract regulating the activities of software developers is quite vague. In general there...
Dimensions in the Object Oriented software Development Process (2002)
Claudia Pons, Gabriel Baum, Roxana Giandini, La Plata
During the object-oriented software development process, a variety of models of the system is built. All these models are not independent, but they are related to each other. Elements in one model...