Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Business Process Management: The Third Wave
Business Process Management: The Third Wave
Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment
Distributed and Parallel Databases
Distributed and Parallel Databases
Workflow Modeling Using Proclets
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
B2b Integration: A Practical Guide to Collaborative E-Commerce
B2b Integration: A Practical Guide to Collaborative E-Commerce
B2b Integration
Advances in business process management
Data & Knowledge Engineering - Special issue: Advances in business process management
Facilitating cross-organisational workflows with a workflow view approach
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Service-based Collaborative Workflow for DAME
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
YAWL: yet another workflow language
Information Systems
Service Oriented Enterprises
A decentralized execution model for inter-organizational workflows
Distributed and Parallel Databases
AO4BPEL: An Aspect-oriented Extension to BPEL
World Wide Web
Conceptual Modelling in Information Systems Engineering
Conceptual Modelling in Information Systems Engineering
Constructing customized process views
Data & Knowledge Engineering
Design of the integrated information system, business, and production process by simulation
Journal of the American Society for Information Science and Technology
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Aligning collaborative business processes: an organization-oriented perspective
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Handling instance correspondence in inter-organisational workflows
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
The conceptualization of a configurable multi-party multi-message request-reply conversation
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
Steering dynamic collaborations between business processes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
SAP NetWeaver Process Integration
SAP NetWeaver Process Integration
Enterprise business process management: architecture, technology and standards
BPM'06 Proceedings of the 4th international conference on Business Process Management
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
Driven by the booming global business, organisations are required to align their business processes into an inter-connected network. The sophisticated nature of collaboration results in dynamic and complex interactions and correlations between participating business processes. This inevitably poses challenges to business process management in terms of recognising the instance correspondence and analysing the interaction behaviours of collaborative business processes. Nevertheless, this issue has received very limited attention from inter-organisational workflow research. In this paper, a novel correspondence Petri net model called CorPN is developed to specify instance correspondence with extensions to classical WF-Nets. In addition, a method is established to analyse the behavioural properties of CorPN nets for the purpose of process verification and examination.