{"id":"https://openalex.org/W2756944775","doi":"https://doi.org/10.3233/978-1-61499-800-6-466","title":"Towards a Formal Verification Approach for Service Component Architecture","display_name":"Towards a Formal Verification Approach for Service Component Architecture","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2756944775","doi":"https://doi.org/10.3233/978-1-61499-800-6-466","mag":"2756944775"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-800-6-466","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-800-6-466","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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/A5038121671","display_name":"Wael Chargui","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chargui Wael","raw_affiliation_strings":["OASIS - Optimisation des syst\u00e8mes industriels et de services [Tunis] (BP 37, 1002 Tunis Le Belv\u00e9d\u00e8re - Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"OASIS - Optimisation des syst\u00e8mes industriels et de services [Tunis] (BP 37, 1002 Tunis Le Belv\u00e9d\u00e8re - Tunisia)","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sakka Rouis Taoufik","orcid":null},"institutions":[{"id":"https://openalex.org/I83259278","display_name":"Manouba University","ror":"https://ror.org/0503ejf32","country_code":"TN","type":"education","lineage":["https://openalex.org/I83259278"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Sakka Rouis Taoufik","raw_affiliation_strings":["ENSI - \u00c9cole Nationale des Sciences de l'Informatique [Manouba] (Campus Universitaire de la Manouba, 2010 Manouba - Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSI - \u00c9cole Nationale des Sciences de l'Informatique [Manouba] (Campus Universitaire de la Manouba, 2010 Manouba - Tunisia)","institution_ids":["https://openalex.org/I83259278"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067006869","display_name":"Mourad Kmimech","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kmimech Mourad","raw_affiliation_strings":["OASIS - Optimisation des syst\u00e8mes industriels et de services [Tunis] (BP 37, 1002 Tunis Le Belv\u00e9d\u00e8re - Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"OASIS - Optimisation des syst\u00e8mes industriels et de services [Tunis] (BP 37, 1002 Tunis Le Belv\u00e9d\u00e8re - Tunisia)","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bhiri Mohamed Tahar","orcid":null},"institutions":[{"id":"https://openalex.org/I4210119561","display_name":"Digital Research Centre of Sfax","ror":"https://ror.org/02s48dm85","country_code":"TN","type":"facility","lineage":["https://openalex.org/I4210119561"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Bhiri Mohamed Tahar","raw_affiliation_strings":["MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory (Route de Tunis, km 10, BP 242, Sakiet Ezziet, 3021 SFAX - Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory (Route de Tunis, km 10, BP 242, Sakiet Ezziet, 3021 SFAX - Tunisia)","institution_ids":["https://openalex.org/I4210119561"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053514158","display_name":"Layth Sliman","orcid":"https://orcid.org/0000-0003-3369-7302"},"institutions":[{"id":"https://openalex.org/I2801479458","display_name":"Engineering School of Information and Digital Technologies","ror":"https://ror.org/01h7hvj14","country_code":"FR","type":"education","lineage":["https://openalex.org/I117841876","https://openalex.org/I2801479458"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sliman Layth","raw_affiliation_strings":["Efrei - Efrei (Efrei, 30-32 avenue de la R \u0301epublique, 94800 Villejuif, France - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Efrei - Efrei (Efrei, 30-32 avenue de la R \u0301epublique, 94800 Villejuif, France - France)","institution_ids":["https://openalex.org/I2801479458"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003489614","display_name":"Badran Raddaoui","orcid":"https://orcid.org/0000-0003-4712-0811"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"id":"https://openalex.org/I4405261500","display_name":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","ror":"https://ror.org/05d29yv45","country_code":"FR","type":"facility","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Raddaoui Badran","raw_affiliation_strings":["CNRS - Centre National de la Recherche Scientifique (France)","SAMOVAR - Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux (T\u00e9l\u00e9com Sudparis, 9 rue Charles Fourier -91011 Evry cedex - France)","TSP - INF - D\u00e9partement Informatique (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"SAMOVAR - Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux (T\u00e9l\u00e9com Sudparis, 9 rue Charles Fourier -91011 Evry cedex - France)","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]},{"raw_affiliation_string":"TSP - INF - D\u00e9partement Informatique (France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15847758,"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9991999864578247,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9950000047683716,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7921954393386841},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6851791143417358},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.6469868421554565},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5575428009033203},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5364409685134888},{"id":"https://openalex.org/keywords/wright","display_name":"Wright","score":0.5227135419845581},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5066216588020325},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.4599134027957916},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.44552528858184814},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4392998218536377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4383627474308014},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4175627827644348},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.41534852981567383},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.40998831391334534},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.354658305644989}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7921954393386841},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6851791143417358},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.6469868421554565},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5575428009033203},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5364409685134888},{"id":"https://openalex.org/C2777667586","wikidata":"https://www.wikidata.org/wiki/Q8038170","display_name":"Wright","level":2,"score":0.5227135419845581},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5066216588020325},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4599134027957916},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.44552528858184814},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4392998218536377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4383627474308014},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4175627827644348},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.41534852981567383},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.40998831391334534},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.354658305644989},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","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":3,"locations":[{"id":"doi:10.3233/978-1-61499-800-6-466","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-800-6-466","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-01702712v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01702712","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SOMET 2017: 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Sep 2017, Kitakyushu, Japan. pp.466 - 479, ⟨10.3233/978-1-61499-800-6-466⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-03781556v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03781556","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"16th International Conference on Intelligent Software, Methodologies and Techniques","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389","https://openalex.org/W2171674700","https://openalex.org/W1946493810"],"abstract_inverted_index":{"Service":[0],"Component":[1],"Architectures":[2],"(SCA)":[3],"is":[4,90],"widely":[5],"used":[6],"for":[7,37],"the":[8,17,77,80,93,99],"integration":[9],"of":[10,20,26,40,50,82],"heterogeneous":[11],"applications.":[12],"This":[13],"heterogeneity,":[14],"added":[15],"to":[16,55,62,86],"distributed":[18],"aspect":[19],"SCA,":[21],"can":[22],"be":[23],"a":[24,34,48,51,56,66,87],"source":[25,53],"behavioral":[27,38],"mismatches.":[28],"In":[29,60],"this":[30,64,83],"paper,":[31],"we":[32,46],"present":[33],"new":[35],"approach":[36],"verification":[39],"SCA":[41,52],"software":[42],"architectures.":[43],"More":[44],"precisely,":[45],"propose":[47],"translation":[49,70,81],"model":[54],"Wright":[57],"ADL":[58],"configuration.":[59],"order":[61],"facilitate":[63],"translation,":[65],"guiding":[67],"script":[68],"and":[69,97],"rules":[71],"are":[72],"introduced.":[73],"Then,":[74],"by":[75],"using":[76],"wr2fdr":[78],"tool,":[79],"wright":[84],"configuration":[85],"CSP":[88],"specification":[89],"done.":[91],"Finally,":[92],"FDR2":[94],"model-checker":[95],"simulates":[96],"checks":[98],"obtained":[100],"specification.":[101]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}