Design Assistance in Concurrent Integrated Environments

This paper presents a design assistance framework for online design process monitoring and design space exploration in concurrent integrated environments. The approach is based on an extension of Predicate Transition Nets as a modelling paradigm. This modelling paradigm provides a formal semantics for the concurrent behaviour of design processes. The presented approach allows the exploration of alternative design processes and their expected behaviour by symbolic execution or simulation of design actions. Net simulation is also used for design process monitoring. The approach is configurable for different design environments and data schemata. Keyword Codes: I.6.3; I.2.4; J.6 Keywords: Simulation and Modeling, Application; Knowledge Representation Formalism and Methods; Computer-Aided Engineering 1 Introduction Due to recent market trends design problems with steadily increasing complexity have to be solved in decreasing time. This trend causes the development of a variety of design a..