ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Analysis of Design Process Dynamics

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.

[prev] [tofc] [next]

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).