Formal Analysis of Design Process Dynamics

T. Bosse, C.M. Jonker, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review


This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design properties at different levels of aggregation. This approach is specifically suitable for component-based design processes. A complicating factor for supporting the design process is that not only the generic properties of design must be specified, but also the language chosen should be rich enough to allow specification of complex properties of the system under design. This requires a language rich enough to operate at these different levels. The Temporal Trace Language used in this paper is suitable for that. The paper shows that the analysis at the level of a design process as a whole and at subprocesses thereof is precise enough to allow for automatic simulation. Simulation allows the modeler to manipulate the specifications of the system under design to better understand the interlevel relationships in his design. The approach is illustrated by an example. © 2010 Cambridge University Press.
Original languageEnglish
Pages (from-to)397-423
Number of pages27
JournalArtificial Intelligence for Engineering Design, Analysis and Manifacturing
Issue number3
Publication statusPublished - 2010


Dive into the research topics of 'Formal Analysis of Design Process Dynamics'. Together they form a unique fingerprint.

Cite this