A calculus of mobile processes, I
Information and Computation
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
An Agent-Based Cross-Organizational Workflow Architecture in Support of Web Services
WETICE '02 Proceedings of the 11th IEEE International Workshops on Enabling Technologies: nfrastructure for Collaborative Enterprises
View-Based Contracts in an E-Service Cross-Organizational Workflow Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
A pi-calculus Model of a Spanish Fish Market - Preliminary Report
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Market-Based Workflow Management for Supply Chains of Services
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
A Framework Supporting Dynamic Workflow Interoperation and Enterprise Application Integration
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Federating Heterogeneous Workflow Systems
Federating Heterogeneous Workflow Systems
CA-PLAN, an Inter-Organizational Workflow Model
FTDCS '04 Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
Developing a reusable workflow engine
Journal of Systems Architecture: the EUROMICRO Journal
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
WSMX process mediation based on choreographies
BPM'05 Proceedings of the Third international conference on Business Process Management
Hi-index | 0.00 |
Within organizations, workflow systems can automate business processes by centrally coordinating activity sequences But outside their borders, organizations are autonomous entities that cannot be subject to centralized process control Their internal processes are autonomously defined and controlled, and what they need is to synchronize those concurrent processes Just like Petri nets are a valuable tool to model activity sequencing in local business processes, π-calculus becomes a useful tool to model concurrency in inter-organizational processes After a review of the main developments in cross-organizational workflow management, this paper illustrates the use of π-calculus to model the interactions between business processes running concurrently in different organizations These interactions range from invoking external services to more complex patterns such as contract negotiation and partner search and selection The paper concludes with a case study that illustrates the application of the proposed approach in a more realistic business scenario.