Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-CDL about choreography and WS-BPEL about orchestration. A closer look to such a kind of languages highlights two distinct approaches for system representation and management. Choreography describes the system in a top view manne...

A Web Service is a self-describing, self-contained modular application that can be published, located, and invoked over a network, such as the Internet. Web Service composition provides away to obtain value-added services by combining different existing facilities, which are then able to support the integration of commercial applications. WS-CDL (Web Services Choreography Description Language) ...

135 ABSTRACT Quick changes in requirements and opportunities in world market needs different levels of cross-organizational collaboration for integrating distributed information systems, information sharing and coordination of organizational processes. Nowadays, Web Services are the most common technology to meet these requirements. Web Services Choreography Description Language (WS-CDL), a Wor...

Sensor Web is a system of systems, of which each system consist of live sensor, data, and geospatial processing services. In a broad sense, it includes archived data, and ondemand generated data or virtual sensor. In such a system, asynchrony cannot be avoided because of differences in clock/time and the long processing time of complex processes. Asynchrony can occur at the sensor planning stag...

Abstract. Web services are software systems that support distributed applications composed of independent processes which communicate by message passing. To realize the full potential of web services, we need to compose existent web services in order to get more functionalities. However the composition of web services should be secure. In this paper we propose an automatic formal approach to mo...

Inter-organizational business processes implementations using service composition approaches are being more and more used . We want to reduce the semantic gap that exists between both worlds (business processes and services) through service choreographies, a composition approach that we think it is semantically close to multi-party business processes. We rely on modeling techniques as abstracti...

Service choreographies have been put forward as new viewpoint in service-oriented design. They are especially relevant for business-to-business (B2B) integration and describe the interaction behavior of a set of collaborating services from a global perspective. These global interaction models are then used for generating interface processes for each service which in turn is the starting point f...

[Context] Software companies that develop their products on a basis of service-oriented architecture can expect various improvements as a result of choreography. Current choreography practices, however, are not yet used extensively in the embedded systems domain even though service-oriented architecture is increasingly used in this domain. [Objective] The objective of this study is to identify ...