{"id":"https://openalex.org/W4408026642","doi":"https://doi.org/10.3390/software4010004","title":"On the Execution and Runtime Verification of UML Activity Diagrams","display_name":"On the Execution and Runtime Verification of UML Activity Diagrams","publication_year":2025,"publication_date":"2025-02-27","ids":{"openalex":"https://openalex.org/W4408026642","doi":"https://doi.org/10.3390/software4010004"},"language":"en","primary_location":{"id":"doi:10.3390/software4010004","is_oa":true,"landing_page_url":"https://doi.org/10.3390/software4010004","pdf_url":"https://www.mdpi.com/2674-113X/4/1/4/pdf?version=1740663514","source":{"id":"https://openalex.org/S4210183365","display_name":"Software","issn_l":"2674-113X","issn":["2674-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"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","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.mdpi.com/2674-113X/4/1/4/pdf?version=1740663514","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078121026","display_name":"Fran\u00e7ois Siewe","orcid":"https://orcid.org/0000-0002-3741-3074"},"institutions":[{"id":"https://openalex.org/I66943878","display_name":"De Montfort University","ror":"https://ror.org/0312pnr83","country_code":"GB","type":"education","lineage":["https://openalex.org/I66943878"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Fran\u00e7ois Siewe","raw_affiliation_strings":["School of Computer Science and informatics, De Montfort University, Leicester LE1 9BH, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and informatics, De Montfort University, Leicester LE1 9BH, UK","institution_ids":["https://openalex.org/I66943878"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069988755","display_name":"Guy Merlin Ngounou","orcid":null},"institutions":[{"id":"https://openalex.org/I4210149531","display_name":"National Advanced School of Public Works","ror":"https://ror.org/05p811391","country_code":"CM","type":"education","lineage":["https://openalex.org/I4210149531"]}],"countries":["CM"],"is_corresponding":false,"raw_author_name":"Guy Merlin Ngounou","raw_affiliation_strings":["Department of Computer Engineering, Ecole Nationale Sup\u00e9rieure Polytechnique de Yaound\u00e9, Yaound\u00e9 P.O. Box 8390, Cameroon"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Ecole Nationale Sup\u00e9rieure Polytechnique de Yaound\u00e9, Yaound\u00e9 P.O. Box 8390, Cameroon","institution_ids":["https://openalex.org/I4210149531"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078121026"],"corresponding_institution_ids":["https://openalex.org/I66943878"],"apc_list":null,"apc_paid":null,"fwci":1.5567,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80729003,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"4","issue":"1","first_page":"4","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9984999895095825,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9966999888420105,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9955000281333923,"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.7278928756713867},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.620186984539032},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.6158698797225952},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6151036620140076},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5930977463722229},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.5451769232749939},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.5358629822731018},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43964633345603943},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.2937001585960388},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1067202091217041}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7278928756713867},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.620186984539032},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.6158698797225952},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6151036620140076},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5930977463722229},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.5451769232749939},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.5358629822731018},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43964633345603943},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2937001585960388},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1067202091217041}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/software4010004","is_oa":true,"landing_page_url":"https://doi.org/10.3390/software4010004","pdf_url":"https://www.mdpi.com/2674-113X/4/1/4/pdf?version=1740663514","source":{"id":"https://openalex.org/S4210183365","display_name":"Software","issn_l":"2674-113X","issn":["2674-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"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","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:0103e4ba2bd54186972e6f6feb591e0e","is_oa":true,"landing_page_url":"https://doaj.org/article/0103e4ba2bd54186972e6f6feb591e0e","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Software, Vol 4, Iss 1, p 4 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/software4010004","is_oa":true,"landing_page_url":"https://doi.org/10.3390/software4010004","pdf_url":"https://www.mdpi.com/2674-113X/4/1/4/pdf?version=1740663514","source":{"id":"https://openalex.org/S4210183365","display_name":"Software","issn_l":"2674-113X","issn":["2674-113X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"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","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4408026642.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2387087283","https://openalex.org/W2103939680","https://openalex.org/W2359043774","https://openalex.org/W2101953902","https://openalex.org/W2489425329","https://openalex.org/W2020544977","https://openalex.org/W2374395319","https://openalex.org/W207211690","https://openalex.org/W2368891820","https://openalex.org/W2162768729"],"abstract_inverted_index":{"The":[0,89,189],"unified":[1],"modelling":[2,103],"language":[3],"(UML)":[4],"is":[5,41,93,100,132],"an":[6,94],"industrial":[7,33],"de":[8],"facto":[9],"standard":[10],"for":[11,56,63,116],"system":[12,44,186],"modelling.":[13],"It":[14],"consists":[15],"of":[16,19,39,49,75,107,124,148,191],"a":[17,108,113,140,198],"set":[18],"graphical":[20,37,97],"notations":[21],"(also":[22],"known":[23],"as":[24],"diagrams)":[25],"and":[26,159,168,181],"has":[27],"been":[28],"used":[29],"widely":[30],"in":[31,102,142,201],"many":[32],"applications.":[34],"Although":[35],"the":[36,46,73,87,104,122,146,149,163,169,185,192],"nature":[38],"UML":[40,50,57,61,90,96,117,150],"appealing":[42],"to":[43,72,83],"developers,":[45],"official":[47],"documentation":[48],"does":[51],"not":[52],"provide":[53],"formal":[54,64,114],"semantics":[55,115],"diagrams.":[58],"This":[59,110,153],"makes":[60],"unsuitable":[62],"verification":[65,172],"and,":[66],"therefore,":[67],"limited":[68],"when":[69],"it":[70],"comes":[71],"development":[74,187],"safety/security-critical":[76],"systems":[77],"where":[78],"faults":[79],"can":[80,155,178],"cause":[81],"damage":[82],"people,":[84],"properties,":[85],"or":[86],"environment.":[88],"activity":[91,118,137,151],"diagram":[92,138],"important":[95],"notation,":[98],"which":[99,144],"effective":[101],"dynamic":[105],"aspects":[106],"system.":[109],"paper":[111],"proposes":[112],"diagrams":[119],"based":[120],"on":[121],"calculus":[123],"context-aware":[125],"ambients":[126],"(CCA).":[127],"An":[128],"algorithm":[129],"(semantic":[130],"function)":[131],"proposed":[133,193],"that":[134],"maps":[135],"any":[136],"onto":[139],"process":[141,154],"CCA,":[143],"describes":[145],"behaviours":[147],"diagram.":[152],"then":[156],"be":[157,179],"executed":[158],"formally":[160],"verified":[161],"using":[162,197],"CCA":[164,170],"simulation":[165],"tool":[166,173],"ccaPL":[167],"runtime":[171],"ccaRV.":[174],"Hence,":[175],"design":[176],"flaws":[177],"detected":[180],"fixed":[182],"early":[183],"during":[184],"lifecycle.":[188],"pragmatics":[190],"approach":[194],"are":[195],"demonstrated":[196],"case":[199],"study":[200],"e-commerce.":[202]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}