COORDINATION
2008
Springer
14 years 1 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
14 years 1 months ago
2008
Springer
COORDINATION
2008
Springer
14 years 1 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
14 years 1 months ago
2008
Springer
COORDINATION
2008
Springer
14 years 1 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
COORDINATION
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
COORDINATION
2008
Springer
14 years 1 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
COORDINATION
2008
Springer
14 years 1 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
COORDINATION
2008
Springer
14 years 1 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
COORDINATION
2008
Springer
14 years 1 months ago
2008
Springer
