Journal of Computer Science & Technology (2005)
Demasi, Ramiro Adrián, Ponzio, Pablo Daniel, Castro, Pablo Francisco, Baum, Gabriel Alfredo
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The...
Journal of Computer Science & Technology (2005)
Demasi, Ramiro Adrián, Ponzio, Pablo Daniel, Castro, Pablo Francisco, Baum, Gabriel Alfredo
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The...
Translating Fork Specifications into Logic Programs (2001)
Baum, Gabriel Alfredo, Aguirre, Nazareno Matías, Arroyo, Marcelo
In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions)...
Translating Fork Specifications into Logic Programs (2001)
Baum, Gabriel Alfredo, Aguirre, Nazareno Matías, Arroyo, Marcelo
In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions)...
Model evolution and system evolution (2000)
Pons, Claudia, Baum, Gabriel Alfredo, Kutsche, Ralf-Detlef
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...
Model evolution and system evolution (2000)
Pons, Claudia, Baum, Gabriel Alfredo, Kutsche, Ralf-Detlef
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...