A Reactive Object Model for Concurrent Engineering Platforms (1995)
BibTeX
@MISC{Nguyen95areactive,
author = {G.T Nguyen and Av. Flix Viallet},
title = {A Reactive Object Model for Concurrent Engineering Platforms},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. 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. Key-words: specification, verification, automata, reactive systems, concurrent engineering, design objects, CAD applications. Topics: Information Systems for Engineering Applications, Active Database/Knowledge base systems. 1. Motivations The design of integrated concurrent engineering platforms has received much attentio...
