{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:32:25Z","timestamp":1648765945804},"reference-count":48,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2010,3,23]],"date-time":"2010-03-23T00:00:00Z","timestamp":1269302400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2010,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1017\/s0890060409990114","type":"journal-article","created":{"date-parts":[[2010,3,23]],"date-time":"2010-03-23T11:26:23Z","timestamp":1269343583000},"page":"397-423","source":"Crossref","is-referenced-by-count":2,"title":["Formal analysis of design process dynamics"],"prefix":"10.1017","volume":"24","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,3,23]]},"reference":[{"key":"S0890060409990114_ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-52121-8"},{"key":"S0890060409990114_ref43","first-page":"95","volume-title":"Design Theory for CAD","author":"Tomiyama","year":"1985"},{"key":"S0890060409990114_ref5","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0000_51"},{"key":"S0890060409990114_ref30","volume-title":"Extensions of First Order Logic","author":"Manzano","year":"1996"},{"key":"S0890060409990114_ref16","article-title":"Temporal logic","author":"Galton","year":"2003","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"S0890060409990114_ref33","unstructured":"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. 443\u2013460. New York: Springer\u2013Verlag."},{"key":"S0890060409990114_ref1","doi-asserted-by":"publisher","DOI":"10.1109\/2.348000"},{"key":"S0890060409990114_ref42","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400000998"},{"key":"S0890060409990114_ref24","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843002000480"},{"key":"S0890060409990114_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34925-1_14"},{"key":"S0890060409990114_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-5516-7"},{"key":"S0890060409990114_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-0417(02)00102-X"},{"key":"S0890060409990114_ref7","volume-title":"Proc. 6th Int. Conf. Complex Systems, ICCS'06","author":"Bosse","year":"2008"},{"key":"S0890060409990114_ref41","first-page":"133","volume-title":"Handbook of Theoretical Computer Science: Formal Models and Semantics","volume":"B","author":"Thomas","year":"1990"},{"key":"S0890060409990114_ref14","volume-title":"Principles of Automated Theorem Proving","author":"Duffy","year":"1991"},{"key":"S0890060409990114_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"S0890060409990114_ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84392-1_1"},{"key":"S0890060409990114_ref12","unstructured":"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. 1\u201313."},{"key":"S0890060409990114_ref4","first-page":"27","volume-title":"Proc. 5th Int. Conf. Cognitive Modelling, ICCM'03","author":"Bosse","year":"2003"},{"key":"S0890060409990114_ref47","unstructured":"Yoshikawa H. (1981). General design theory and a CAD system. Man\u2013Machine Communication in CAD\/CAM, Proc. IFIP Working Group 5.2 Working Conf. 1980 ( Sata T. , & Warman E.A. , Eds.), pp. 35\u201358. Amsterdam: North-Holland."},{"key":"S0890060409990114_ref28","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"S0890060409990114_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-004-3140-4"},{"key":"S0890060409990114_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BF01681909"},{"key":"S0890060409990114_ref11","volume-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"S0890060409990114_ref6","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213007003357"},{"key":"S0890060409990114_ref3","first-page":"247","volume-title":"Proc. 6th Int. Conf. Intelligent Agent Technology, IAT'06","author":"Bosse","year":"2006"},{"key":"S0890060409990114_ref39","unstructured":"Smithers T. (1998). KLDE\u2014a knowledge level theory of design process. Proc. 5th Int. Conf. Artificial Intelligence in Design, AID'98 ( Gero J.S. , & Sudweeks F. , Eds.), pp. 3\u201321. New York: Kluwer."},{"key":"S0890060409990114_ref32","doi-asserted-by":"crossref","unstructured":"McMillan K.L. (1993). Symbolic model checking: an approach to the state explosion problem . PhD Thesis. New York: Kluwer Academic.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"S0890060409990114_ref23","volume-title":"Design Science: Introduction to the Needs, Scope and Organization of Engineering Design Knowledge","author":"Hubka","year":"1995"},{"key":"S0890060409990114_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0928-4_31"},{"key":"S0890060409990114_ref2","volume-title":"The Imperative Future: Principles of Executable Temporal Logic","author":"Barringer","year":"1996"},{"key":"S0890060409990114_ref26","doi-asserted-by":"crossref","unstructured":"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. 547\u2013570. New York: Kluwer Academic.","DOI":"10.1007\/978-94-017-0795-4_26"},{"key":"S0890060409990114_ref22","first-page":"73","article-title":"Is design theory possible?","volume":"6","author":"Hooker","year":"2004","journal-title":"Journal of Information Technology: Theory and Application"},{"key":"S0890060409990114_ref31","doi-asserted-by":"publisher","DOI":"10.2514\/2.2437"},{"key":"S0890060409990114_ref21","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1016\/S1570-7946(03)80545-X"},{"key":"S0890060409990114_ref35","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"key":"S0890060409990114_ref36","unstructured":"Sharpanskykh A. , & Treur J. (2005). Verifying Interlevel Relations within Multi-Agent Systems: Formal Theoretical Basis. Technical Report TR-1701AI, Vrije Universiteit, Amsterdam. Accessed at http:\/\/hdl.handle.net\/1871\/9777"},{"key":"S0890060409990114_ref18","unstructured":"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. 307\u2013311. New York: Wiley."},{"key":"S0890060409990114_ref37","unstructured":"Sharpanskykh A. , & Treur J. (2006). Verifying interlevel relations within multi-agent systems. Proc. 17th European Conf. Artificial Intelligence, ECAI'06 , pp. 290\u2013294. New York: IOS Press."},{"key":"S0890060409990114_ref40","doi-asserted-by":"publisher","DOI":"10.1017\/S089006040505016X"},{"key":"S0890060409990114_ref38","first-page":"561","volume-title":"Proc. 4th Int. Conf. Artificial Intelligence in Design, AID'96","author":"Smithers","year":"1996"},{"key":"S0890060409990114_ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9868-7"},{"key":"S0890060409990114_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-0417(03)00004-4"},{"key":"S0890060409990114_ref46","volume-title":"A Science of Generic Design: Managing Complexity Through Systems Design","author":"Warfield","year":"1994"},{"key":"S0890060409990114_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400000251"},{"key":"S0890060409990114_ref10","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-273-08766-3.50006-2","volume-title":"Design Problem Solving: Knowledge Structures and Control Strategies","author":"Brown","year":"1989"},{"key":"S0890060409990114_ref19","doi-asserted-by":"crossref","unstructured":"Gero J. , & Kannengiesser U. (2006). A function\u2013behaviour\u2013structure ontology of processes. Proc. 2nd Int. Conf. Design Computing and Cognition, DCC'06 ( Gero J.S. , Ed.), pp. 407\u2013422. New York: Springer\u2013Verlag.","DOI":"10.1007\/978-1-4020-5131-9_21"},{"key":"S0890060409990114_ref20","volume-title":"Logics of Time and Computation","volume":"7","author":"Goldblatt","year":"1992"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060409990114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:08:46Z","timestamp":1556478526000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060409990114\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,23]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["S0890060409990114"],"URL":"https:\/\/doi.org\/10.1017\/s0890060409990114","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,23]]}}}