1,720,963 research outputs found
Event-Based Choreography
No full textAn important feature of the service-oriented approach is the ability to aggregate, through programmable coordination patterns, the activities involved in service interactions. Two different approaches can be adopted to tackle service coordination: orchestration and choreography. In this paper, we introduce a formal methodology to handle coordination among services from the perspective of a global observer, in the spirit of choreography models. In particular, we address the problem of verifying compliance and consistency between the design of service interactions and the choreography constraints
A Remotely Distributed Ray Tracing for the Analysis of Electromagnetic Propagation in Complex Indoor and Outdoor Environments
No full text
- …
