Show simple item record

dc.contributor.authorLetelier Torres, Patricio 
dc.contributor.authorRamos Salavert, Isidro 
dc.contributor.authorCorchuelo Gil, Rafael 
dc.date.accessioned2009-02-18T11:39:20Z
dc.date.available2009-02-18T11:39:20Z
dc.date.issued1999-08
dc.identifier.citationLETELIER, Patricio, SÁNCHEZ, Pedro, RAMOS, 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-5es
dc.identifier.isbn960-8052-02-5
dc.description.abstractOasis 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.sponsorshipThis research is supported by the "Comision Interministerial de Ciencia y Tecnología" (CICYT) through the MENHIR proyect (grant nº TIC97-0593-C05-01es
dc.formatapplication/pdf
dc.language.isoenges
dc.rightsAtribución-NoComercial-SinDerivadas 3.0 España*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.titleAnimation of conceptuals models using two concurrent environments: an overviewes
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.subjectEspecificaciones formaleses
dc.subjectAnimación de especificacioneses
dc.subjectModelos orientados al objetoes
dc.subjectOASISes
dc.subject.otherLenguajes y Sistemas Informáticoses
dc.identifier.urihttp://hdl.handle.net/10317/713


Files in this item

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial-SinDerivadas 3.0 España
Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 3.0 España