{"id":"https://openalex.org/W161341641","doi":null,"title":"Semantics, verification, and implementation of workflows with cancellation regions and OR-joins","display_name":"Semantics, verification, and implementation of workflows with cancellation regions and OR-joins","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W161341641","mag":"161341641"},"language":"en","primary_location":{"id":"pmh:oai:eprints.qut.edu.au:16324","doi":null,"is_oa":true,"landing_page_url":"https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf","pdf_url":"https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf","source":{"id":"https://openalex.org/S4306402607","display_name":"QUT ePrints (Queensland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I160993911","host_organization_name":"Queensland University of Technology","host_organization_lineage":["https://openalex.org/I160993911"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022719907","display_name":"Moe Thandar Wynn","orcid":"https://orcid.org/0000-0002-7205-8821","observed_orcids":["https://orcid.org/0000-0002-7205-8821"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Moe Thandar Wynn","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7205-8821","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5022719907"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9990000128746033,"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.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0003000000142492354,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.00019999999494757503,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow-semantics","display_name":"workflow semantics","score":0.652999997138977},{"id":"https://openalex.org/keywords/yawl","display_name":"YAWL","score":0.8209999799728394},{"id":"https://openalex.org/keywords/workflow-verification","display_name":"workflow verification","score":0.5929999947547913},{"id":"https://openalex.org/keywords/workflow-implementation","display_name":"workflow implementation","score":0.3619999885559082},{"id":"https://openalex.org/keywords/workflow-patterns","display_name":"workflow patterns","score":0.9629999995231628},{"id":"https://openalex.org/keywords/synchronization","display_name":"synchronization","score":0.6610000133514404},{"id":"https://openalex.org/keywords/petri-nets","display_name":"Petri nets","score":0.75},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"business process modeling","score":0.527999997138977},{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.382999986410141},{"id":"https://openalex.org/keywords/external-events","display_name":"external events","score":0.3059999942779541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.787505567073822},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.7475860714912415},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7354564666748047},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6540713310241699},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5550779700279236},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4889463186264038},{"id":"https://openalex.org/C2776937656","wikidata":"https://www.wikidata.org/wiki/Q2229669","display_name":"Nesting (process)","level":2,"score":0.48869588971138},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.4717974066734314},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.46528947353363037},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.4625747501850128},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45014339685440063},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.448543518781662},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4274041950702667},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.41627979278564453},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.24966159462928772},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C191897082","wikidata":"https://www.wikidata.org/wiki/Q11467","display_name":"Metallurgy","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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:eprints.qut.edu.au:16324","doi":null,"is_oa":true,"landing_page_url":"https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf","pdf_url":"https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf","source":{"id":"https://openalex.org/S4306402607","display_name":"QUT ePrints (Queensland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I160993911","host_organization_name":"Queensland University of Technology","host_organization_lineage":["https://openalex.org/I160993911"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"mag:161341641","doi":null,"is_oa":false,"landing_page_url":"https://eprints.qut.edu.au/16324/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:eprints.qut.edu.au:16324","doi":null,"is_oa":true,"landing_page_url":"https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf","pdf_url":"https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf","source":{"id":"https://openalex.org/S4306402607","display_name":"QUT ePrints (Queensland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I160993911","host_organization_name":"Queensland University of Technology","host_organization_lineage":["https://openalex.org/I160993911"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W161341641.pdf","grobid_xml":"https://content.openalex.org/works/W161341641.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7097489512","https://openalex.org/W1517965039","https://openalex.org/W7099900081","https://openalex.org/W2116427039","https://openalex.org/W7098114830","https://openalex.org/W7097153139","https://openalex.org/W7098812358","https://openalex.org/W1502414936","https://openalex.org/W4246931427","https://openalex.org/W2093537559"],"abstract_inverted_index":{"Workflow":[0,14],"systems":[1,15,193,294,303],"aim":[2],"to":[3,82,86,100,118,134,150,251,268,279,289,410,428,553],"provide":[4,306],"automated":[5],"support":[6,60,308,344,411],"for":[7,61,107,137,309,367,381,436,484,526,573,577],"the":[8,25,53,59,63,77,83,127,198,203,239,243,258,313,354,391,398,401,439,538,541,546,549,565,591,599],"conduct":[9],"of":[10,37,65,76,121,165,169,181,202,216,228,242,260,275,298,323,356,390,400,414,441,462,469,540,548],"certain":[11,273],"business":[12,341],"processes.":[13],"are":[16,33],"driven":[17],"by":[18,35,419,543,569],"workflow":[19,56,73,236,277,293,302,314,325,347,402,407,415,550],"specifications":[20],"which":[21],"among":[22],"others,":[23],"capture":[24],"execution":[26,218],"interdependencies":[27,32],"between":[28,455],"various":[29,66],"activities.":[30,283],"These":[31],"modelled":[34],"means":[36],"different":[38,113],"control":[39,67],"flow":[40,68],"constructors,":[41],"e.g.,":[42],"sequence,":[43],"choice,":[44],"parallelism":[45],"and":[46,62,85,104,176,194,200,231,326,386,417,433,444,457,489,497,504,576,581],"synchronisation.":[47,108],"It":[48,264],"has":[49,425,510,518],"been":[50,426,495,511,596],"shown":[51],"in":[52,95,154,234,272,292,312,340,345,395,397,438,598],"research":[54],"on":[55,141,213,353,515,567],"patterns":[57,80,416],"that":[58,130,255,452,471,501,551],"interpretation":[64],"constructs":[69],"varies":[70],"substantially":[71],"across":[72],"systems.":[74],"Two":[75],"most":[78],"problematic":[79],"relate":[81],"OR-join":[84,92,189,204,392,423,586],"cancellation.":[87],"\\n":[88,89,90,372,373,374],"\\nAn":[91],"is":[93,132,158,190,248,287,349,393,453],"used":[94,250,267],"situations":[96],"when":[97],"we":[98,480,562],"need":[99],"model":[101,252],"\"":[102],"wait":[103],"see\"":[105],"behaviour":[106,145,259],"Different":[109],"approaches":[110],"assign":[111],"a":[112,162,172,178,210,235,261,276,320,324,333,346,405,412,430,450,460,466,477,498],"(often":[114],"only":[115,133,319],"intuitive)":[116],"semantics":[117,157,199,208,241,424,587],"this":[119,144,310],"type":[120,468],"join,":[122],"though":[123,153,285],"they":[124],"do":[125,304],"share":[126],"common":[128],"theme":[129],"synchronisation":[131,211],"be":[135,147,266,554],"performed":[136],"active":[138],"paths.":[139,219],"Depending":[140],"context":[142,399],"assumptions":[143],"may":[146,221],"relatively":[148],"easy":[149],"deal":[151],"with,":[152],"general":[155],"its":[156,206],"complicated,":[159],"both":[160],"from":[161,177,476,507],"definition":[163],"point":[164,180],"view":[166,182],"(in":[167],"terms":[168],"formally":[170],"capturing":[171],"desired":[173],"intuitive":[174],"semantics)":[175],"computational":[179],"(how":[183],"does":[184],"one":[185],"determine":[186],"whether":[187],"an":[188,214,365],"enabled?).":[191],"Many":[192],"languages":[195],"struggle":[196],"with":[197,369,383,465,486,522,580],"implementation":[201,366],"because":[205],"non-local":[207],"require":[209,222],"depending":[212],"analysis":[215],"future":[217],"This":[220,447],"some":[223,296,558],"non-trivial":[224],"reasoning.":[225],"The":[226,245,388,422,513,584],"presence":[227,440],"cancellation":[229,246,317,334,337,384,442,487],"features":[230],"other":[232,327,445],"OR-joins":[233],"further":[237],"complicates":[238],"formal":[240,358],"OR-join.":[244],"feature":[247,311],"commonly":[249],"external":[253],"events":[254],"can":[256,265,329,472,536],"change":[257],"running":[262,282],"workflow.":[263],"either":[269],"disable":[270],"activities":[271,291,328],"parts":[274],"or":[278],"stop":[280],"currently":[281],"Even":[284],"it":[286],"possible":[288],"cancel":[290],"using":[295],"sort":[297],"abort":[299],"function,":[300],"many":[301],"not":[305],"direct":[307],"language.":[315],"Sometimes,":[316],"affects":[318],"selected":[321],"part":[322],"continue":[330],"after":[331],"performing":[332],"action.":[335],"As":[336],"occurs":[338],"naturally":[339],"scenarios,":[342],"comprehensive":[343],"language":[348,403,408],"desirable.":[350],"We":[351],"take":[352],"challenge":[355],"providing":[357],"semantics,":[359],"verification":[360,482,499,516,535,568,593],"techniques":[361,483,517],"as":[362,364,588,590],"well":[363,589],"workflows":[368,382,437,485],"those":[370],"features.":[371],"\\nThis":[375],"thesis":[376],"addresses":[377],"three":[378],"interrelated":[379],"issues":[380],"regions":[385,443,488],"OR-joins.":[387,446,490,583],"concept":[389],"examined":[394,555],"detail":[396],"YAWL,":[404],"powerful":[406],"designed":[409],"collection":[413],"inspired":[418],"Petri":[420,463],"nets.":[421],"redesigned":[427],"represent":[429],"general,":[431],"formal,":[432],"decidable":[434],"approach":[435,448,500,594],"exploits":[449,502],"link":[451],"proposed":[454,585,592],"YAWL":[456,578,600],"reset":[458,508,574],"nets,":[459],"variant":[461],"nets":[464,509,575,579],"special":[467],"arc":[470],"remove":[473],"all":[474],"tokens":[475],"place.":[478],"Next,":[479],"explore":[481],"Four":[491],"structural":[492],"properties":[493],"have":[494,563,595],"identified":[496],"coverability":[503],"reachability":[505],"notions":[506],"proposed.":[512],"work":[514,566],"highlighted":[519],"potential":[520],"problems":[521],"calculating":[523],"state":[524],"spaces":[525],"large":[527],"workflows.":[528],"Applying":[529],"reduction":[530,571],"rules":[531,572],"before":[532],"carrying":[533],"out":[534],"decrease":[537],"size":[539,547],"problem":[542],"cutting":[544],"down":[545],"needs":[552],"while":[556],"preserving":[557],"essential":[559],"properties.":[560],"Therefore,":[561],"extended":[564],"proposing":[570],"without":[582],"implemented":[597],"environment.":[601]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2026-08-31T07:19:18.363097","created_date":"2016-06-24T00:00:00"}