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.
Type de document :
Rapport
[Research Report] RR-2692, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00073999
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:16:06
Dernière modification le : mercredi 11 avril 2018 - 01:56:19
Document(s) archivé(s) le : jeudi 24 mars 2011 - 13:43:55

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

62