|
[full paper] |
Tibor Bosse, Catholijn Jonker, Jan Treur
To enable the development of automated support for design processes, a challenge is to model and analyse dynamics of such processes 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 agent-system design process.
Keywords: Design, Verification and Validation
Citation: Tibor Bosse, Catholijn Jonker, Jan Treur: Analysis of Design Process Dynamics. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.293-297.