{"id":"https://openalex.org/W1964116692","doi":"https://doi.org/10.1109/iscc.2008.4625760","title":"Formal automated transformation of SDL specifications to Lotos specifications","display_name":"Formal automated transformation of SDL specifications to Lotos specifications","publication_year":2008,"publication_date":"2008-07-01","ids":{"openalex":"https://openalex.org/W1964116692","doi":"https://doi.org/10.1109/iscc.2008.4625760","mag":"1964116692"},"language":"en","primary_location":{"id":"doi:10.1109/iscc.2008.4625760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc.2008.4625760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE Symposium on Computers and Communications","raw_type":"proceedings-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/A5084606051","display_name":"Hazem El-Gendy","orcid":null},"institutions":[{"id":"https://openalex.org/I2801737446","display_name":"Supreme Council of Antiquities","ror":"https://ror.org/036jygv32","country_code":"EG","type":"government","lineage":["https://openalex.org/I2801737446"]}],"countries":["EG"],"is_corresponding":true,"raw_author_name":"Hazem El-Gendy","raw_affiliation_strings":["Ministry of Endowments, Cairo, Egypt","Minist. of Endowments, Cairo"],"affiliations":[{"raw_affiliation_string":"Ministry of Endowments, Cairo, Egypt","institution_ids":[]},{"raw_affiliation_string":"Minist. of Endowments, Cairo","institution_ids":["https://openalex.org/I2801737446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037944945","display_name":"Nabil El Kadhi","orcid":"https://orcid.org/0000-0002-8139-320X"},"institutions":[{"id":"https://openalex.org/I4210144382","display_name":"\u00c9cole pour l'informatique et les nouvelles technologies","ror":"https://ror.org/039jywa41","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210144382"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nabil El Kadhi","raw_affiliation_strings":["EpiTeeh, Kremelin Bieetre, France","EpiTech, 14/16 Rue Voltaire 94270, Kremelin Bicetre, France"],"affiliations":[{"raw_affiliation_string":"EpiTeeh, Kremelin Bieetre, France","institution_ids":[]},{"raw_affiliation_string":"EpiTech, 14/16 Rue Voltaire 94270, Kremelin Bicetre, France","institution_ids":["https://openalex.org/I4210144382"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111936306","display_name":"Narayan C. Debnath","orcid":null},"institutions":[{"id":"https://openalex.org/I5795714","display_name":"Winona State University","ror":"https://ror.org/00kmxt141","country_code":"US","type":"education","lineage":["https://openalex.org/I5795714","https://openalex.org/I91221267"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Narayan Debnath","raw_affiliation_strings":["Dept. of Computer Sc., Winnona State Univ., USA"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Sc., Winnona State Univ., USA","institution_ids":["https://openalex.org/I5795714"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084606051"],"corresponding_institution_ids":["https://openalex.org/I2801737446"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.05210744,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"89","issue":null,"first_page":"519","last_page":"524"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9922000169754028,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9878000020980835,"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.8352756500244141},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.7089911699295044},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6408773064613342},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.6394843459129333},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6197410225868225},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5887489318847656},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.45338475704193115},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.42016690969467163},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11123833060264587},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.08005505800247192}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8352756500244141},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.7089911699295044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6408773064613342},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.6394843459129333},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6197410225868225},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5887489318847656},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.45338475704193115},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.42016690969467163},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11123833060264587},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.08005505800247192},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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":1,"locations":[{"id":"doi:10.1109/iscc.2008.4625760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc.2008.4625760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE Symposium on Computers and Communications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1542051797","https://openalex.org/W1850780911","https://openalex.org/W1930516042","https://openalex.org/W1949220500","https://openalex.org/W1964934589","https://openalex.org/W1972651282","https://openalex.org/W2028280229","https://openalex.org/W2046066316","https://openalex.org/W2065626052","https://openalex.org/W2066969420","https://openalex.org/W2072020785","https://openalex.org/W2075680193","https://openalex.org/W2094797770","https://openalex.org/W2099144942","https://openalex.org/W2108912104","https://openalex.org/W2167867589","https://openalex.org/W4235166093","https://openalex.org/W6632401109"],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2020416949","https://openalex.org/W2044067585","https://openalex.org/W2049993111","https://openalex.org/W1579896659","https://openalex.org/W2161039213","https://openalex.org/W1588292955","https://openalex.org/W4252343109","https://openalex.org/W2535159545","https://openalex.org/W2138398927"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"a":[3,14,77],"formal":[4,45,54,69,101],"method":[5,21,72,84,104],"for":[6,33,56,61,96,129],"automated":[7,46,70],"transformation":[8,47,71],"of":[9,52,58,92,116,123],"an":[10,127],"SDL":[11,26,65,97],"specification":[12,17],"into":[13],"corresponding":[15],"Lotos":[16,62,78,132],"is":[18,22,73,85],"presented.":[19],"The":[20],"applicable":[23],"to":[24,29,64,75],"various":[25,30,34,117],"specifications":[27,63,98],"and":[28],"communications":[31],"protocols":[32],"ISO":[35],"(International":[36],"Standards":[37],"Organization)":[38],"OSI":[39],"(Open":[40],"Systems":[41],"Interconnections)":[42],"layers.":[43],"This":[44,87,112],"facilitates":[48,88,114],"immediate":[49],"indirect":[50],"applicability":[51],"future":[53],"methods":[55,120],"derivation":[57,83,103,119],"testing":[59,94],"sequences":[60,95],"specifications.":[66,133],"Firstly,":[67],"the":[68,81,89,93,100,106,131],"applied":[74],"generate":[76],"version.":[79],"Then,":[80],"Lotos-based":[82],"applied.":[86,111],"best":[90,107],"coverage":[91,108],"as":[99],"test":[102,118],"with":[105],"can":[109],"be":[110],"also":[113],"comparison":[115],"in":[121],"terms":[122],"coverage.":[124],"We":[125],"develop":[126],"algorithm":[128],"constructing":[130]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}