TY - JOUR A1 - Letelier Torres, Patricio AU - Ramos Salavert, Isidro AU - Corchuelo Gil, Rafael T1 - Animation of conceptuals models using two concurrent environments: an overview Y1 - 1999 UR - http://hdl.handle.net/10317/713 AB - 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. KW - Lenguajes y Sistemas Informáticos KW - Especificaciones formales KW - Animación de especificaciones KW - Modelos orientados al objeto KW - OASIS LA - eng ER -