Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073999
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

Identifiers

  • HAL Id : inria-00073999, version 1

Collections

Citation

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

Share

Metrics

Record views

119

Files downloads

89