Mostrar el registro sencillo del ítem
Animation of conceptuals models using two concurrent environments: an overview
dc.contributor.author | Letelier Torres, Patricio | |
dc.contributor.author | Ramos Salavert, Isidro | |
dc.contributor.author | Corchuelo Gil, Rafael | |
dc.date.accessioned | 2009-02-18T11:39:20Z | |
dc.date.available | 2009-02-18T11:39:20Z | |
dc.date.issued | 1999-08 | |
dc.identifier.citation | LETELIER TORRES, Patricio; SÁNCHEZ PALMA, Pedro y RAMOS SALAVERT, Isidro. Animation of conceptuals models using two concurrent environments: an overview. En: IMACS/IEEE International Multiconference on Circuits, Systems, Communications and Computers (3º: 1999: Atenas) 1999. ISBN 960-8052-02-5 | es |
dc.identifier.isbn | 960-8052-02-5 | |
dc.description.abstract | Oasis is a formal approach for especification 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 valide the specification of information system is a topic of interest in requirements engineering. Concurrent Logic Programming and Petri nets are suitable models for distributed computation allowing a natural representation of concurrence. Using Concurrent Logic Programming or Petri Nets, OASIS specifications are animated according to OASIS execution model. In this paper, we show our work in translating OASIS concepts into concurrents enviroments. This work has been development in the context of a CASE tool supporting the OASIS approach our aim is to build a module for animations. A preliminary version of this module is presented. | es |
dc.description.sponsorship | This research is supported by the "Comision 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.rights | Atribución-NoComercial-SinDerivadas 3.0 España | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.title | Animation of conceptuals models using two concurrent environments: an overview | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.subject.other | Lenguajes y Sistemas Informáticos | es |
dc.subject | Especificaciones formales | es |
dc.subject | Animación de especificaciones | es |
dc.subject | Modelos orientados al objeto | es |
dc.subject | OASIS | es |
dc.identifier.uri | http://hdl.handle.net/10317/713 |
Redes sociales