{"id":"https://openalex.org/W4322744340","doi":"https://doi.org/10.1007/s11219-023-09617-5","title":"Assessing the specification of modelling language semantics: a study on UML PSSM","display_name":"Assessing the specification of modelling language semantics: a study on UML PSSM","publication_year":2023,"publication_date":"2023-03-01","ids":{"openalex":"https://openalex.org/W4322744340","doi":"https://doi.org/10.1007/s11219-023-09617-5"},"language":"en","primary_location":{"id":"doi:10.1007/s11219-023-09617-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11219-023-09617-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11219-023-09617-5.pdf","source":{"id":"https://openalex.org/S7504070","display_name":"Software Quality Journal","issn_l":"0963-9314","issn":["0963-9314","1573-1367"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Quality Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11219-023-09617-5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068411412","display_name":"M\u00e1rton Elekes","orcid":"https://orcid.org/0000-0002-3558-147X"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"M\u00e1rton Elekes","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, M\u00fcegyetem rkp. 3., Budapest, H-1111, Hungary"],"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, M\u00fcegyetem rkp. 3., Budapest, H-1111, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062314301","display_name":"Vince Moln\u00e1r","orcid":"https://orcid.org/0000-0002-8204-7595"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Vince Moln\u00e1r","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, M\u00fcegyetem rkp. 3., Budapest, H-1111, Hungary"],"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, M\u00fcegyetem rkp. 3., Budapest, H-1111, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042540649","display_name":"Zolt\u00e1n Micskei","orcid":"https://orcid.org/0000-0003-1846-261X"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Zolt\u00e1n Micskei","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, M\u00fcegyetem rkp. 3., Budapest, H-1111, Hungary"],"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, M\u00fcegyetem rkp. 3., Budapest, H-1111, Hungary","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5068411412"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.7359,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89472237,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"31","issue":"2","first_page":"575","last_page":"617"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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.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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging 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.8301317691802979},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.631496012210846},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5982571840286255},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.597551703453064},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5795719027519226},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.49575576186180115},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44556111097335815},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.41268062591552734},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.40949612855911255},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.347731351852417},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3317052721977234},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20074060559272766}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8301317691802979},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.631496012210846},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5982571840286255},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.597551703453064},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5795719027519226},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.49575576186180115},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44556111097335815},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.41268062591552734},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.40949612855911255},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.347731351852417},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3317052721977234},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20074060559272766},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11219-023-09617-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11219-023-09617-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11219-023-09617-5.pdf","source":{"id":"https://openalex.org/S7504070","display_name":"Software Quality Journal","issn_l":"0963-9314","issn":["0963-9314","1573-1367"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Quality Journal","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11219-023-09617-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11219-023-09617-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11219-023-09617-5.pdf","source":{"id":"https://openalex.org/S7504070","display_name":"Software Quality Journal","issn_l":"0963-9314","issn":["0963-9314","1573-1367"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Quality Journal","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3431800268","display_name":null,"funder_award_id":"2019-2.1.1-EUREKA-2019-00001","funder_id":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap"},{"id":"https://openalex.org/G7916471285","display_name":null,"funder_award_id":"823788","funder_id":"https://openalex.org/F4320337662","funder_display_name":"H2020 Excellent Science"}],"funders":[{"id":"https://openalex.org/F4320311358","display_name":"Budapesti M\u0171szaki \u00e9s Gazdas\u00e1gtudom\u00e1nyi Egyetem","ror":"https://ror.org/02w42ss30"},{"id":"https://openalex.org/F4320335908","display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap","ror":null},{"id":"https://openalex.org/F4320337662","display_name":"H2020 Excellent Science","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4322744340.pdf"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W111961970","https://openalex.org/W133490815","https://openalex.org/W1534717118","https://openalex.org/W1551331198","https://openalex.org/W1573477425","https://openalex.org/W1987183866","https://openalex.org/W1987612454","https://openalex.org/W1989140425","https://openalex.org/W1994814240","https://openalex.org/W2016914525","https://openalex.org/W2052145312","https://openalex.org/W2061643308","https://openalex.org/W2075262418","https://openalex.org/W2087513371","https://openalex.org/W2092758480","https://openalex.org/W2099529102","https://openalex.org/W2110143060","https://openalex.org/W2127187761","https://openalex.org/W2156950199","https://openalex.org/W2296406466","https://openalex.org/W2396507278","https://openalex.org/W2403920142","https://openalex.org/W2598416103","https://openalex.org/W2599748239","https://openalex.org/W2600028506","https://openalex.org/W2760890779","https://openalex.org/W2797614486","https://openalex.org/W2798066811","https://openalex.org/W2896538807","https://openalex.org/W2917879132","https://openalex.org/W2967061197","https://openalex.org/W2973187264","https://openalex.org/W2994810010","https://openalex.org/W3033240478","https://openalex.org/W3038491760","https://openalex.org/W3094680805","https://openalex.org/W3167067688","https://openalex.org/W3168504790","https://openalex.org/W3193744638","https://openalex.org/W3206246360","https://openalex.org/W4206773278","https://openalex.org/W4207054142","https://openalex.org/W4231001973","https://openalex.org/W4247963941","https://openalex.org/W4313205696","https://openalex.org/W4313824458","https://openalex.org/W4316813670","https://openalex.org/W6619199639"],"related_works":["https://openalex.org/W1598160211","https://openalex.org/W4253521920","https://openalex.org/W2179621094","https://openalex.org/W2067499928","https://openalex.org/W2363773515","https://openalex.org/W1524028411","https://openalex.org/W2138059712","https://openalex.org/W2349592260","https://openalex.org/W2018145554","https://openalex.org/W2127248783"],"abstract_inverted_index":{"Abstract":[0],"Modelling":[1],"languages":[2,182],"play":[3],"a":[4,49,54,129,133],"central":[5],"role":[6],"in":[7,99],"developing":[8],"complex,":[9],"critical":[10],"systems.":[11],"A":[12],"precise,":[13],"comprehensible,":[14],"and":[15,67,95,115,123,153,159,188,202],"high-quality":[16],"modelling":[17,50,76,135,169,181],"language":[18,51,77,209],"specification":[19,131],"is":[20,57,82],"essential":[21],"to":[22,164,168,197,206],"all":[23],"stakeholders":[24],"using,":[25],"implementing,":[26],"or":[27,41],"extending":[28],"the":[29,39,44,65,72,84,89,96,137,147,150,177,185],"language.":[30],"Many":[31],"good":[32],"practices":[33],"can":[34],"be":[35],"found":[36],"that":[37,83],"improve":[38],"understandability":[40],"consistency":[42],"of":[43,74,88,109,128,140,149,179],"languages\u2019":[45],"semantics.":[46,78],"However,":[47],"designing":[48],"intended":[52],"for":[53,132,175],"large":[55],"audience":[56],"still":[58],"challenging.":[59],"In":[60],"this":[61],"paper,":[62],"we":[63,125,172],"investigate":[64],"challenges":[66,122],"typical":[68],"issues":[69],"with":[70],"assessing":[71],"specifications":[73],"behavioural":[75],"Our":[79],"key":[80],"insight":[81],"various":[85,100,204],"stakeholder\u2019s":[86],"understandings":[87],"language\u2019s":[90],"semantics":[91,97,110],"are":[92,105],"often":[93],"misaligned,":[94],"defined":[98],"artefacts":[101],"(simulators,":[102],"test":[103,157,194,200],"suites)":[104],"inconsistent.":[106],"Therefore":[107],"assessment":[108],"should":[111],"focus":[112],"on":[113],"identifying":[114],"resolving":[116],"these":[117,121],"inconsistencies.":[118],"To":[119],"illustrate":[120],"techniques,":[124],"assessed":[126],"parts":[127],"state-of-the-art":[130],"general-purpose":[134],"language,":[136],"Precise":[138],"Semantics":[139],"UML":[141],"State":[142],"Machines":[143],"(PSSM).":[144],"We":[145],"reviewed":[146],"text":[148],"specification,":[151],"analysed":[152],"executed":[154],"PSSM\u2019s":[155],"conformance":[156,199],"suite,":[158],"categorised":[160],"our":[161],"experiences":[162],"according":[163],"questions":[165],"generally":[166],"relevant":[167],"languages.":[170],"Finally,":[171],"made":[173],"recommendations":[174],"improving":[176],"development":[178],"future":[180],"by":[183],"representing":[184],"semantic":[186],"domain":[187],"traces":[189],"more":[190],"explicitly,":[191],"applying":[192],"diverse":[193],"design":[195],"techniques":[196],"obtain":[198],"suites,":[201],"using":[203],"tools":[205],"support":[207],"early-phase":[208],"design.":[210]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}