{"id":"https://openalex.org/W2073785052","doi":"https://doi.org/10.1109/mipro.2014.6859591","title":"Formal checking of WS-BPEL orchestrations","display_name":"Formal checking of WS-BPEL orchestrations","publication_year":2014,"publication_date":"2014-05-01","ids":{"openalex":"https://openalex.org/W2073785052","doi":"https://doi.org/10.1109/mipro.2014.6859591","mag":"2073785052"},"language":"en","primary_location":{"id":"doi:10.1109/mipro.2014.6859591","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mipro.2014.6859591","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 37th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","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/A5018267084","display_name":"Jelena Matkovi\u0107","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"J. Matkovic","raw_affiliation_strings":["Elektroprivreda HZ-HB d.d. Mostar, Sektor za informatiku i telekomunikacije, Mostar, BiH","Sektor za informatiku i telekomunikacije, Elektroprivreda HZ-HB d.d. Mostar, Mostar, Bosnia-Herzegovina"],"affiliations":[{"raw_affiliation_string":"Elektroprivreda HZ-HB d.d. Mostar, Sektor za informatiku i telekomunikacije, Mostar, BiH","institution_ids":[]},{"raw_affiliation_string":"Sektor za informatiku i telekomunikacije, Elektroprivreda HZ-HB d.d. Mostar, Mostar, Bosnia-Herzegovina","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089518273","display_name":"Kre\u0161imir Fertalj","orcid":"https://orcid.org/0000-0001-7469-6168"},"institutions":[{"id":"https://openalex.org/I4390039327","display_name":"Faculty of Electrical Engineering and Computing in Zagreb","ror":"https://ror.org/04e90ca47","country_code":null,"type":"education","lineage":["https://openalex.org/I181343428","https://openalex.org/I4390039327"]},{"id":"https://openalex.org/I181343428","display_name":"University of Zagreb","ror":"https://ror.org/00mv6sv71","country_code":"HR","type":"education","lineage":["https://openalex.org/I181343428"]}],"countries":["HR"],"is_corresponding":false,"raw_author_name":"K. Fertalj","raw_affiliation_strings":["Sveu\u010dili\u0161te u Zagrebu, Fakultet elektrotehnike i ra\u010dunarstva, Zagreb, Hrvatska","[Fakultet elektrotehnike i ra\u010dunarstva, Sveu\u010dili\u0161te u Zagrebu, Zagreb, Croatia]"],"affiliations":[{"raw_affiliation_string":"Sveu\u010dili\u0161te u Zagrebu, Fakultet elektrotehnike i ra\u010dunarstva, Zagreb, Hrvatska","institution_ids":["https://openalex.org/I181343428","https://openalex.org/I4390039327"]},{"raw_affiliation_string":"[Fakultet elektrotehnike i ra\u010dunarstva, Sveu\u010dili\u0161te u Zagrebu, Zagreb, Croatia]","institution_ids":["https://openalex.org/I181343428"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5018267084"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19726762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"360","last_page":"366"},"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.9993000030517578,"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.9993000030517578,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9939000010490417,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"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/business-process-execution-language","display_name":"Business Process Execution Language","score":0.9270633459091187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8741523027420044},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.7732088565826416},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6873525381088257},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5917404890060425},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4987494945526123},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.48325568437576294},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45339372754096985},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44027677178382874},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3736448287963867},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.28493574261665344},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.2456934154033661}],"concepts":[{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.9270633459091187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8741523027420044},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.7732088565826416},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6873525381088257},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5917404890060425},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4987494945526123},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48325568437576294},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45339372754096985},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44027677178382874},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3736448287963867},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.28493574261665344},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.2456934154033661},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mipro.2014.6859591","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mipro.2014.6859591","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 37th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2128433357","https://openalex.org/W2145391336"],"related_works":["https://openalex.org/W2027106745","https://openalex.org/W2560865713","https://openalex.org/W2465461324","https://openalex.org/W2133211472","https://openalex.org/W2255947998","https://openalex.org/W2070759565","https://openalex.org/W2376610319","https://openalex.org/W2370757937","https://openalex.org/W2117614118","https://openalex.org/W2073785052"],"abstract_inverted_index":{"This":[0],"paper":[1,24,119,150],"is":[2,70,86],"focused":[3],"on":[4,134],"understanding":[5],"techniques":[6,121,138],"used":[7,122],"to":[8,38,141],"formally":[9],"verify":[10,142],"behaviour":[11],"of":[12,22,28,47,67,76,102,106,117,126,148,162,170],"business":[13],"processes":[14],"developed":[15],"using":[16],"WS-BPEL":[17,29,68,143],"standard.":[18],"The":[19,114,145],"first":[20,168],"part":[21,116,147,169],"the":[23,77,118,149,153,167,171],"gives":[25],"an":[26,132],"overview":[27],"control-flow":[30,40,51],"constructs.":[31],"We":[32],"analyze":[33],"offered":[34],"constructs":[35],"and":[36,110],"try":[37],"derive":[39],"scenarios":[41,52],"that":[42],"can":[43,73],"be":[44,61,74],"built":[45],"out":[46],"them.":[48],"Derived":[49],"complex":[50],"are":[53,139],"further":[54],"discussed.":[55],"Possible":[56],"execution":[57,100,112],"misbehaviour,":[58],"which":[59],"cannot":[60],"discovered":[62],"by":[63],"pure":[64],"static":[65],"analysis":[66],"code,":[69,80],"identified.":[71],"Misbehaviour":[72],"any":[75,94,127],"following:":[78],"unreachable":[79],"deadlock":[81],"states,":[82],"non-progress":[83],"cycles":[84],"(code":[85],"repeated":[87],"without":[88],"passing":[89],"through":[90],"progress":[91],"state),":[92],"or":[93],"other":[95],"unwanted":[96,99,104],"scenario,":[97],"like":[98],"order":[101,105],"activities,":[103],"messages":[107],"being":[108],"exchanged":[109],"similar":[111],"misbehaviour.":[113],"second":[115],"describes":[120],"for":[123],"formal":[124],"verification":[125,161],"code":[128],"in":[129,160],"general":[130],"with":[131,152],"emphasis":[133],"research":[135],"how":[136,155],"these":[137],"exploited":[140],"code.":[144],"final":[146],"concludes":[151],"discussion":[154],"successful":[156],"described":[157],"work":[158],"was":[159],"possible":[163],"identified":[164],"misbehaviour":[165],"from":[166],"paper.":[172]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}