{"id":"https://openalex.org/W2790052602","doi":"https://doi.org/10.1109/iisa.2017.8316371","title":"Towards a formal approach for the verification of SCA/BPEL software architectures","display_name":"Towards a formal approach for the verification of SCA/BPEL software architectures","publication_year":2017,"publication_date":"2017-08-01","ids":{"openalex":"https://openalex.org/W2790052602","doi":"https://doi.org/10.1109/iisa.2017.8316371","mag":"2790052602"},"language":"en","primary_location":{"id":"doi:10.1109/iisa.2017.8316371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iisa.2017.8316371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)","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/A5071699761","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":["Crystal Laboratory, University of Manouba, Manouba, Tunisia","University of Manouba, National School of Computer Science (Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Crystal Laboratory, University of Manouba, Manouba, Tunisia","institution_ids":["https://openalex.org/I83259278"]},{"raw_affiliation_string":"University of Manouba, National School of Computer Science (Tunisia)","institution_ids":["https://openalex.org/I83259278"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019430069","display_name":"Bhiri Mohamed Tahar","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":"Bhiri Mohamed Tahar","raw_affiliation_strings":["Crystal Laboratory, University of Manouba, Manouba, Tunisia","University of Manouba, National School of Computer Science (Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Crystal Laboratory, University of Manouba, Manouba, Tunisia","institution_ids":["https://openalex.org/I83259278"]},{"raw_affiliation_string":"University of Manouba, National School of Computer Science (Tunisia)","institution_ids":["https://openalex.org/I83259278"]}]},{"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"]},{"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":["FR","TN"],"is_corresponding":false,"raw_author_name":"Sliman Layth","raw_affiliation_strings":["Crystal Laboratory, University of Manouba, Manouba, Tunisia","Efrei Research Lab (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Crystal Laboratory, University of Manouba, Manouba, Tunisia","institution_ids":["https://openalex.org/I83259278"]},{"raw_affiliation_string":"Efrei Research Lab (France)","institution_ids":["https://openalex.org/I2801479458"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067006869","display_name":"Mourad Kmimech","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":"Kmimech Mourad","raw_affiliation_strings":["Crystal Laboratory, University of Manouba, Manouba, Tunisia","University of Manouba, National School of Computer Science (Tunisia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Crystal Laboratory, University of Manouba, Manouba, Tunisia","institution_ids":["https://openalex.org/I83259278"]},{"raw_affiliation_string":"University of Manouba, National School of Computer Science (Tunisia)","institution_ids":["https://openalex.org/I83259278"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2158,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.54235225,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998000264167786,"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.9995999932289124,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976000189781189,"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.8330496549606323},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.7221618890762329},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6527705192565918},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.573130190372467},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5672568678855896},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5387222766876221},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.48771652579307556},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.48481813073158264},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45639440417289734},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4509328603744507},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.44313228130340576},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40810975432395935},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.3784501254558563},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1514425277709961}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8330496549606323},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.7221618890762329},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6527705192565918},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.573130190372467},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5672568678855896},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5387222766876221},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.48771652579307556},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.48481813073158264},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45639440417289734},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4509328603744507},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.44313228130340576},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40810975432395935},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.3784501254558563},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1514425277709961}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iisa.2017.8316371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iisa.2017.8316371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03781562v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03781562","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":"2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA), Aug 2017, Larnaca, France. pp.1-6, ⟨10.1109/IISA.2017.8316371⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5799999833106995,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W97522753","https://openalex.org/W1482244719","https://openalex.org/W1563049645","https://openalex.org/W1575832065","https://openalex.org/W1589410510","https://openalex.org/W2015937909","https://openalex.org/W2038691138","https://openalex.org/W2073514926","https://openalex.org/W2134382119","https://openalex.org/W2136521909","https://openalex.org/W2142065829","https://openalex.org/W2186615012","https://openalex.org/W2295909615","https://openalex.org/W2572554811","https://openalex.org/W2578667815","https://openalex.org/W2589217375","https://openalex.org/W2756663668","https://openalex.org/W2762588455","https://openalex.org/W4234261252","https://openalex.org/W4245409258","https://openalex.org/W6603951588","https://openalex.org/W6634950658","https://openalex.org/W6686870499"],"related_works":["https://openalex.org/W1903167137","https://openalex.org/W2049993111","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"Nowadays,":[0],"a":[1],"critical":[2],"issue":[3],"for":[4,26],"complex":[5,30],"Web":[6,31],"systems":[7],"development":[8,28],"is":[9,71],"the":[10,27,44,51,74,77,87,95,111],"modeling":[11],"and":[12,20],"verification":[13],"of":[14,29,54,67,76,89],"its":[15,61],"architectures.":[16,91],"The":[17,65],"standards":[18],"SCA":[19,56],"BPEL":[21,62],"are":[22],"powerful":[23],"complementary":[24],"models":[25,42],"service":[32],"systems.":[33],"In":[34,92],"this":[35,68,98],"paper,":[36],"we":[37],"proposed":[38],"to":[39,49,86,105],"map":[40],"these":[41],"on":[43],"Wright/CSP":[45,99],"ADL":[46,70],"in":[47],"order":[48],"verify":[50],"architectural":[52],"properties":[53,84],"an":[55,106],"software":[57,90],"architecture":[58],"equipped":[59],"with":[60],"behavioral":[63],"aspects.":[64],"choice":[66],"formal":[69],"justified":[72],"by":[73,110],"presence":[75],"Wr2fdr":[78,96],"tool":[79],"that":[80],"generates":[81],"eleven":[82],"standard":[83],"related":[85],"consistency":[88],"addition,":[93],"using":[94],"tool,":[97],"target":[100],"configuration":[101],"was":[102],"automatically":[103],"translated":[104],"FDR":[107],"specification":[108],"acceptable":[109],"FDR2":[112],"model-checker.":[113]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}