{"id":"https://openalex.org/W3202626487","doi":null,"title":"Reverse Engineering Models of Concurrent Communicating Systems From Event Logs","display_name":"Reverse Engineering Models of Concurrent Communicating Systems From Event Logs","publication_year":2021,"publication_date":"2021-10-02","ids":{"openalex":"https://openalex.org/W3202626487","mag":"3202626487"},"language":"en","primary_location":{"id":"mag:3202626487","doi":null,"is_oa":true,"landing_page_url":"https://hal.uca.fr/hal-03444549","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"HAL (Le Centre pour la Communication Scientifique Directe)","raw_type":null},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.uca.fr/hal-03444549","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032624369","display_name":"S\u00e9bastien Salva","orcid":"https://orcid.org/0009-0003-2432-9097","observed_orcids":["https://orcid.org/0009-0003-2432-9097"]},"institutions":[{"id":"https://openalex.org/I4210099416","display_name":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes","ror":"https://ror.org/00t3fpp34","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I203339264","https://openalex.org/I205703379","https://openalex.org/I3019848993","https://openalex.org/I4210099416","https://openalex.org/I4210123221","https://openalex.org/I4210159245","https://openalex.org/I4387154249"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"S\u00e9bastien Salva","raw_affiliation_strings":["Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes","institution_ids":["https://openalex.org/I4210099416"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5032624369"],"corresponding_institution_ids":["https://openalex.org/I4210099416"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.5957000255584717,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.5957000255584717,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.09189999848604202,"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/T10142","display_name":"Formal Methods in Verification","score":0.05689999833703041,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"reverse engineering","score":0.921999990940094},{"id":"https://openalex.org/keywords/event-logs","display_name":"event logs","score":0.9940000176429749},{"id":"https://openalex.org/keywords/web-service-composition","display_name":"web service composition","score":0.6869999766349792},{"id":"https://openalex.org/keywords/iot-systems","display_name":"IoT systems","score":0.847000002861023},{"id":"https://openalex.org/keywords/event-correlation","display_name":"event correlation","score":0.7639999985694885},{"id":"https://openalex.org/keywords/trace-extraction","display_name":"trace extraction","score":0.4909999966621399},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.7710000276565552},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.9869999885559082}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8030829429626465},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.643653929233551},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6415138244628906},{"id":"https://openalex.org/C2777200299","wikidata":"https://www.wikidata.org/wiki/Q52943","display_name":"Conversation","level":2,"score":0.5642105340957642},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5511302351951599},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.535711407661438},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.45460695028305054},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4153427481651306},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.39287376403808594},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3730149567127228},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3415765166282654},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"mag:3202626487","doi":null,"is_oa":true,"landing_page_url":"https://hal.uca.fr/hal-03444549","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"HAL (Le Centre pour la Communication Scientifique Directe)","raw_type":null},{"id":"pmh:oai:HAL:hal-03444549v1","doi":null,"is_oa":true,"landing_page_url":"https://uca.hal.science/hal-03444549","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sixteenth International Conference on Software Engineering Advances ICSEA 2021, Oct 2021, Barcelona, online, Spain","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"mag:3202626487","doi":null,"is_oa":true,"landing_page_url":"https://hal.uca.fr/hal-03444549","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"HAL (Le Centre pour la Communication Scientifique Directe)","raw_type":null},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1794891506","https://openalex.org/W1986320331","https://openalex.org/W2047093659","https://openalex.org/W2059574882","https://openalex.org/W2102632804","https://openalex.org/W2107461003","https://openalex.org/W2124081952","https://openalex.org/W2126529005","https://openalex.org/W2137302838","https://openalex.org/W2142804492","https://openalex.org/W2150990363","https://openalex.org/W2152878141","https://openalex.org/W2208211896","https://openalex.org/W2615684752","https://openalex.org/W2744492707","https://openalex.org/W2885869945","https://openalex.org/W2947815220","https://openalex.org/W2963999143","https://openalex.org/W2973912839","https://openalex.org/W3027078477","https://openalex.org/W3042872240"],"related_works":["https://openalex.org/W3027078477","https://openalex.org/W4221125513","https://openalex.org/W3091517209","https://openalex.org/W158674241","https://openalex.org/W2997326910","https://openalex.org/W3008933805","https://openalex.org/W6906702941","https://openalex.org/W4386737104","https://openalex.org/W2890249867","https://openalex.org/W2610074795"],"abstract_inverted_index":{"This":[0],"paper":[1],"tackles":[2],"the":[3,51,74,89,92,97,106],"problem":[4],"of":[5,9,14,50,91,109],"recovering":[6],"formal":[7,128],"models":[8],"communicating":[10],"systems":[11],"made":[12],"up":[13],"components":[15],"concurrently":[16],"interacting":[17],"with":[18],"each":[19],"other,":[20],"e.g.,":[21],"Web":[22],"service":[23],"compositions":[24],"or":[25,126],"IoT":[26],"systems.":[27],"We":[28],"present":[29],"a":[30,85],"passive":[31],"model":[32],"learning":[33],"approach,":[34],"which":[35],"recovers,":[36],"from":[37],"event":[38,57,76],"logs,":[39],"one":[40],"Input":[41],"Output":[42],"Labelled":[43],"Transition":[44],"System":[45],"(IOLTS)":[46],"for":[47,122,127],"every":[48,110],"component":[49,111],"system":[52],"under":[53],"learning.":[54],"From":[55],"an":[56],"log,":[58],"our":[59,103],"approach":[60,104],"is":[61],"able":[62],"to":[63,95],"automatically":[64],"recover":[65],"conversations":[66,94],"(a.k.a.":[67],"sessions),":[68],"without":[69],"having":[70],"any":[71],"knowledge":[72],"about":[73],"used":[75,119],"correlation":[77,81],"mechanisms.":[78],"It":[79],"uses":[80],"pattern":[82],"definitions":[83],"and":[84,112],"heuristic":[86],"based":[87],"on":[88],"quality":[90],"generated":[93],"get":[96],"most":[98],"relevant":[99],"conversation":[100],"sets.":[101],"Then,":[102],"extracts":[105],"trace":[107],"sets":[108],"generates":[113],"IOLTSs.":[114],"The":[115],"latter":[116],"can":[117],"be":[118],"as":[120],"documentation,":[121],"test":[123],"case":[124],"generation,":[125],"verification.":[129]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2021-10-11T00:00:00"}