Skip to Main content Skip to Navigation

A Reactive Object Model for Concurrent Engineering Design

Abstract : 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.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:16:06 PM
Last modification on : Thursday, February 11, 2021 - 2:54:05 PM
Long-term archiving on: : Thursday, March 24, 2011 - 1:43:55 PM


  • HAL Id : inria-00073999, version 1



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



Record views


Files downloads