Workflow handbook 1997
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification problems in conceptual workflow specifications
Data & Knowledge Engineering - Special issue on ER '96
Managing process and service fusion in virtual enterprises
Information Systems - Special issue on information systems support for electronic commerce
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Workflow support for electronic commerce applications
Decision Support Systems
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
XML-Based Schema Definition for Support of Interorganizational Workflow
Information Systems Research
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Designing trustworthy interorganizational trade procedures for open electronic commerce
International Journal of Electronic Commerce - Special issue: A global perspective on electronic commerce
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Crossing Organizational Boundaries with Mobile Agents in Electronic Service Markets
Integrated Computer-Aided Engineering
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Standards-based approaches to B2B workflow integration
Computers and Industrial Engineering - Special issue: Logistics and supply chain management
Dynamic business network process management in instant virtual enterprises
Computers in Industry
Coordinating multi-task environments through the methodology of relations graph
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
Hi-index | 0.00 |
In this paper, we present XRL/Woflan. XRL/Woflan is a software tool using state-of-the-art Petri-net analysis techniques for verifying XRL workflows. The workflow language XRL (eXchangeable Routing Language) supports cross-organizational processes. XRL uses XML for the representation of process definitions and Petri nets for its semantics. XRL is instance-based, therefore, workflow definitions can be changed on the fly and sent across organizational boundaries. These features are vital for today's dynamic and networked economy. However, the features also enable subtle, but highly disruptive, cross-organizational errors. On-the-fly changes and one-of-a-kind processes are destined to result in errors. Moreover, errors of a cross-organizational nature are difficult to repair. XRL/Woflan uses eXtensible Stylesheet Language Transformations (XSLT) to transform XRL specifications to a specific class of Petri nets, and to allow users to design new routing constructs, thus making XRL extensibe. The Petri-net representation is used to determine whether the workflow is correct. If the workflow is not correct, anomalies such as deadlocks and livelocks are reported.