{"id":"https://openalex.org/W2154550765","doi":"https://doi.org/10.1017/s0890060409990114","title":"Formal analysis of design process dynamics","display_name":"Formal analysis of design process dynamics","publication_year":2010,"publication_date":"2010-03-23","ids":{"openalex":"https://openalex.org/W2154550765","doi":"https://doi.org/10.1017/s0890060409990114","mag":"2154550765"},"language":"en","primary_location":{"id":"doi:10.1017/s0890060409990114","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0890060409990114","pdf_url":null,"source":{"id":"https://openalex.org/S4210193102","display_name":"Artificial intelligence for engineering design analysis and manufacturing","issn_l":"0890-0604","issn":["0890-0604","1469-1760"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067984774","display_name":"Tibor Bosse","orcid":"https://orcid.org/0000-0003-4233-0406"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Tibor Bosse","raw_affiliation_strings":["Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074074791","display_name":"Catholijn M. Jonker","orcid":"https://orcid.org/0000-0003-4780-7461"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Catholijn M. Jonker","raw_affiliation_strings":["Department of Mediametics, Delft University of Technology, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mediametics, Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083304312","display_name":"Jan Treur","orcid":"https://orcid.org/0000-0003-2466-9158"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Treur","raw_affiliation_strings":["Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5067984774"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":null,"apc_paid":null,"fwci":0.6214,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80220507,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"24","issue":"3","first_page":"397","last_page":"423"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11729","display_name":"Product Development and Customization","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11729","display_name":"Product Development and Customization","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7991790771484375},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6855316162109375},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5894458889961243},{"id":"https://openalex.org/keywords/design-language","display_name":"Design language","score":0.5816743969917297},{"id":"https://openalex.org/keywords/design-process","display_name":"Design process","score":0.5296304821968079},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.5245704650878906},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.5104228854179382},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.45259758830070496},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44382548332214355},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.44242194294929504},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4156123399734497},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35625284910202026},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.20522168278694153},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13125216960906982}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7991790771484375},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6855316162109375},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5894458889961243},{"id":"https://openalex.org/C49777639","wikidata":"https://www.wikidata.org/wiki/Q5264354","display_name":"Design language","level":2,"score":0.5816743969917297},{"id":"https://openalex.org/C48262172","wikidata":"https://www.wikidata.org/wiki/Q16908765","display_name":"Design process","level":3,"score":0.5296304821968079},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.5245704650878906},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.5104228854179382},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.45259758830070496},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44382548332214355},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.44242194294929504},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4156123399734497},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35625284910202026},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.20522168278694153},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13125216960906982},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1017/s0890060409990114","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0890060409990114","pdf_url":null,"source":{"id":"https://openalex.org/S4210193102","display_name":"Artificial intelligence for engineering design analysis and manufacturing","issn_l":"0890-0604","issn":["0890-0604","1469-1760"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.147.5304","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.5304","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.vu.nl/~wai/Papers/AIEDAM09designdynamics.pdf","raw_type":"text"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/194194","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/194194","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 24, 3, pp. 397-423","raw_type":"Article / Letter to editor"},{"id":"pmh:oai:research.vu.nl:publications/e833f907-4160-456f-b803-5b163a11c54d","is_oa":false,"landing_page_url":"https://hdl.handle.net/1871.1/e833f907-4160-456f-b803-5b163a11c54d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bosse, T, Jonker, C M & Treur, J 2010, 'Formal Analysis of Design Process Dynamics', Artificial Intelligence for Engineering Design, Analysis and Manifacturing, vol. 24, no. 3, pp. 397-423. https://doi.org/10.1017/S0890060409990114","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:tudelft.nl:uuid:07dbeb8f-8408-4b80-a3dc-a09b9f0b4ff8","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:07dbeb8f-8408-4b80-a3dc-a09b9f0b4ff8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},{"id":"pmh:vu:oai:research.vu.nl:publications/e833f907-4160-456f-b803-5b163a11c54d","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/e833f907-4160-456f-b803-5b163a11c54d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Artificial Intelligence for Engineering Design, Analysis and Manifacturing, 24(3), 397 - 423. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W93639380","https://openalex.org/W127289192","https://openalex.org/W147450809","https://openalex.org/W163697707","https://openalex.org/W168265076","https://openalex.org/W187569310","https://openalex.org/W224211725","https://openalex.org/W258482733","https://openalex.org/W601691401","https://openalex.org/W1488267121","https://openalex.org/W1491514333","https://openalex.org/W1493826535","https://openalex.org/W1500810069","https://openalex.org/W1508653096","https://openalex.org/W1517173520","https://openalex.org/W1522700292","https://openalex.org/W1523761582","https://openalex.org/W1528689085","https://openalex.org/W1543361087","https://openalex.org/W1557817372","https://openalex.org/W1560050980","https://openalex.org/W1581635138","https://openalex.org/W1582236695","https://openalex.org/W1585077430","https://openalex.org/W1672827187","https://openalex.org/W1876793518","https://openalex.org/W1974817955","https://openalex.org/W2004389281","https://openalex.org/W2007863131","https://openalex.org/W2011903527","https://openalex.org/W2012435739","https://openalex.org/W2029100676","https://openalex.org/W2038809129","https://openalex.org/W2044277897","https://openalex.org/W2057178651","https://openalex.org/W2091197883","https://openalex.org/W2096455207","https://openalex.org/W2117790670","https://openalex.org/W2119859848","https://openalex.org/W2127756433","https://openalex.org/W2132259823","https://openalex.org/W2140209236","https://openalex.org/W2142775696","https://openalex.org/W2147411594","https://openalex.org/W2151585259","https://openalex.org/W2156050087","https://openalex.org/W2159753366","https://openalex.org/W2164169766","https://openalex.org/W2167708957","https://openalex.org/W2174546849","https://openalex.org/W2178452756","https://openalex.org/W2340735175","https://openalex.org/W2474145349","https://openalex.org/W2568414465","https://openalex.org/W2817434730","https://openalex.org/W2899987233","https://openalex.org/W2913459036","https://openalex.org/W4232961938","https://openalex.org/W4250285352","https://openalex.org/W4251765197","https://openalex.org/W4252785764","https://openalex.org/W4285719527","https://openalex.org/W4300021588","https://openalex.org/W6633303947","https://openalex.org/W6813858958"],"related_works":["https://openalex.org/W3022086173","https://openalex.org/W2110102808","https://openalex.org/W2323519609","https://openalex.org/W2240208030","https://openalex.org/W2138398927","https://openalex.org/W2165968349","https://openalex.org/W1921676103","https://openalex.org/W23413393","https://openalex.org/W1537514182","https://openalex.org/W2672127762"],"abstract_inverted_index":{"Abstract":[0],"This":[1,55,104],"paper":[2,123,129],"presents":[3],"a":[4,12,16,21,106,138,142],"formal":[5,13,22],"analysis":[6,14,40,133],"of":[7,24,30,36,46,53,79,96,99,137,164],"design":[8,25,37,48,62,70,80,139,168],"process":[9,71,140],"dynamics.":[10],"Such":[11],"is":[15,57,72,124,148,180],"prerequisite":[17],"to":[18,20,93,110,151,160,169],"come":[19],"theory":[23],"and":[26,144],"for":[27,33,60,67,126,153],"the":[28,34,44,69,76,86,100,132,135,158,162,165,172],"development":[29],"automated":[31],"support":[32],"dynamics":[35],"processes.":[38,63],"The":[39,116,128,178],"was":[41],"geared":[42],"toward":[43],"identification":[45],"dynamic":[47],"properties":[49,78,98],"at":[50,112,134,145],"different":[51,114],"levels":[52],"aggregation.":[54],"approach":[56,179],"specifically":[58],"suitable":[59,125],"component-based":[61],"A":[64],"complicating":[65],"factor":[66],"supporting":[68],"that":[73,131],"not":[74],"only":[75],"generic":[77],"must":[81],"be":[82,90],"specified,":[83],"but":[84],"also":[85],"language":[87,107],"chosen":[88],"should":[89],"rich":[91,108],"enough":[92,109,150],"allow":[94,152],"specification":[95],"complex":[97],"system":[101,166],"under":[102,167],"design.":[103,177],"requires":[105],"operate":[111],"these":[113],"levels.":[115],"Temporal":[117],"Trace":[118],"Language":[119],"used":[120],"in":[121,175],"this":[122],"that.":[127],"shows":[130],"level":[136],"as":[141],"whole":[143],"subprocesses":[146],"thereof":[147],"precise":[149],"automatic":[154],"simulation.":[155],"Simulation":[156],"allows":[157],"modeler":[159],"manipulate":[161],"specifications":[163],"better":[170],"understand":[171],"interlevel":[173],"relationships":[174],"his":[176],"illustrated":[181],"by":[182],"an":[183],"example.":[184]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}