Analysis of Design Process Dynamics

To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a declarative, logical approach for specification of dynamic properties of design processes, supported by a formal temporal language which has a high expressivity. This language can be used to specify dynamic properties at the level of a design process as a whole, or of parts thereof. At the most detailed level, in an executable sublanguage also simulation models are specified in a declarative, logical manner, which allows to use these specifications in logical analysis as well. The approach is illustrated by an example component-based agent-system design process.

• Type: Conference
• Year: 2004
• Where: ECAI
• Authors: Tibor Bosse, Catholijn M. Jonker, Jan Treur
• Keywords: Artificial Intelligence, Design Processes, Dynamic Properties, ECAI 2004, Formal Temporal Language