{"id":"https://openalex.org/W1577353245","doi":null,"title":"XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows","display_name":"XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W1577353245","mag":"1577353245"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.24.8858","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.8858","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://tmitwww.tm.tue.nl/staff/wvdaalst/Publications/p143.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/f1d17ef7-fe02-4314-9fdf-504d52edd073","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071443037","display_name":"H. M. W. Verbeek","orcid":"https://orcid.org/0000-0002-1658-9679","observed_orcids":["https://orcid.org/0000-0002-1658-9679"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"H. M. W. Verbeek","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-1658-9679","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"https://orcid.org/0000-0002-0955-6940","observed_orcids":["https://orcid.org/0000-0002-0955-6940","https://orcid.org/0000-0003-2196-0214"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wil M. P. van der Aalst","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-0955-6940","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5077956826","display_name":"Akhil Kumar","orcid":"https://orcid.org/0000-0003-3572-3789","observed_orcids":["https://orcid.org/0000-0003-3572-3789"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akhil Kumar","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3572-3789","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6249,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.91787993,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"65","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.9965999722480774,"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.9965999722480774,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.0027000000700354576,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":9.999999747378752e-05,"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/inter-organizational-workflows","display_name":"inter-organizational workflows","score":0.921999990940094},{"id":"https://openalex.org/keywords/workflow-verification","display_name":"workflow verification","score":0.8019999861717224},{"id":"https://openalex.org/keywords/petri-nets","display_name":"Petri nets","score":0.9409999847412109},{"id":"https://openalex.org/keywords/deadlock-detection","display_name":"deadlock detection","score":0.6520000100135803},{"id":"https://openalex.org/keywords/xslt-transformation","display_name":"XSLT transformation","score":0.8460000157356262},{"id":"https://openalex.org/keywords/extensibility","display_name":"extensibility","score":0.671999990940094},{"id":"https://openalex.org/keywords/cross-organizational-processes","display_name":"cross-organizational processes","score":0.6489999890327454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7332810163497925},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6754887104034424},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5463353991508484},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.5229305028915405},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4649551808834076},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.43087100982666016},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3449753224849701},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3040485382080078},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":7,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.24.8858","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.8858","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://tmitwww.tm.tue.nl/staff/wvdaalst/Publications/p143.pdf","raw_type":"text"},{"id":"pmh:552996","doi":null,"is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=552996","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"External research report"},{"id":"pmh:oai:library.tue.nl:552996","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/552996","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"External research report"},{"id":"pmh:oai:pure.tue.nl:openaire/f1d17ef7-fe02-4314-9fdf-504d52edd073","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/f1d17ef7-fe02-4314-9fdf-504d52edd073","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Verbeek, H M W, Aalst, van der, W M P & Kumar, A 2001, XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows. BETA publicatie : working papers, vol. 65, Technische Universiteit Eindhoven, Eindhoven.","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:tue:oai:library.tue.nl:552996","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/552996","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:tue:oai:pure.tue.nl:publications/f1d17ef7-fe02-4314-9fdf-504d52edd073","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/f1d17ef7-fe02-4314-9fdf-504d52edd073","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},{"id":"mag:1577353245","doi":null,"is_oa":false,"landing_page_url":"https://pure.tue.nl/ws/files/3456713/552996.pdf","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:pure.tue.nl:openaire/f1d17ef7-fe02-4314-9fdf-504d52edd073","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/f1d17ef7-fe02-4314-9fdf-504d52edd073","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Verbeek, H M W, Aalst, van der, W M P & Kumar, A 2001, XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows. BETA publicatie : working papers, vol. 65, Technische Universiteit Eindhoven, Eindhoven.","raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W39280257","https://openalex.org/W98533621","https://openalex.org/W1499512608","https://openalex.org/W1518250450","https://openalex.org/W1566807217","https://openalex.org/W1574901384","https://openalex.org/W1658354982","https://openalex.org/W1787000688","https://openalex.org/W1965014786","https://openalex.org/W1996109622","https://openalex.org/W2019987175","https://openalex.org/W2034873286","https://openalex.org/W2054750126","https://openalex.org/W2057339615","https://openalex.org/W2075978054","https://openalex.org/W2113733577","https://openalex.org/W2127300475","https://openalex.org/W2129466958","https://openalex.org/W2134410019","https://openalex.org/W2143014896","https://openalex.org/W2145795319","https://openalex.org/W2148398388","https://openalex.org/W2158103184","https://openalex.org/W2995943015","https://openalex.org/W3123340804"],"related_works":["https://openalex.org/W7100718349","https://openalex.org/W1658354982","https://openalex.org/W2131449282","https://openalex.org/W7096902900","https://openalex.org/W2165966768","https://openalex.org/W2109443179","https://openalex.org/W748271499","https://openalex.org/W1547343565","https://openalex.org/W4232491124","https://openalex.org/W2143811838"],"abstract_inverted_index":{"Internet-based":[0],"technology,":[1],"E-commerce,":[2],"and":[3,60,78,90,106,186],"the":[4,12,55,76,94,172,177],"rise":[5],"of":[6,57,117,161],"networked":[7,91],"virtual":[8],"enterprises":[9],"have":[10],"fueled":[11],"need":[13],"for":[14,47,54,63,87,141],"interorganizational":[15],"workflows.":[16,144],"Although":[17],"XML":[18,53],"allows":[19],"trading":[20],"partners":[21],"to":[22,29,111,123,153,157,169],"exchange":[23],"information,":[24],"it":[25],"cannot":[26],"be":[27,73],"used":[28,168],"coordinate":[30],"activities":[31],"in":[32,113],"different":[33],"organizational":[34,81],"entities.":[35],"Therefore,":[36],"we":[37,128],"developed":[38],"a":[39,118,133,158],"workflow":[40,70,173,178],"language":[41],"named":[42],"XRL":[43,51,67,143,155],"(eXchangeable":[44],"Routing":[45],"Language)":[46],"supporting":[48],"cross-organizational":[49,102,119],"processes.":[50],"uses":[52,147],"representation":[56,166],"process":[58],"definitions":[59,71],"Petri":[61,162],"nets":[62],"its":[64],"semantics.":[65],"Since":[66],"is":[68,132,167,174,179],"instance-based,":[69],"can":[72],"changed":[74],"on":[75],"fly":[77],"sent":[79],"across":[80],"boundaries.":[82],"These":[83],"features":[84,95],"are":[85,109,121,188],"vital":[86],"today's":[88],"dynamic":[89],"economy.":[92],"However,":[93],"also":[96],"enable":[97],"subtle,":[98],"but":[99],"highly":[100],"disruptive,":[101],"errors.":[103,114],"On-the-fly":[104],"changes":[105],"one-of-a-kind":[107],"processes":[108],"destined":[110],"result":[112],"Moreover,":[115],"errors":[116],"nature":[120],"difficult":[122],"repair.":[124],"In":[125],"this":[126],"paper,":[127],"present":[129],"XRL/Woflan.":[130],"XRL/Woflan":[131],"software":[134],"tool":[135,146],"using":[136],"state-of-the-art":[137],"Petri-net":[138,165],"analysis":[139],"techniques":[140],"verifying":[142],"The":[145,164],"eXtensible":[148],"Stylesheet":[149],"Language":[150],"Transformations":[151],"(XSLT)":[152],"transform":[154],"specifications":[156],"specific":[159],"class":[160],"nets.":[163],"determine":[170],"whether":[171],"correct.":[175],"If":[176],"not":[180],"correct,":[181],"anomalies":[182],"such":[183],"as":[184],"deadlocks":[185],"livelocks":[187],"reported.":[189],"Keywords:":[190],"Workflow,":[191],"Inter-organizational,":[192],"verification,":[193],"extensibility,":[194],"XML,":[195],"WF-net,":[196],"XRL,":[197],"Woflan":[198],"1.":[199]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2016-06-24T00:00:00"}