{"id":"https://openalex.org/W2057909732","doi":"https://doi.org/10.1145/2790798.2790813","title":"A New Approach for Generating LOTOS Specifications from UML Dynamic Models","display_name":"A New Approach for Generating LOTOS Specifications from UML Dynamic Models","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2057909732","doi":"https://doi.org/10.1145/2790798.2790813","mag":"2057909732"},"language":"en","primary_location":{"id":"doi:10.1145/2790798.2790813","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2790798.2790813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering - C3S2E '15","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/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, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2, 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"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Elhillali Kerkouche","raw_affiliation_strings":["Department of Computer Science, University of Jijel. MISC Laboratory, University Constantine 2, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Jijel. MISC Laboratory, University Constantine 2, Algeria","institution_ids":["https://openalex.org/I116970179"]}]},{"author_position":"last","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, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2, 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":2,"citation_normalized_percentile":{"value":0.10310421,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"138","last_page":"143"},"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.9997000098228455,"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.9997000098228455,"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.8503322601318359},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.762047290802002},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7557615041732788},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7055270671844482},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.6997567415237427},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.5691615343093872},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5165225863456726},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5107355117797852},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.49492400884628296},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36045563220977783},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20619246363639832}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8503322601318359},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.762047290802002},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7557615041732788},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7055270671844482},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.6997567415237427},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.5691615343093872},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5165225863456726},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5107355117797852},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.49492400884628296},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36045563220977783},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20619246363639832}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2790798.2790813","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2790798.2790813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering - C3S2E '15","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W147899315","https://openalex.org/W148252207","https://openalex.org/W175551733","https://openalex.org/W1555243068","https://openalex.org/W1597096331","https://openalex.org/W2009334408","https://openalex.org/W2022759223","https://openalex.org/W2033498067","https://openalex.org/W2097570011","https://openalex.org/W2110642232","https://openalex.org/W2121372686","https://openalex.org/W2121713575","https://openalex.org/W2135445627","https://openalex.org/W2137865376","https://openalex.org/W2159765281","https://openalex.org/W3144368627","https://openalex.org/W6631565756","https://openalex.org/W6966967805"],"related_works":["https://openalex.org/W2387087283","https://openalex.org/W2139608660","https://openalex.org/W2908933429","https://openalex.org/W2169013090","https://openalex.org/W1993659806","https://openalex.org/W2112630554","https://openalex.org/W2033019659","https://openalex.org/W145682561","https://openalex.org/W1608633941","https://openalex.org/W1981740698"],"abstract_inverted_index":{"The":[0,157],"use":[1],"of":[2,12,23,30,39,100,103,115,118],"UML":[3,17,104,129,144],"Statechart":[4,130],"and":[5,41,63,75,92,106,113,131,146],"Communication":[6,132],"diagrams":[7,18,35,105,145],"for":[8,33,61,109,153],"modeling":[9],"dynamic":[10,116],"behaviors":[11,117,141],"systems":[13,65],"is":[14,159],"very":[15],"widespread.":[16],"support":[19],"developers":[20,71,137],"by":[21],"means":[22],"visual":[24,143],"conceptual":[25],"illustrations.":[26],"However,":[27],"the":[28,37,46,49,96,101,110,154,162],"lacks":[29],"firm":[31],"semantics":[32],"these":[34],"make":[36],"detection":[38],"errors":[40],"behavioral":[42],"inconsistencies":[43],"difficult.":[44],"On":[45],"other":[47],"hand,":[48],"specification":[50,112],"language":[51,69,108],"LOTOS":[52,68,107,126,151],"has":[53],"been":[54],"proved":[55],"to":[56,72,98,124,138],"be":[57],"a":[58],"powerful":[59],"technique":[60],"specifying":[62],"verifying":[64],"behaviors.":[66],"Although":[67],"allows":[70,136],"create":[73],"rigorous":[74],"verifiable":[76],"specifications,":[77],"it":[78],"uses":[79],"textual":[80],"algebraic":[81],"notation":[82],"which":[83],"makes":[84],"its":[85],"utilization":[86],"in":[87],"software":[88],"development":[89],"an":[90,122],"onerous":[91],"complex":[93],"task.":[94],"In":[95],"order":[97],"benefit":[99],"advantages":[102],"formal":[111],"verification":[114,155],"systems,":[119],"we":[120],"propose":[121],"approach":[123,135,158],"generate":[125],"specifications":[127,152],"from":[128],"diagrams.":[133],"This":[134],"model":[139],"system":[140],"using":[142,161],"then":[147],"generates":[148],"their":[149],"equivalent":[150],"purpose.":[156],"automated":[160],"meta-modeling":[163],"tool":[164],"AToM3.":[165]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}