A Reactive Object Model for Concurrent Engineering Design - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1995

A Reactive Object Model for Concurrent Engineering Design


A reactive object model is defined to control the design process of evolving objects in concurrent engineering environments. The goal is to support engineers in controlling the result of their design decisions, using a software automaton as a plug-in addition to computer-aided design platforms that support concurrent engineering. The automaton implements a reactive design specification for composite objects with multiple representations, that includes a model for their design process. The synchronous language ARGOS is used to implement the automaton. ARGOS is an imperative language for the specification and verification of reactive systems. It is based on the parallel and hierarchical composition of automata.
Fichier principal
Vignette du fichier
RR-2692.pdf (1019.65 Ko) Télécharger le fichier

Dates and versions

inria-00073999 , version 1 (24-05-2006)


  • HAL Id : inria-00073999 , version 1


Toan Nguyen. A Reactive Object Model for Concurrent Engineering Design. [Research Report] RR-2692, INRIA. 1995. ⟨inria-00073999⟩
46 View
27 Download


Gmail Facebook Twitter LinkedIn More