Prototyping a requirements specification through an automatically generated concurrent logic program
Knowledge Area
Lenguajes y Sistemas InformáticosSponsors
This research is supported by the " Comisión Interministerial de Ciencia y Tecnología" (CICYT)through the MENHIR proyect (grant nº TIC97-0593-C05-01.Publication date
1998-01-01Publisher
Springer BerlinBibliographic Citation
LETELIER TORRES, Patricio; SÁNCHEZ PALMA, Pedro y RAMOS SALAVERT, Isidro. Prototyping a requirements specification through an automatically generated concurrent logic program. Lecture Notes in Computer Science, 1551, 1998. Pp. 31-45. ISSN 0302-9743Keywords
OASISModelos conceptuales
Dinamica lógica
Abstract
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 ...
Collections
The following license files are associated with this item:
Social media