{"id":"https://openalex.org/W2896810527","doi":"https://doi.org/10.1504/ijes.2018.10016822","title":"Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach","display_name":"Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2896810527","doi":"https://doi.org/10.1504/ijes.2018.10016822","mag":"2896810527"},"language":"en","primary_location":{"id":"doi:10.1504/ijes.2018.10016822","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijes.2018.10016822","pdf_url":null,"source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","raw_type":"journal-article"},"type":"article","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/A5082473579","display_name":"Allaoua Chaoui","orcid":"https://orcid.org/0000-0003-3751-8084"},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Allaoua Chaoui","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2, Constantine, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081176546","display_name":"Elhillali Kerkouche","orcid":"https://orcid.org/0000-0002-7635-7458"},"institutions":[{"id":"https://openalex.org/I116970179","display_name":"University of Jijel","ror":"https://ror.org/03kkfk814","country_code":"DZ","type":"education","lineage":["https://openalex.org/I116970179"]},{"id":"https://openalex.org/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Elhillali Kerkouche","raw_affiliation_strings":["Department of Computer Science, University of Jijel, Algeria; MISC Laboratory, University Constantine 2, Constantine, Algeria","Department of Computer Science, University of Jijel, Algeria","MISC Laboratory, University Constantine 2, Constantine, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Jijel, Algeria; MISC Laboratory, University Constantine 2, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]},{"raw_affiliation_string":"Department of Computer Science, University of Jijel, Algeria","institution_ids":["https://openalex.org/I116970179"]},{"raw_affiliation_string":"MISC Laboratory, University Constantine 2, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028278877","display_name":"Salim Djaaboub","orcid":"https://orcid.org/0000-0001-9761-9800"},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Salim Djaaboub","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2, Constantine, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2, Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18873329,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"6","first_page":"453","last_page":"453"},"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.9993000030517578,"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.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8520269989967346},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6552950739860535},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6387915015220642},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.5810848474502563},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5447001457214355},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5406465530395508},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.5399290323257446},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4721755385398865},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44186022877693176},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.4393634796142578},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4224981367588043},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41984817385673523},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3603626489639282},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.28083574771881104},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12605318427085876}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8520269989967346},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6552950739860535},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6387915015220642},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.5810848474502563},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5447001457214355},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5406465530395508},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.5399290323257446},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4721755385398865},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44186022877693176},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.4393634796142578},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4224981367588043},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41984817385673523},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3603626489639282},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28083574771881104},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12605318427085876},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijes.2018.10016822","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijes.2018.10016822","pdf_url":null,"source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4230811716","https://openalex.org/W4241150048","https://openalex.org/W1991550997","https://openalex.org/W1601767717","https://openalex.org/W2406303540","https://openalex.org/W2033930908","https://openalex.org/W2064897848","https://openalex.org/W2150469568","https://openalex.org/W2387087283","https://openalex.org/W4239635237"],"abstract_inverted_index":{"The":[0,23,49,129],"increasing":[1],"complexity":[2],"and":[3,8,14,21,35,41,71,115,118,137,144],"widespread":[4],"use":[5],"of":[6,25,43,46,52,59,62,66,75,109,146],"complex":[7],"critical":[9,47],"systems":[10,110],"require":[11],"advanced":[12],"techniques":[13],"tools":[15],"to":[16,29,56,89,105,123],"address":[17],"their":[18],"specification,":[19,39],"verification":[20,40,145],"validation.":[22],"goal":[24],"this":[26,53,81],"paper":[27],"is":[28,55,132,139],"integrate":[30],"two":[31,147],"standard":[32],"languages":[33],"(UML":[34],"LOTOS)":[36],"for":[37],"the":[38,60,63,72,107,120,142],"validation":[42],"dynamic":[44,96],"behaviours":[45,108],"systems.":[48,149],"main":[50],"purpose":[51],"integration":[54],"take":[57],"benefits":[58],"ease-of-use":[61],"graphical":[64,112],"notation":[65,74],"UML":[67,95,113],"in":[68,77,102,119],"system":[69,78],"modelling":[70,143],"formal":[73],"LOTOS":[76,92,127],"verification.":[79],"In":[80],"paper,":[82],"we":[83],"propose":[84],"a":[85],"graph":[86],"transformation-based":[87],"approach":[88,99,131],"generate":[90,124],"automatically":[91,125],"specifications":[93],"from":[94],"models.":[97],"This":[98],"enables":[100],"developers,":[101],"one":[103],"hand":[104,122],"model":[106],"using":[111,134],"statechart":[114],"communication":[116],"diagrams,":[117],"other":[121],"verifiable":[126],"specifications.":[128],"proposed":[130],"automated":[133],"AToM3":[135],"tool,":[136],"it":[138],"illustrated":[140],"through":[141],"embedded":[148]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}