Prototyping a requirements specification through an automatically generated concurrent logic program
MetadataShow full item record
Knowledge AreaLenguajes y Sistemas Informáticos
SponsorsThis research is supported by the " Comisión Interministerial de Ciencia y Tecnología" (CICYT)through the MENHIR proyect (grant nº TIC97-0593-C05-01.
Bibliographic CitationLETELIER, Patricio, SÀNCHEZ, Pedro, RAMOS, Isidro. Prototyping a requirements specification through an automatically generated concurrent logic program. Lecture Notes in Computer Science, 1551: 31-45, 1998. ISSN 0302-9743
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 ...
The following license files are associated with this item: