Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Nets, terms and formulas: three views of concurrent processes and their relationship
Nets, terms and formulas: three views of concurrent processes and their relationship
Context and consciousness: activity theory and human-computer interaction
Context and consciousness: activity theory and human-computer interaction
Proceedings of the 21st international conference on Software engineering
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
An agent-based approach for building complex software systems
Communications of the ACM
Communication and Concurrency
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Coordination and composition in multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Generic Error Handling in Business Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Modeling- and analysis techniques for web services and business processes
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Enabling flexible processes by ECA orchestration architecture
Proceedings of the 3rd international conference on Theory and practice of electronic governance
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Environment programming in multi-agent systems: an artifact-based perspective
Autonomous Agents and Multi-Agent Systems
Adaptable Decentralized Service Oriented Architecture
Journal of Systems and Software
Hi-index | 0.01 |
The BPEL language is currently the primary candidate for standardising Web Services orchestration. BPEL specifications are meant to be run by BPEL orchestration engines, which are therefore crucial components of today's business-to-business infrastructures, carrying the burden of dynamically composing existing services. In this paper, we present the design of a BPEL orchestration engine based on a multi-agent system: while the basic BPEL activities are autonomously executed by agents, workflow aspects are realised by the mediation of ReSpecT tuple centres, a coordination model extending Linda with the ability of declaratively programming the tuple space behaviour. Our architecture separates the interaction, correlation, and workflow concerns into clearly identified tiers. In particular, we identify the workflow tier as the one encapsulating the core and most critical behaviour of the engine: due to its intrinsic complexity, we tackle its design formally. We introduce a core algebraic language of BPEL dealing with its workflow-related aspects, and provide it with a semantics based on a mapping into a net specification, modelling the dependencies between the activities to be executed by the engine. This mapping plays the role of a formal design, since it directly leads to an implementation of the workflow tier in the orchestration engine.