{"id":"https://openalex.org/W1994513094","doi":"https://doi.org/10.5220/0005110000290040","title":"An LTL Semantics of BusinessWorkflows with Recovery","display_name":"An LTL Semantics of BusinessWorkflows with Recovery","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1994513094","doi":"https://doi.org/10.5220/0005110000290040","mag":"1994513094"},"language":"en","primary_location":{"id":"doi:10.5220/0005110000290040","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005110000290040","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Software Paradigm Trends","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0005110000290040","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008484045","display_name":"Luca Ferrucci","orcid":"https://orcid.org/0000-0003-4159-0644"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Ferrucci","raw_affiliation_strings":["ISTI-CNR and Politecnico di Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ISTI-CNR and Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052125239","display_name":"Marcello M. Bersani","orcid":"https://orcid.org/0000-0001-5137-940X"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marcello M. Bersani","raw_affiliation_strings":["Politecnico di Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075175655","display_name":"Manuel Mazzara","orcid":"https://orcid.org/0000-0002-3860-4948"},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Manuel Mazzara","raw_affiliation_strings":["Innopolis University and ETH , Russian Federation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Innopolis University and ETH , Russian Federation","institution_ids":["https://openalex.org/I4210116741"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0267,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73434535,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"40"},"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.9995999932289124,"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.9995999932289124,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9936000108718872,"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.9914000034332275,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6444939374923706},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6179118752479553},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6047874093055725}],"concepts":[{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6444939374923706},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6179118752479553},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6047874093055725}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.5220/0005110000290040","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005110000290040","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Software Paradigm Trends","raw_type":"proceedings-article"},{"id":"pmh:oai:arpi.unipi.it:11568/1166185","is_oa":true,"landing_page_url":"https://www.scitepress.org/Link.aspx?doi=10.5220/0005110000290040","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:dnet:people______::bbf4f4510fe1e2f47dd9ddeb7717af20","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference article"},{"id":"pmh:oai:re.public.polimi.it:11311/965272","is_oa":false,"landing_page_url":"http://hdl.handle.net/11311/965272","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"doi:10.5220/0005110000290040","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005110000290040","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Software Paradigm Trends","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5699999928474426,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2788308474"],"abstract_inverted_index":{"We":[0],"describe":[1],"a":[2,23,32,41,46,75,92],"business":[3],"workflow":[4,50],"case":[5],"study":[6],"with":[7],"abnormal":[8],"behavior":[9],"management":[10],"(i.e.":[11],"recovery)":[12],"and":[13,18,30,54,66,98,105,119],"demonstrate":[14],"how":[15],"temporal":[16],"logics":[17],"model":[19,59],"checking":[20],"can":[21],"provide":[22],"methodology":[24],"to":[25,62,112],"iteratively":[26],"revise":[27],"the":[28,57,89,116],"design":[29],"obtain":[31],"correct-by":[33],"construction":[34],"system.":[35],"To":[36],"do":[37],"so":[38],"we":[39,55],"define":[40],"formal":[42,124],"semantics":[43],"by":[44],"giving":[45],"compilation":[47],"of":[48,95,103,107,115,123],"generic":[49],"patterns":[51],"into":[52,81,127],"LTL":[53],"use":[56],"bound":[58],"checker":[60],"Zot":[61],"prove":[63],"specific":[64],"properties":[65],"requirements":[67],"validity.":[68],"The":[69,101],"working":[70],"assumption":[71],"is":[72],"that":[73,83],"such":[74],"lightweight":[76],"approach":[77],"would":[78],"easily":[79],"fit":[80],"processes":[82],"are":[84],"already":[85],"in":[86],"place":[87],"without":[88],"need":[90],"for":[91,121],"radical":[93],"change":[94],"procedures,":[96],"tools":[97],"people\u2019s":[99],"attitudes.":[100],"complexity":[102],"formalisms":[104],"invasiveness":[106],"methods":[108],"have":[109],"been":[110],"demonstrated":[111],"be":[113],"one":[114],"major":[117],"drawback":[118],"obstacle":[120],"deployment":[122],"engineering":[125],"techniques":[126],"mundane":[128],"projects.":[129]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}