Formal Analysis of Design Process Dynamics

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

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

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
Volume24
Issue number3
DOIs
Publication statusPublished - 2010

Fingerprint

Specifications
Agglomeration

Cite this

@article{e833f9074160456fb8035b163a11c54d,
title = "Formal Analysis of Design Process Dynamics",
abstract = "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. {\circledC} 2010 Cambridge University Press.",
author = "T. Bosse and C.M. Jonker and J. Treur",
year = "2010",
doi = "10.1017/S0890060409990114",
language = "English",
volume = "24",
pages = "397--423",
journal = "Artificial Intelligence for Engineering Design, Analysis and Manifacturing",
issn = "0890-0604",
publisher = "Cambridge University Press",
number = "3",

}

Formal Analysis of Design Process Dynamics. / Bosse, T.; Jonker, C.M.; Treur, J.

In: Artificial Intelligence for Engineering Design, Analysis and Manifacturing, Vol. 24, No. 3, 2010, p. 397-423.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Formal Analysis of Design Process Dynamics

AU - Bosse, T.

AU - Jonker, C.M.

AU - Treur, J.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1017/S0890060409990114

DO - 10.1017/S0890060409990114

M3 - Article

VL - 24

SP - 397

EP - 423

JO - Artificial Intelligence for Engineering Design, Analysis and Manifacturing

JF - Artificial Intelligence for Engineering Design, Analysis and Manifacturing

SN - 0890-0604

IS - 3

ER -