Animation of conceptuals models using two concurrent environments: an overview
Ver/
Compartir
Métricas
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemÁrea de conocimiento
Lenguajes y Sistemas InformáticosPatrocinadores
This research is supported by the "Comision Interministerial de Ciencia y Tecnología" (CICYT) through the MENHIR proyect (grant nº TIC97-0593-C05-01Fecha de publicación
1999-08Cita bibliográfica
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-5Palabras clave
Especificaciones formalesAnimación de especificaciones
Modelos orientados al objeto
OASIS
Resumen
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.
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales