COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The deployment of Share Data Spaces in open, possibly hostile, environments arises the need of protecting the confidentiality of the data space content. Existing approach...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer