Mostrar el registro sencillo del ítem
Prototyping a requirements specification through an automatically generated concurrent logic program
dc.contributor.author | Letelier Torres, Patricio | |
dc.contributor.author | Sánchez Palma, Pedro | |
dc.contributor.author | Ramos Salavert, Isidro | |
dc.date.accessioned | 2009-02-18T13:24:31Z | |
dc.date.available | 2009-02-18T13:24:31Z | |
dc.date.issued | 1998-01-01 | |
dc.identifier.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-9743 | es |
dc.identifier.issn | 0302-9743 | |
dc.description.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 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.sponsorship | 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. | es |
dc.format | application/pdf | |
dc.language.iso | eng | es |
dc.publisher | Springer Berlin | es |
dc.rights | The original publication is available at www.springerlink.com | es |
dc.title | Prototyping a requirements specification through an automatically generated concurrent logic program | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.subject.other | Lenguajes y Sistemas Informáticos | es |
dc.subject | OASIS | es |
dc.subject | Modelos conceptuales | es |
dc.subject | Dinamica lógica | es |
dc.identifier.uri | http://hdl.handle.net/10317/715 | |
dc.identifier.doi | 10.1007/3-540-49201-1_3 |
Redes sociales