{"id":"https://openalex.org/W3042598532","doi":"https://doi.org/10.1109/tse.2020.3008850","title":"Execution of Partial State Machine Models","display_name":"Execution of Partial State Machine Models","publication_year":2020,"publication_date":"2020-07-13","ids":{"openalex":"https://openalex.org/W3042598532","doi":"https://doi.org/10.1109/tse.2020.3008850","mag":"3042598532"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2020.3008850","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.3008850","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2103.17194","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016491411","display_name":"Mojtaba Bagherzadeh","orcid":"https://orcid.org/0000-0002-0253-671X"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Mojtaba Bagherzadeh","raw_affiliation_strings":["School of EECS, University of Ottawa, Ottawa, ON, Canada"],"affiliations":[{"raw_affiliation_string":"School of EECS, University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037859042","display_name":"Naf\u0131seh Kahani","orcid":null},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Nafiseh Kahani","raw_affiliation_strings":["School of EECS, University of Ottawa, Ottawa, ON, Canada"],"affiliations":[{"raw_affiliation_string":"School of EECS, University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051131497","display_name":"Karim Jahed","orcid":null},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Karim Jahed","raw_affiliation_strings":["School of Computing, Queen\u2019s University, Kingston, ON, Canada","School of Computing, Queen's University, Kingston, ON, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computing, Queen\u2019s University, Kingston, ON, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"School of Computing, Queen's University, Kingston, ON, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109500444","display_name":"Juergen Dingel","orcid":null},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Juergen Dingel","raw_affiliation_strings":["School of Computing, Queen\u2019s University, Kingston, ON, Canada","School of Computing, Queen's University, Kingston, ON, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computing, Queen\u2019s University, Kingston, ON, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"School of Computing, Queen's University, Kingston, ON, Canada","institution_ids":["https://openalex.org/I204722609"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5016491411"],"corresponding_institution_ids":["https://openalex.org/I153718931"],"apc_list":null,"apc_paid":null,"fwci":1.5993,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.83360637,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"48","issue":"3","first_page":"951","last_page":"972"},"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.9997000098228455,"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.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8889306783676147},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"Partial evaluation","score":0.6760421991348267},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5960898995399475},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.5787844061851501},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5563039779663086},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5329300761222839},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.5050936341285706},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4779505729675293},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.44065117835998535},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4364531636238098},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4352143406867981},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4215485751628876},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.41629648208618164},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.41160690784454346},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20955702662467957}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8889306783676147},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.6760421991348267},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5960898995399475},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.5787844061851501},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5563039779663086},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5329300761222839},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5050936341285706},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4779505729675293},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.44065117835998535},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4364531636238098},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4352143406867981},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4215485751628876},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.41629648208618164},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.41160690784454346},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20955702662467957},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2020.3008850","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.3008850","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2103.17194","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.17194","pdf_url":"https://arxiv.org/pdf/2103.17194","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2103.17194","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.17194","pdf_url":"https://arxiv.org/pdf/2103.17194","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":91,"referenced_works":["https://openalex.org/W94833394","https://openalex.org/W112718097","https://openalex.org/W1484353468","https://openalex.org/W1505885302","https://openalex.org/W1509087931","https://openalex.org/W1536631555","https://openalex.org/W1546734197","https://openalex.org/W1582068322","https://openalex.org/W1605631627","https://openalex.org/W1849742319","https://openalex.org/W1850047186","https://openalex.org/W1853034543","https://openalex.org/W1885998965","https://openalex.org/W1901342657","https://openalex.org/W1970219979","https://openalex.org/W1971995344","https://openalex.org/W1978519707","https://openalex.org/W1986736724","https://openalex.org/W1988863988","https://openalex.org/W1991285474","https://openalex.org/W1997199152","https://openalex.org/W2009965218","https://openalex.org/W2011458734","https://openalex.org/W2013351021","https://openalex.org/W2021503621","https://openalex.org/W2038844867","https://openalex.org/W2039241402","https://openalex.org/W2043877046","https://openalex.org/W2053663611","https://openalex.org/W2054450126","https://openalex.org/W2092758480","https://openalex.org/W2094352021","https://openalex.org/W2094489875","https://openalex.org/W2099529102","https://openalex.org/W2112437375","https://openalex.org/W2114421944","https://openalex.org/W2117890177","https://openalex.org/W2118229393","https://openalex.org/W2118953835","https://openalex.org/W2121061989","https://openalex.org/W2127739890","https://openalex.org/W2136672098","https://openalex.org/W2138464849","https://openalex.org/W2147839365","https://openalex.org/W2157427137","https://openalex.org/W2167736435","https://openalex.org/W2237372923","https://openalex.org/W2293902915","https://openalex.org/W2328234520","https://openalex.org/W2334693167","https://openalex.org/W2398416929","https://openalex.org/W2523780669","https://openalex.org/W2600599962","https://openalex.org/W2611515161","https://openalex.org/W2629457583","https://openalex.org/W2723261621","https://openalex.org/W2730525483","https://openalex.org/W2733589807","https://openalex.org/W2736139474","https://openalex.org/W2736727838","https://openalex.org/W2741192005","https://openalex.org/W2768029227","https://openalex.org/W2780762329","https://openalex.org/W2790851984","https://openalex.org/W2794505652","https://openalex.org/W2798066811","https://openalex.org/W2809447890","https://openalex.org/W2887375731","https://openalex.org/W2917879132","https://openalex.org/W2998184557","https://openalex.org/W2999101476","https://openalex.org/W3000341257","https://openalex.org/W3001819089","https://openalex.org/W3014903559","https://openalex.org/W3092402039","https://openalex.org/W3106753174","https://openalex.org/W3149109633","https://openalex.org/W3192343331","https://openalex.org/W4210639184","https://openalex.org/W4213404470","https://openalex.org/W4238393750","https://openalex.org/W4243543857","https://openalex.org/W4245234767","https://openalex.org/W4247374428","https://openalex.org/W4252913952","https://openalex.org/W6673576987","https://openalex.org/W6689590506","https://openalex.org/W6740274644","https://openalex.org/W6749705018","https://openalex.org/W6750517473","https://openalex.org/W6772805505"],"related_works":["https://openalex.org/W4312709848","https://openalex.org/W1577610794","https://openalex.org/W4451720","https://openalex.org/W1526063741","https://openalex.org/W2077436409","https://openalex.org/W1882854904","https://openalex.org/W2095827288","https://openalex.org/W2102229283","https://openalex.org/W2101393557","https://openalex.org/W3149387783"],"abstract_inverted_index":{"The":[0],"iterative":[1],"and":[2,24,72,103,160,235,247,260,279],"incremental":[3],"nature":[4],"of":[5,14,27,36,46,52,58,64,85,90,118,126,198,201,210,237,251,275,288],"software":[6,59],"development":[7,28,60,209],"using":[8,135],"models":[9,37,54,119,127,140,157,200],"typically":[10],"makes":[11],"a":[12,15,21,79,110,176,204],"model":[13,32,136,264],"system":[16],"incomplete":[17],"(i.e.,":[18,203],"partial)":[19],"until":[20],"more":[22,70],"advanced":[23],"complete":[25],"stage":[26],"is":[29,120,254,268],"reached.":[30],"Existing":[31],"execution":[33,45,51,84,116,163,189,197],"approaches":[34],"(interpretation":[35],"or":[38,174],"code":[39],"generation)":[40],"do":[41],"not":[42],"support":[43],"the":[44,50,83,115,132,139,162,165,196,208,231,249,258,261,273,276,282,285,289],"partial":[47,53,86,184,199],"models.":[48],"Supporting":[49],"at":[55,73],"early":[56,62],"stages":[57],"allows":[61],"detection":[63],"defects,":[65],"which":[66,88,253],"can":[67,152,240],"be":[68,153,241],"fixed":[69],"easily":[71],"lower":[74],"cost.":[75],"This":[76],"paper":[77],"proposes":[78],"conceptual":[80],"framework":[81],"for":[82,131,195,207],"models,":[87],"consists":[89],"three":[91],"steps:":[92],"<italic":[93,98,104,192,221],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[94,99,105,193,222],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">static":[95],"analysis</i>":[96],",":[97,102],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">automatic":[100],"refinement</i>":[101],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">input-driven":[106],"execution</i>":[107],".":[108],"First,":[109],"static":[111,232],"analysis":[112],"that":[113,128,178,214,228,230,248],"respects":[114],"semantics":[117],"applied":[121],"to":[122,181,257],"detect":[123],"problematic":[124],"elements":[125],"cause":[129],"problems":[130],"execution.":[133],"Second,":[134],"transformation":[137],"techniques,":[138],"are":[141,158],"refined":[142,156],"automatically,":[143],"mainly":[144],"by":[145,175],"adding":[146],"decision":[147,166],"points":[148],"where":[149],"missing":[150],"information":[151],"supplied.":[154],"Third,":[155],"executed,":[159],"when":[161],"reaches":[164],"points,":[167],"it":[168,266],"uses":[169],"inputs":[170],"obtained":[171],"either":[172],"interactively":[173],"script":[177],"captures":[179],"how":[180,281],"deal":[182],"with":[183,244],"elements.":[185],"We":[186,219,270],"created":[187],"an":[188],"engine":[190],"called":[191],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">PMExec</i>":[194,223],"UML-RT":[202],"modeling":[205],"language":[206],"soft":[211],"real-time":[212],"systems)":[213],"embodies":[215],"our":[216],"proposed":[217],"framework.":[218],"evaluated":[220],"based":[224],"on":[225],"several":[226],"use-cases":[227],"show":[229,280],"analysis,":[233],"refinement,":[234],"application":[236],"user":[238],"input":[239],"carried":[242],"out":[243],"reasonable":[245],"performance,":[246],"overhead":[250],"approach,":[252],"mostly":[255],"due":[256],"refinement":[259,277,283],"increase":[262],"in":[263],"complexity":[265],"causes,":[267],"manageable.":[269],"also":[271],"discuss":[272],"properties":[274],"formally,":[278],"preserves":[284],"original":[286],"behaviors":[287],"model.":[290]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}