HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:16:06 PM
Last modification on : Friday, February 4, 2022 - 3:18:29 AM
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