Animation of conceptuals models using two concurrent environments: an overview
Knowledge Area
Lenguajes y Sistemas InformáticosSponsors
This research is supported by the "Comision Interministerial de Ciencia y Tecnología" (CICYT) through the MENHIR proyect (grant nº TIC97-0593-C05-01Publication date
1999-08Bibliographic 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-5Keywords
Especificaciones formalesAnimación de especificaciones
Modelos orientados al objeto
OASIS
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.
Collections
The following license files are associated with this item:
Social media