{"id":"https://openalex.org/W2055495835","doi":"https://doi.org/10.1007/s00165-011-0192-5","title":"Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism","display_name":"Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism","publication_year":2011,"publication_date":"2011-08-13","ids":{"openalex":"https://openalex.org/W2055495835","doi":"https://doi.org/10.1007/s00165-011-0192-5","mag":"2055495835"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-011-0192-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-011-0192-5","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-011-0192-5","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":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-011-0192-5","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018231834","display_name":"Ragnhild Kobro Runde","orcid":"https://orcid.org/0000-0003-2327-7486"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Ragnhild Kobro Runde","raw_affiliation_strings":["Department of Informatics, University of Oslo, PO Box 1080, Blindern, 0316, Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Oslo, PO Box 1080, Blindern, 0316, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048659462","display_name":"Atle Refsdal","orcid":null},"institutions":[{"id":"https://openalex.org/I173888879","display_name":"SINTEF","ror":"https://ror.org/01f677e56","country_code":"NO","type":"facility","lineage":["https://openalex.org/I173888879"]},{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Atle Refsdal","raw_affiliation_strings":["Department of Informatics, University of Oslo, PO Box 1080, Blindern, 0316, Oslo, Norway","SINTEF ICT, Oslo, Norway","Department of Informatics, University of Oslo, Oslo, Norway 0316 and SINTEF ICT, Oslo, Norway#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Oslo, PO Box 1080, Blindern, 0316, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]},{"raw_affiliation_string":"SINTEF ICT, Oslo, Norway","institution_ids":["https://openalex.org/I173888879"]},{"raw_affiliation_string":"Department of Informatics, University of Oslo, Oslo, Norway 0316 and SINTEF ICT, Oslo, Norway#TAB#","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008407215","display_name":"Ketil St\u00f8len","orcid":"https://orcid.org/0000-0002-8810-9902"},"institutions":[{"id":"https://openalex.org/I173888879","display_name":"SINTEF","ror":"https://ror.org/01f677e56","country_code":"NO","type":"facility","lineage":["https://openalex.org/I173888879"]},{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Ketil St\u00f8len","raw_affiliation_strings":["Department of Informatics, University of Oslo, PO Box 1080, Blindern, 0316, Oslo, Norway","SINTEF ICT, Oslo, Norway","Department of Informatics, University of Oslo, Oslo, Norway 0316 and SINTEF ICT, Oslo, Norway#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Oslo, PO Box 1080, Blindern, 0316, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]},{"raw_affiliation_string":"SINTEF ICT, Oslo, Norway","institution_ids":["https://openalex.org/I173888879"]},{"raw_affiliation_string":"Department of Informatics, University of Oslo, Oslo, Norway 0316 and SINTEF ICT, Oslo, Norway#TAB#","institution_ids":["https://openalex.org/I184942183"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.17770748,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"25","issue":"2","first_page":"159","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/underspecification","display_name":"Underspecification","score":0.9809224605560303},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.8383923172950745},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.7990094423294067},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7727080583572388},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7124164700508118},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6279581189155579},{"id":"https://openalex.org/keywords/diagram","display_name":"Diagram","score":0.48913055658340454},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33996307849884033},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1564503312110901},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.12063080072402954},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.07777658104896545}],"concepts":[{"id":"https://openalex.org/C2779631151","wikidata":"https://www.wikidata.org/wiki/Q7883767","display_name":"Underspecification","level":2,"score":0.9809224605560303},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.8383923172950745},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.7990094423294067},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7727080583572388},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7124164700508118},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6279581189155579},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.48913055658340454},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33996307849884033},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1564503312110901},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.12063080072402954},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.07777658104896545},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-011-0192-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-011-0192-5","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-011-0192-5","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:brage.bibsys.no:11250/2468314","is_oa":false,"landing_page_url":"http://hdl.handle.net/11250/2468314","pdf_url":null,"source":{"id":"https://openalex.org/S4306400255","display_name":"BIBSYS Brage (BIBSYS (Norway))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173212132","host_organization_name":"Vilnius University","host_organization_lineage":["https://openalex.org/I173212132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"159-187","raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1007/s00165-011-0192-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-011-0192-5","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-011-0192-5","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"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323299","display_name":"Norges Forskningsr\u00e5d","ror":"https://ror.org/00epmv149"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2055495835.pdf","grobid_xml":"https://content.openalex.org/works/W2055495835.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W46965610","https://openalex.org/W104841381","https://openalex.org/W111961970","https://openalex.org/W119570465","https://openalex.org/W189544743","https://openalex.org/W1184437124","https://openalex.org/W1482962177","https://openalex.org/W1503029938","https://openalex.org/W1511826042","https://openalex.org/W1514630934","https://openalex.org/W1527688737","https://openalex.org/W1561178350","https://openalex.org/W1592055490","https://openalex.org/W1651060577","https://openalex.org/W1800631871","https://openalex.org/W1874980535","https://openalex.org/W1935984762","https://openalex.org/W1960454654","https://openalex.org/W1974181258","https://openalex.org/W1980702991","https://openalex.org/W1986117326","https://openalex.org/W1991967220","https://openalex.org/W1994814240","https://openalex.org/W2004929506","https://openalex.org/W2012980297","https://openalex.org/W2021042308","https://openalex.org/W2055975932","https://openalex.org/W2109233982","https://openalex.org/W2123023940","https://openalex.org/W2129384397","https://openalex.org/W2133996557","https://openalex.org/W2151190334","https://openalex.org/W2156334993","https://openalex.org/W2162449023","https://openalex.org/W2164886052","https://openalex.org/W2399891787","https://openalex.org/W2404278924","https://openalex.org/W2481726056","https://openalex.org/W2913280239","https://openalex.org/W2914206182","https://openalex.org/W3000135916","https://openalex.org/W3144368627","https://openalex.org/W4237764470","https://openalex.org/W4253748132"],"related_works":["https://openalex.org/W2048198238","https://openalex.org/W2041829265","https://openalex.org/W4200263774","https://openalex.org/W1500924816","https://openalex.org/W2048884548","https://openalex.org/W2055495835","https://openalex.org/W104841381","https://openalex.org/W2383744988","https://openalex.org/W2017477369","https://openalex.org/W4384158225"],"abstract_inverted_index":{"Abstract":[0],"Having":[1],"a":[2,7,31,83],"sequence":[3,22,38],"diagram":[4,23],"specification":[5,24],"and":[6,42,53],"computer":[8],"system,":[9],"we":[10],"need":[11],"to":[12],"answer":[13],"the":[14,17,21,26,57,65,72,86,90],"question:":[15],"Is":[16],"system":[18],"compliant":[19],"with":[20,40],"in":[25,75],"desired":[27],"way?":[28],"We":[29],"present":[30],"procedure":[32,46,73],"for":[33,37],"answering":[34],"this":[35],"question":[36],"diagrams":[39],"underspecification":[41],"inherent":[43],"nondeterminism.":[44],"The":[45],"is":[47,88],"independent":[48],"of":[49,85],"any":[50],"concrete":[51],"technology,":[52],"relies":[54],"only":[55,82],"on":[56],"execution":[58],"traces":[59,69,87],"that":[60],"may":[61,92],"be":[62,94],"produced":[63],"by":[64],"system.":[66],"If":[67,81],"all":[68],"are":[70],"known,":[71,89],"results":[74],"either":[76],"\u201ccompliant\u201d":[77],"or":[78,97],"\u201cnot":[79],"compliant\u201d.":[80,100],"subset":[84],"conclusion":[91],"also":[93],"\u201clikely":[95,98],"compliant\u201d":[96],"not":[99]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}