{"id":"https://openalex.org/W1995753135","doi":"https://doi.org/10.1109/scc.2014.89","title":"A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions","display_name":"A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W1995753135","doi":"https://doi.org/10.1109/scc.2014.89","mag":"1995753135"},"language":"en","primary_location":{"id":"doi:10.1109/scc.2014.89","doi":"https://doi.org/10.1109/scc.2014.89","is_oa":false,"landing_page_url":"https://doi.org/10.1109/scc.2014.89","pdf_url":null,"source":{"id":"https://openalex.org/S4306418716","display_name":"IEEE International Conference on Services Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Conference on Services Computing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5067480635","display_name":"Imed Abbassi","orcid":"https://orcid.org/0000-0002-6982-6383","observed_orcids":["https://orcid.org/0000-0002-6982-6383","https://orcid.org/0000-0002-4802-2132"]},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Imed Abbassi","raw_affiliation_strings":["ENIT, University of Tunis El Manar, UR-OASIS, Tunisia","Optimisation des syst\u00e8mes industriels et de services [Tunis]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENIT, University of Tunis El Manar, UR-OASIS, Tunisia","institution_ids":["https://openalex.org/I63596082"]},{"raw_affiliation_string":"Optimisation des syst\u00e8mes industriels et de services [Tunis]","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061166635","display_name":"Mohamed Gra\u00efet","orcid":"https://orcid.org/0000-0002-0482-7254","observed_orcids":["https://orcid.org/0000-0002-0482-7254"]},"institutions":[{"id":"https://openalex.org/I166928557","display_name":"University of Monastir","ror":"https://ror.org/00nhtcg76","country_code":"TN","type":"education","lineage":["https://openalex.org/I166928557"]},{"id":"https://openalex.org/I4387153576","display_name":"Institut Sup\u00e9rieur d'Informatique et de Math\u00e9matiques de Monastir","ror":"https://ror.org/01nr6ek07","country_code":"TN","type":"education","lineage":["https://openalex.org/I166928557","https://openalex.org/I4387153576"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Graiet","raw_affiliation_strings":["ISIMM, Monastir University MlRACL, Tunisia","Multimedia, InfoRmation systems and Advanced Computing Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ISIMM, Monastir University MlRACL, Tunisia","institution_ids":["https://openalex.org/I166928557","https://openalex.org/I4387153576"]},{"raw_affiliation_string":"Multimedia, InfoRmation systems and Advanced Computing Laboratory","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084851123","display_name":"Walid Gaaloul","orcid":"https://orcid.org/0000-0003-0451-532X","observed_orcids":["https://orcid.org/0000-0003-0451-532X"]},"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/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]},{"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":"Walid Gaaloul","raw_affiliation_strings":["Computer Science Department, Telecom SudParis, Paris, France","Centre National de la Recherche Scientifique","D\u00e9partement Informatique","Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Telecom SudParis, Paris, France","institution_ids":["https://openalex.org/I4387153010"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"D\u00e9partement Informatique","institution_ids":["https://openalex.org/I4210161954"]},{"raw_affiliation_string":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","institution_ids":["https://openalex.org/I4405261500"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085552104","display_name":"Nejib Ben Hadj-Alouane","orcid":"https://orcid.org/0000-0002-7487-3344","observed_orcids":["https://orcid.org/0000-0002-7487-3344"]},"institutions":[{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Nejib Ben Hadj Alouane","raw_affiliation_strings":["ENIT, Univ. of Tunis El Manar UR-OASIS, Tunisia","Optimisation des syst\u00e8mes industriels et de services [Tunis]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENIT, Univ. of Tunis El Manar UR-OASIS, Tunisia","institution_ids":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"raw_affiliation_string":"Optimisation des syst\u00e8mes industriels et de services [Tunis]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1914,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76689026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"637","last_page":"644"},"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.9926999807357788,"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.9926999807357788,"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/T10142","display_name":"Formal Methods in Verification","score":0.002400000113993883,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.0012000000569969416,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/web-service-composition","display_name":"web service composition","score":0.9100000262260437},{"id":"https://openalex.org/keywords/transaction-consistency","display_name":"transaction consistency","score":0.8619999885559082},{"id":"https://openalex.org/keywords/event-b","display_name":"Event-B","score":0.8059999942779541},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.593999981880188},{"id":"https://openalex.org/keywords/composite-web-services","display_name":"composite web services","score":0.640999972820282},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.8489999771118164},{"id":"https://openalex.org/keywords/proof-obligations","display_name":"proof obligations","score":0.9359999895095825}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.796713650226593},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.7591533660888672},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6888781785964966},{"id":"https://openalex.org/C190515685","wikidata":"https://www.wikidata.org/wiki/Q749179","display_name":"WS-Policy","level":5,"score":0.5273585915565491},{"id":"https://openalex.org/C130436687","wikidata":"https://www.wikidata.org/wiki/Q7978591","display_name":"Web modeling","level":3,"score":0.5005180835723877},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4718080759048462},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4717843234539032},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.4550713896751404},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4509423077106476},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4350329041481018},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.4279298782348633},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4115593433380127},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3469761610031128},{"id":"https://openalex.org/C79373723","wikidata":"https://www.wikidata.org/wiki/Q386275","display_name":"Web development","level":3,"score":0.2752457559108734},{"id":"https://openalex.org/C59241245","wikidata":"https://www.wikidata.org/wiki/Q4781497","display_name":"Web application security","level":4,"score":0.23855316638946533},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.09659740328788757},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08619111776351929},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/scc.2014.89","doi":"https://doi.org/10.1109/scc.2014.89","is_oa":false,"landing_page_url":"https://doi.org/10.1109/scc.2014.89","pdf_url":null,"source":{"id":"https://openalex.org/S4306418716","display_name":"IEEE International Conference on Services Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Conference on Services Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01263087v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-01263087","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SCC 2014 : 11th IEEE International Conference on Services Computing, Jun 2014, Anchorage, Ak, United States. pp.637 - 644, ⟨10.1109/SCC.2014.89⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":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/W36454423","https://openalex.org/W1497001898","https://openalex.org/W1544621933","https://openalex.org/W1591692738","https://openalex.org/W1595655245","https://openalex.org/W1787000688","https://openalex.org/W1962632332","https://openalex.org/W1981626968","https://openalex.org/W2030826135","https://openalex.org/W2038280282","https://openalex.org/W2060131005","https://openalex.org/W2063588685","https://openalex.org/W2114462967","https://openalex.org/W2118534501","https://openalex.org/W2135319067","https://openalex.org/W2135555234","https://openalex.org/W2169803829","https://openalex.org/W2505790758","https://openalex.org/W2543855381","https://openalex.org/W4244819751","https://openalex.org/W4250686409"],"related_works":["https://openalex.org/W1992862272","https://openalex.org/W2210270890","https://openalex.org/W7096341023","https://openalex.org/W1756734019","https://openalex.org/W2063588685","https://openalex.org/W2118534501","https://openalex.org/W1959717852","https://openalex.org/W1965792702","https://openalex.org/W3153961292","https://openalex.org/W4400177262"],"abstract_inverted_index":{"Service":[0],"based":[1,86,114],"applications":[2],"leveraging":[3],"different":[4],"features":[5],"are":[6,74,84],"today":[7],"the":[8,26,80,88,101,131],"underpinnings":[9],"of":[10,22,29,40,130],"enterprise":[11],"computing.":[12],"However,":[13],"current":[14],"Web":[15,31,57,68,72,96],"services":[16,32,69,73],"composition":[17],"systems":[18],"make":[19,128],"only":[20],"use":[21],"functional":[23],"requirements":[24,55,82,103],"in":[25,56],"selection":[27],"process":[28],"component":[30],"while":[33],"transactional":[34,54,81],"consistency":[35,102],"is":[36,98],"a":[37,49],"crucial":[38],"parameter":[39],"most":[41],"business":[42,106],"applications.":[43],"In":[44],"this":[45],"work,":[46],"we":[47,110],"propose":[48],"formal":[50],"approach":[51],"for":[52],"enforcing":[53],"service":[58,97],"compositions":[59],"using":[60],"Event-B":[61],"formalism.":[62],"Our":[63],"solution":[64],"enables":[65],"specifying":[66],"composite":[67,95],"where":[70],"partner":[71],"selected":[75],"at":[76],"runtime":[77],"according":[78],"to":[79,119,127],"that":[83],"defined":[85],"on":[87],"Acceptable":[89],"Termination":[90],"States":[91],"concept.":[92],"The":[93],"resulting":[94],"compliant":[99],"with":[100,116],"expressed":[104],"by":[105],"application":[107],"designers.":[108],"Moreover,":[109],"incrementally":[111],"combine":[112],"proof":[113,132],"models":[115],"model":[117],"checking":[118],"trace":[120],"possible":[121],"errors":[122],"and":[123],"then":[124],"come":[125],"back":[126],"proofs":[129],"obligations.":[133]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2016-06-24T00:00:00"}