TY - JOUR 
A1 - Letelier Torres, Patricio
AU - Sánchez Palma, Pedro
AU - Ramos Salavert, Isidro
T1 - Prototyping a requirements specification through an automatically generated concurrent logic program
Y1 - 1998
SN - 0302-9743
UR - http://hdl.handle.net/10317/715
AB - OASIS is a formal approach for the specification of object oriented conceptual models. In OASIS conceptual schemas of information systems are represented as societies of interacting concurrent objects. Animating such models in order to validate the specification of information systems is a topic of interest in requirements engineering. Thus a basic execution model for OASIS specifications has been developed. Concurrent Logic Programming is a suitable paradigm for distributed computation allowing a natural representation of concurrence. Using Concurrent Logic Programming, OASIS specifications are animated according to OASIS execution model. In this work, we show how OASIS concepts are directly mapped into concurrent logic programming concepts. To illustrate our ideas, an example of a bank account codified in KL1 is given and parts of the program that animates its corresponding OASIS specification are shown. This work has been developed in the context of a CASE tool supporting the OASIS approach. Our aim is to build a module for animation and validation of specifications. A preliminary version of this module is presented.
KW - Lenguajes y Sistemas Informáticos
KW - OASIS
KW - Modelos conceptuales
KW - Dinamica lógica
LA - eng
PB - Springer Berlin
ER -