Mostrar el registro sencillo del ítem

dc.contributor.authorLetelier Torres, Patricio 
dc.contributor.authorSánchez Palma, Pedro 
dc.contributor.authorRamos Salavert, Isidro 
dc.date.accessioned2009-02-18T13:24:31Z
dc.date.available2009-02-18T13:24:31Z
dc.date.issued1998-01-01
dc.identifier.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-9743es
dc.identifier.issn0302-9743
dc.description.abstractOASIS 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.es
dc.description.sponsorshipThis research is supported by the " Comisión Interministerial de Ciencia y Tecnología" (CICYT)through the MENHIR proyect (grant nº TIC97-0593-C05-01.es
dc.formatapplication/pdf
dc.language.isoenges
dc.publisherSpringer Berlines
dc.rightsThe original publication is available at www.springerlink.comes
dc.titlePrototyping a requirements specification through an automatically generated concurrent logic programes
dc.typeinfo:eu-repo/semantics/articlees
dc.subjectOASISes
dc.subjectModelos conceptualeses
dc.subjectDinamica lógicaes
dc.subject.otherLenguajes y Sistemas Informáticoses
dc.identifier.urihttp://hdl.handle.net/10317/715
dc.identifier.doi10.1007/3-540-49201-1_3


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem