{"id":"https://openalex.org/W3090562047","doi":"https://doi.org/10.1145/3379177.3388893","title":"Do Instance-level Review Diagrams Support Validation Processes of Cyber-Physical System Specifications","display_name":"Do Instance-level Review Diagrams Support Validation Processes of Cyber-Physical System Specifications","publication_year":2020,"publication_date":"2020-06-26","ids":{"openalex":"https://openalex.org/W3090562047","doi":"https://doi.org/10.1145/3379177.3388893","mag":"3090562047"},"language":"en","primary_location":{"id":"doi:10.1145/3379177.3388893","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3379177.3388893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Software and System Processes","raw_type":"proceedings-article"},"type":"conference-paper","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/A5011581704","display_name":"Marian Daun","orcid":"https://orcid.org/0000-0002-9156-9731"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marian Daun","raw_affiliation_strings":["University of Duisburg-Essen, Essen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Duisburg-Essen, Essen, Germany","institution_ids":["https://openalex.org/I62318514"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075828060","display_name":"Jennifer Brings","orcid":"https://orcid.org/0000-0002-2918-5008"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jennifer Brings","raw_affiliation_strings":["University of Duisburg-Essen, Essen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Duisburg-Essen, Essen, Germany","institution_ids":["https://openalex.org/I62318514"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052634744","display_name":"Thorsten Weyer","orcid":"https://orcid.org/0000-0002-3357-5113"},"institutions":[{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]},{"id":"https://openalex.org/I4387153937","display_name":"Universit\u00e4t Koblenz","ror":"https://ror.org/0433e6t24","country_code":"DE","type":"education","lineage":["https://openalex.org/I4387153937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thorsten Weyer","raw_affiliation_strings":["University of Koblenz-Landau, Koblenz, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Koblenz-Landau, Koblenz, Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I4387153937"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.805,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.76634211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"11","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7686160206794739},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7456200122833252},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.5377071499824524},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42312091588974},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.41547197103500366},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4071108102798462},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.3905414342880249},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28014570474624634}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7686160206794739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7456200122833252},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.5377071499824524},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42312091588974},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41547197103500366},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4071108102798462},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.3905414342880249},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28014570474624634},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3379177.3388893","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3379177.3388893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Software and System Processes","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1539952819","https://openalex.org/W1560781283","https://openalex.org/W1965512139","https://openalex.org/W2000317315","https://openalex.org/W2019692058","https://openalex.org/W2029296452","https://openalex.org/W2031053187","https://openalex.org/W2042258659","https://openalex.org/W2063337812","https://openalex.org/W2075388481","https://openalex.org/W2091990486","https://openalex.org/W2102931027","https://openalex.org/W2103720965","https://openalex.org/W2112042732","https://openalex.org/W2127323731","https://openalex.org/W2131154789","https://openalex.org/W2138782822","https://openalex.org/W2144807091","https://openalex.org/W2173853058","https://openalex.org/W2295373235","https://openalex.org/W2626492502","https://openalex.org/W2884723357","https://openalex.org/W2892681304","https://openalex.org/W2912484834","https://openalex.org/W2914784082","https://openalex.org/W2953981836","https://openalex.org/W3004362336","https://openalex.org/W4229730107","https://openalex.org/W4229772528"],"related_works":["https://openalex.org/W2159748725","https://openalex.org/W3134279754","https://openalex.org/W2159208061","https://openalex.org/W2352725958","https://openalex.org/W2903901263","https://openalex.org/W2911108645","https://openalex.org/W2117742627","https://openalex.org/W2111183224","https://openalex.org/W2480980429","https://openalex.org/W2102894764"],"abstract_inverted_index":{"In":[0,105],"the":[1,57,72,79,141],"field":[2],"of":[3,78,95,137],"safety-critical":[4],"systems,":[5],"manual":[6,67],"reviews":[7],"are":[8,26,49,83,150],"important":[9,128],"to":[10,15,100,124],"ensure":[11],"high-quality":[12],"software":[13,32],"and":[14,154],"satisfy":[16],"legal":[17],"obligations.":[18],"When":[19],"applying":[20],"model-based":[21,38],"engineering":[22],"approaches,":[23],"no":[24],"longer":[25],"only":[27],"textual":[28],"requirements":[29,43],"specifications":[30,48,136],"or":[31],"code":[33],"under":[34],"review,":[35],"but":[36],"also":[37],"specification":[39],"artifacts":[40],"like":[41],"behavioral":[42,47,135],"models.":[44],"As":[45],"such":[46],"typically":[50],"documented":[51],"on":[52,110,131],"a":[53,111],"type-level,":[54],"errors":[55],"concerning":[56],"interactions":[58],"between":[59],"multiple":[60,75],"system":[61,76,81],"instances":[62,77],"can":[63],"go":[64],"unnoticed":[65],"in":[66],"reviews.":[68],"This":[69],"is":[70,88],"particularly":[71],"case":[73],"when":[74],"same":[80],"type":[82],"interacting":[84],"during":[85],"runtime,":[86],"which":[87],"typical":[89],"for":[90,134],"cyber-physical":[91,96,138],"systems":[92,97],"where":[93],"networks":[94],"form":[98],"dynamically":[99],"fulfill":[101],"an":[102],"overall":[103],"purpose.":[104],"this":[106],"paper,":[107],"we":[108],"report":[109],"controlled":[112],"experiment":[113,142],"whose":[114],"results":[115],"indicate":[116],"that":[117,146],"instance-level":[118,147],"review":[119,148],"diagrams":[120,126,149],"have":[121],"--":[122],"compared":[123],"type-level":[125,157],"-":[127],"positive":[129],"effects":[130],"reviewing":[132],"processes":[133],"systems.":[139],"Specifically,":[140],"provides":[143],"empirical":[144],"evidence":[145],"significantly":[151],"more":[152],"expressive":[153],"effective":[155],"than":[156],"diagrams.":[158]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}