Skip to main content Accessibility help

Formal analysis of design process dynamics

  • Tibor Bosse (a1), Catholijn M. Jonker (a2) and Jan Treur (a1)


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.



Hide All
Baldwin, R.A., & Chung, M.J. (1995, February). A formal approach to managing design processes. IEEE Computer 5463.
Barringer, H., Fisher, M., Gabbay, D., Owens, R., & Reynolds, M. (1996). The Imperative Future: Principles of Executable Temporal Logic. New York: Wiley.
Bosse, T., Jonker, C.M., & Treur, J. (2003). Simulation and analysis of controlled multi-representational reasoning processes. Proc. 5th Int. Conf. Cognitive Modelling, ICCM'03, pp. 2732. Universitats-Verlag Bamberg.
Bosse, T., Jonker, C.M., & Treur, J. (2006). Reasoning by assumption: formalisation and analysis of human reasoning traces. Cognitive Science Journal 20, 147180.
Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., & Treur, J. (2006). Specification and verification of dynamics in cognitive agent models. Proc. 6th Int. Conf. Intelligent Agent Technology, IAT'06 (Nishida, T., Klusch, M., Sycara, K., & Yokoo, M., Eds.), pp. 247254. New York: IEEE Computer Society Press.
Bosse, T., Jonker, C.M., van der Meij, L., & Treur, J. (2007). A language and environment for analysis of dynamics by SimulaTiOn. International Journal of Artificial Intelligence Tools 16(3), 435464.
Bosse, T., Sharpanskykh, A., & Treur, J. (2008). Modelling complex systems by integration of agent-based and dynamical systems models. Proc. 6th Int. Conf. Complex Systems, ICCS'06 (Minai, A., Braha, D., & Bar-Yam, Y., Eds.). New York: Springer–Verlag.
Brazier, F.M.T., van Langen, P.H.G., Ruttkay, Zs., & Treur, J. (1994). On formal specification of design tasks. Artificial Intelligence in Design ‘94, Proc. AID’94 (Gero, J.S., & Sudweeks, F., Eds.), pp. 535552. Dordrecht: Kluwer Academic.
Brazier, F.M.T., van Langen, P.H.G., & Treur, J. (1996). A logical theory of design. Advances in Formal Design Methods for CAD, Proc. 2nd Int. Workshop Formal Methods in Design (Gero, J.S., Ed.), pp. 243266. New York: Chapman & Hall.
Brown, D.C., & Chandrasekaran, B. (1989). Design Problem Solving: Knowledge Structures and Control Strategies. London: Pitman.
Clarke, E.M., Grumberg, O., & Peled, D.A. (1999). Model Checking. Cambridge, MA: MIT Press.
Corkill, D.D. (2000). When Workflow doesn't work: issues in managing dynamic processes, Proc. Design Project Support using Process Models Workshop, 6th Int. Conf. Artificial Intelligence in Design, pp. 113.
Dixon, J.R. (1987). On research methodology towards a scientific theory of engineering design. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 1, 145157.
Duffy, D.A. (1991). Principles of Automated Theorem Proving. New York: Wiley.
Fisher, M. (2005). Temporal development methods for agent-based systems. Journal of Autonomous Agents and Multi-Agent Systems 10, 4166.
Galton, A. (2003). Temporal logic. Stanford Encyclopedia of Philosophy. Accessed at
Galton, A. (2006). Operators vs arguments: the ins and outs of reification. Synthese 150, 415441.
Gavrila, I.S., & Treur, J. (1994). A formal model for the dynamics of compositional reasoning systems. Proc. 11th European Conf. Artificial Intelligence, ECAI'94 (Cohn, A.G., Ed.), pp. 307311. New York: Wiley.
Gero, J., & Kannengiesser, U. (2006). A function–behaviour–structure ontology of processes. Proc. 2nd Int. Conf. Design Computing and Cognition, DCC'06 (Gero, J.S., Ed.), pp. 407422. New York: Springer–Verlag.
Goldblatt, R. (1992). Logics of Time and Computation, 2nd ed., LNCS, Vol. 7. New York: Springer–Verlag.
Heller, M., & Westfechtel, B. (2003). Dynamic project and workflow management for design processes in chemical engineering. Proc. 8th Int. Conf. Process Systems Engineering (PSE 2003), Kunming, China, June.
Hooker, J.N. (2004). Is design theory possible? Journal of Information Technology: Theory and Application 6, 7382.
Hubka, V., & Eder, W.E. (1988). Theory of Technical Systems. Berlin: Springer.
Hubka, V., & Eder, W.E. (1995). Design Science: Introduction to the Needs, Scope and Organization of Engineering Design Knowledge. New York: Springer–Verlag.
Jonker, C.M., & Treur, J. (2002). Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. International Journal of Cooperative Information Systems 11, 5192.
Jonker, C.M., & Treur, J. (2003). Modelling the dynamics of reasoning processes: reasoning by assumption. Cognitive Systems Research Journal 4, 119136.
Jonker, C.M., Treur, J., & Wijngaards, W.C.A. (2002). Requirements specification and automated evaluation of dynamic properties of a component-based design. Proc. 7th Int. Conf. AI in Design, AID'02 (Gero, J., Ed.), pp. 547570. New York: Kluwer Academic.
Jonker, C.M., Treur, J., & Wijngaards, W.C.A. (2003). A temporal modelling environment for internally grounded beliefs, desires and intentions. Cognitive Systems Research Journal 4(3), 191210.
Kern, C., & Greenstreet, M.R. (1999). Formal verification in hardware design: a survey. ACM Transactions on Design Automation of Electronic Systems 4(2), 123193.
Kowalski, R., & Sergot, M.A. (1986). A logic-based calculus of events. New Generation Computing 4, 6795.
Manzano, M. (1996). Extensions of First Order Logic. New York: Cambridge University Press.
Mavris, D.N., Bandte, O., & DeLaurentis, D.A. (1999). Robust design simulation: a probabilistic approach to multidisciplinary design. AIAA Journal of Aircraft 36(1), 298307.
McMillan, K.L. (1993). Symbolic model checking: an approach to the state explosion problem. PhD Thesis. New York: Kluwer Academic.
Nagai, Y., & Taura, T. (2006). Formal description of concept-synthesizing process for creative design. Proc. 2nd Int. Conf. Design Computing and Cognition, DCC'06 (Gero, J.S., Ed.), pp. 443460. New York: Springer–Verlag.
Reich, Y. (1995). A critical review of General Design Theory. Research in Engineering Design 7, 118.
Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge, MA: MIT Press.
Sharpanskykh, A., & Treur, J. (2005). Verifying Interlevel Relations within Multi-Agent Systems: Formal Theoretical Basis. Technical Report TR-1701AI, Vrije Universiteit, Amsterdam. Accessed at
Sharpanskykh, A., & Treur, J. (2006). Verifying interlevel relations within multi-agent systems. Proc. 17th European Conf. Artificial Intelligence, ECAI'06, pp. 290294. New York: IOS Press.
Smithers, T. (1996). On knowledge level theories of design process. Proc. 4th Int. Conf. Artificial Intelligence in Design, AID'96 (Gero, J.S., & Sudweeks, F., Eds.), pp. 561579. New York: Kluwer.
Smithers, T. (1998). KLDE—a knowledge level theory of design process. Proc. 5th Int. Conf. Artificial Intelligence in Design, AID'98 (Gero, J.S., & Sudweeks, F., Eds.), pp. 321. New York: Kluwer.
Sosa, R., & Gero, J.S. (2005). A computational study of creativity in design. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 19(4), 229244.
Thomas, W. (1990). Automata on infinite objects. In Handbook of Theoretical Computer Science: Formal Models and Semantics (van Leeuwen, J., Ed.), Vol. B, pp. 133191. Cambridge, MA: MIT Press.
Tomiyama, T. (1994). From General Design Theory to knowledge intensive engineering. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 8, 319333.
Tomiyama, T., & Yoshikawa, H. (1985). Extended general design theory. In Design Theory for CAD (Yoshikawa, H., & Warman, E.A., Eds.), pp. 95130. Amsterdam: Elsevier Science.
Treur, J. (1991). A logical framework for design processes. Intelligent CAD Systems III. Proc. 3rd Eurographics Workshop on Intelligent CAD Systems (ten Hagen, P.J.W., & Veerkamp, P.J., Eds.), pp. 320. New York: Springer–Verlag.
van Benthem, J.F.A.K. (1983). The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse. Dordrecht: Reidel.
Warfield, J.N. (1994). A Science of Generic Design: Managing Complexity Through Systems Design. Ames, IA: Iowa State University Press.
Yoshikawa, H. (1981). General design theory and a CAD system. Man–Machine Communication in CAD/CAM, Proc. IFIP Working Group 5.2 Working Conf. 1980 (Sata, T., & Warman, E.A., Eds.), pp. 3558. Amsterdam: North-Holland.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

  • ISSN: 0890-0604
  • EISSN: 1469-1760
  • URL: /core/journals/ai-edam
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed