{"id":"https://openalex.org/W2488880159","doi":"https://doi.org/10.1007/s00165-016-0385-z","title":"Manifest domains: analysis and description","display_name":"Manifest domains: analysis and description","publication_year":2016,"publication_date":"2016-07-26","ids":{"openalex":"https://openalex.org/W2488880159","doi":"https://doi.org/10.1007/s00165-016-0385-z","mag":"2488880159"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-016-0385-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0385-z","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbit.dtu.dk/en/publications/6d1a40be-69d1-44e6-8e31-6fe1c2e5cdc0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038481049","display_name":"Dines Bj\u00f8rner","orcid":"https://orcid.org/0000-0002-6225-6808"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dines Bj\u00f8rner","raw_affiliation_strings":["DTU, 2800, Kgs. Lyngby, Denmark","Fredsvej 11, 2840, Holte, Denmark","Fredsvej 11, 2840, Holte, Denmark DTU, 2800, Kgs. Lyngby, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-6225-6808","affiliations":[{"raw_affiliation_string":"DTU, 2800, Kgs. Lyngby, Denmark","institution_ids":[]},{"raw_affiliation_string":"Fredsvej 11, 2840, Holte, Denmark","institution_ids":[]},{"raw_affiliation_string":"Fredsvej 11, 2840, Holte, Denmark DTU, 2800, Kgs. Lyngby, Denmark","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5038481049"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.9755,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.94419337,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"29","issue":"2","first_page":"175","last_page":"225"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7459895610809326},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6198641657829285},{"id":"https://openalex.org/keywords/copying","display_name":"Copying","score":0.5078890919685364},{"id":"https://openalex.org/keywords/mereology","display_name":"Mereology","score":0.49967002868652344},{"id":"https://openalex.org/keywords/identifier","display_name":"Identifier","score":0.49598607420921326},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.47086870670318604},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.4698442816734314},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.46319881081581116},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4454018473625183},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.4449988305568695},{"id":"https://openalex.org/keywords/reading","display_name":"Reading (process)","score":0.43854284286499023},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4305167496204376},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40352508425712585},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3836020827293396},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.363089382648468},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3408765494823456},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.19440755248069763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12515828013420105},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1216924786567688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7459895610809326},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6198641657829285},{"id":"https://openalex.org/C2779151265","wikidata":"https://www.wikidata.org/wiki/Q1156791","display_name":"Copying","level":2,"score":0.5078890919685364},{"id":"https://openalex.org/C152385842","wikidata":"https://www.wikidata.org/wiki/Q1194916","display_name":"Mereology","level":2,"score":0.49967002868652344},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.49598607420921326},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.47086870670318604},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.4698442816734314},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.46319881081581116},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4454018473625183},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.4449988305568695},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.43854284286499023},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4305167496204376},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40352508425712585},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3836020827293396},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.363089382648468},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3408765494823456},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.19440755248069763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12515828013420105},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1216924786567688},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-016-0385-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0385-z","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/6d1a40be-69d1-44e6-8e31-6fe1c2e5cdc0","is_oa":true,"landing_page_url":"https://orbit.dtu.dk/en/publications/6d1a40be-69d1-44e6-8e31-6fe1c2e5cdc0","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bj\u00f8rner , D 2017 , ' Manifest domains:analysis and description ' , Formal Aspects of Computing , vol. 29 , no. 2 , pp. 175-225 . https://doi.org/10.1007/s00165-016-0385-z","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/6d1a40be-69d1-44e6-8e31-6fe1c2e5cdc0","is_oa":true,"landing_page_url":"https://orbit.dtu.dk/en/publications/6d1a40be-69d1-44e6-8e31-6fe1c2e5cdc0","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bj\u00f8rner , D 2017 , ' Manifest domains:analysis and description ' , Formal Aspects of Computing , vol. 29 , no. 2 , pp. 175-225 . https://doi.org/10.1007/s00165-016-0385-z","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320332","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90"},{"id":"https://openalex.org/F4320323153","display_name":"Danmarks Tekniske Universitet","ror":"https://ror.org/04qtj9h94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":113,"referenced_works":["https://openalex.org/W35751504","https://openalex.org/W57157324","https://openalex.org/W57277416","https://openalex.org/W59787499","https://openalex.org/W61720063","https://openalex.org/W84097763","https://openalex.org/W96258183","https://openalex.org/W137593328","https://openalex.org/W180235253","https://openalex.org/W186429337","https://openalex.org/W238475734","https://openalex.org/W582967230","https://openalex.org/W605316219","https://openalex.org/W606831423","https://openalex.org/W611865386","https://openalex.org/W631885559","https://openalex.org/W656796899","https://openalex.org/W657159919","https://openalex.org/W1485658078","https://openalex.org/W1489235590","https://openalex.org/W1493816286","https://openalex.org/W1493940197","https://openalex.org/W1498489270","https://openalex.org/W1500006154","https://openalex.org/W1500250067","https://openalex.org/W1503729935","https://openalex.org/W1510073652","https://openalex.org/W1516346799","https://openalex.org/W1524266916","https://openalex.org/W1540492331","https://openalex.org/W1544966513","https://openalex.org/W1551592336","https://openalex.org/W1555563750","https://openalex.org/W1566986515","https://openalex.org/W1571871428","https://openalex.org/W1575310214","https://openalex.org/W1579852764","https://openalex.org/W1583162997","https://openalex.org/W1585197271","https://openalex.org/W1586484595","https://openalex.org/W1587119067","https://openalex.org/W1587150314","https://openalex.org/W1593108407","https://openalex.org/W1596231621","https://openalex.org/W1602618310","https://openalex.org/W1699122184","https://openalex.org/W1786578488","https://openalex.org/W1793807384","https://openalex.org/W1895387792","https://openalex.org/W1936022305","https://openalex.org/W1940686192","https://openalex.org/W1949723230","https://openalex.org/W1975628732","https://openalex.org/W1994380232","https://openalex.org/W1998017916","https://openalex.org/W2010954288","https://openalex.org/W2014596857","https://openalex.org/W2029393663","https://openalex.org/W2031662355","https://openalex.org/W2032747952","https://openalex.org/W2038361485","https://openalex.org/W2044923579","https://openalex.org/W2049075653","https://openalex.org/W2054255075","https://openalex.org/W2067145053","https://openalex.org/W2077318760","https://openalex.org/W2077836518","https://openalex.org/W2085175973","https://openalex.org/W2088452177","https://openalex.org/W2099213660","https://openalex.org/W2099529102","https://openalex.org/W2101066077","https://openalex.org/W2105171683","https://openalex.org/W2105925956","https://openalex.org/W2129081587","https://openalex.org/W2129289644","https://openalex.org/W2135652513","https://openalex.org/W2135653217","https://openalex.org/W2141552127","https://openalex.org/W2144192824","https://openalex.org/W2146819619","https://openalex.org/W2147872923","https://openalex.org/W2148740615","https://openalex.org/W2148938144","https://openalex.org/W2159765281","https://openalex.org/W2165875645","https://openalex.org/W2170002779","https://openalex.org/W2183151975","https://openalex.org/W2185907055","https://openalex.org/W2232272680","https://openalex.org/W2267876640","https://openalex.org/W2391821419","https://openalex.org/W2474325296","https://openalex.org/W2479770571","https://openalex.org/W2503674810","https://openalex.org/W2540382692","https://openalex.org/W2542285383","https://openalex.org/W2544881903","https://openalex.org/W2546408443","https://openalex.org/W2550935351","https://openalex.org/W2783791045","https://openalex.org/W2945526390","https://openalex.org/W2988119170","https://openalex.org/W3140030144","https://openalex.org/W3144368627","https://openalex.org/W3146347964","https://openalex.org/W4205412200","https://openalex.org/W4212848896","https://openalex.org/W4251623682","https://openalex.org/W4254354208","https://openalex.org/W4255318870","https://openalex.org/W4285719527","https://openalex.org/W4302418365"],"related_works":["https://openalex.org/W2020973245","https://openalex.org/W1508927144","https://openalex.org/W4232090216","https://openalex.org/W2968467529","https://openalex.org/W2966015578","https://openalex.org/W111020846","https://openalex.org/W3099266052","https://openalex.org/W4390398728","https://openalex.org/W3184046748","https://openalex.org/W1480767630"],"abstract_inverted_index":{"Abstract":[0],"We":[1,24,58,88,147,272,308],"show":[2,25,59,89,122,148,273,294,311],"that":[3,26,38,49,60,90,336,344,350],"manifest":[4,28,92,103,125,136],"domains,":[5],"an":[6],"understanding":[7],"of":[8,36,67,102,135,163,199,205,208,279,283,290,300,305],"which":[9,81],"are":[10,231],"a":[11,34,100,133,161,176,320],"prerequisite":[12],"for":[13,314,327],"software":[14],"requirements":[15,158],"prescriptions,":[16],"can":[17,30,62,96,129,297,347],"be":[18,31,63,97,130],"precisely":[19],"described:":[20],"narrated":[21],"and":[22,45,47,56,86,121,166,193,220,235,325],"formalised.":[23],"such":[27],"domains":[29],"understood":[32],"as":[33,226,244,248],"collection":[35],"endurant,":[37],"is,":[39,50],"basically":[40,51],"spatial":[41],"entities:":[42,53],"parts,":[43,74,85],"components":[44],"materials,":[46],"perdurant,":[48],"temporal":[52],"actions,":[54],"events":[55],"behaviours.":[57,307],"parts":[61,302],"modeled":[64],"in":[65,264,281],"terms":[66,282],"external":[68],"qualities":[69],"whether:":[70],"atomic":[71],"or":[72],"composite":[73],"having":[75],"internal":[76],"qualities:":[77],"unique":[78],"identifications,":[79],"mereologies,":[80],"model":[82,151,180,276],"relations":[83],"between":[84],"attributes.":[87],"the":[91,124,182,203,210,218,236,238,288,345],"domain":[93,104,126,137,329],"analysis":[94,105,184],"endeavour":[95,128],"supported":[98,131],"by":[99,132,213,223,240],"calculus":[101,134],"prompts:":[106,139],"is_entity,":[107],"is_endurant,":[108],"is_perdurant,":[109],"is_part,":[110],"is_component,":[111],"is_material,":[112],"is_atomic,":[113],"is_composite,":[114],"has_components,":[115],"has_materials,":[116],"has_concrete_type,":[117],"attribute_names,":[118],"is_stationary,":[119],"etcetera;":[120],"how":[123,149,274,295],"description":[127,138],"observe_part_sorts,":[140],"observe_part_type,":[141],"observe_components,":[142],"observe_materials,":[143],"observe_unique_identifier,":[144],"observe_mereology,":[145],"observe_attributes.":[146],"to":[150,202,245,275,334,341,354],"attributes,":[152],"essentially":[153],"following":[154],"Michael":[155],"Jackson":[156],"(Software":[157],"&":[159],"specifications:":[160],"lexicon":[162],"practice,":[164],"principles":[165],"prejudices.":[167],"ACM":[168],"Press,":[169],"Addison-Wesley,":[170],"Reading,":[171],"1995":[172],"),":[173],"but":[174],"with":[175,322],"twist:":[177],"The":[178,195,316],"attribute":[179,183],"introduces":[181],"prompts":[185],"is_static_attribute,":[186],"is_dynamic_attribute,":[187],"is_inert_attribute,":[188],"is_reactive_attribute,":[189],"is_active_attribute,":[190],"is_autonomous_attribute,":[191],"is_biddable_attribute":[192],"is_programmable_attribute.":[194],"twist":[196],"suggests":[197],"ways":[198],"modeling":[200],"\u201caccess\u201d":[201],"values":[204,230],"these":[206],"kinds":[207],"attributes:":[209],"static":[211],"attributes":[212,222],"simply":[214],"\u201ccopying\u201d":[215],"them,":[216],"once,":[217],"reactive":[219],"programmable":[221],"\u201ccarrying\u201d":[224],"them":[225],"function":[227],"parameters":[228],"whose":[229],"kept":[232],"always":[233,252],"updated,":[234],"remaining,":[237],"external_attributes,":[239],"inquiring,":[241],"when":[242],"needed,":[243],"their":[246,284],"value,":[247],"if":[249],"they":[250],"were":[251],"offered":[253],"on":[254,287],"CSP-like":[255],"channels":[256],"(Hoare,":[257],"Communicating":[258],"sequential":[259],"processes.":[260],"C.A.R.":[261],"Hoare":[262],"series":[263],"computer":[265],"science.":[266],"Prentice-Hall":[267],"International,":[268],"London,":[269],"2004":[270],").":[271],"essential":[277],"aspects":[278],"perdurants":[280],"signatures":[285],"based":[286],"concepts":[289],"endurants.":[291],"And":[292],"we":[293,337],"one":[296],"\u201ccompile\u201d":[298],"descriptions":[299,304],"endurant":[301],"into":[303],"perdurant":[306],"do":[309,338],"not":[310,339],"prompt":[312],"calculi":[313],"perdurants.":[315],"above":[317],"contributions":[318],"express":[319],"method":[321,346],"principles,":[323],"techniques":[324],"tools":[326],"constructing":[328],"descriptions.":[330],"It":[331],"is":[332,352],"important":[333],"realise":[335],"wish":[340],"nor":[342],"claim":[343],"describe":[348],"all":[349],"it":[351],"interesting":[353],"know":[355],"about":[356],"domains.":[357]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}