Sciweavers

4326 search results - page 56 / 866
» A Model for Process Service Interaction
Sort
View
EDOC
2007
IEEE
15 years 4 months ago
Publishing of Interoperable Services and Processes in UDDI
— This paper presents a requirements analysis and a solution approach to representing workflow processes conforming to the Wf-XML/ASAP standard proposal in a UDDI registry. Wf-X...
Marcus Spies, Harald Schöning, Keith Swenson
FORTE
2009
14 years 7 months ago
A Model-Checking Approach for Service Component Architectures
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
João Abreu, Franco Mazzanti, José Lu...
SOSE
2008
IEEE
15 years 4 months ago
Model-Checking of Web Services Choreography
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
DOCENG
2008
ACM
14 years 11 months ago
Scalable multimedia documents for digital radio
In this paper, we demonstrate the adaptation of multimedia digital radio services in broadcast environments based on scalable multimedia documents. The authoring of our multimedia...
Benoît Pellan, Cyril Concolato
GEOINFO
2004
14 years 11 months ago
Towards a Web Service for Geographic and Multidimensional Processing
: A lot of research has been developed for integrating the analysis functionality that is available in both analytic and geographic processing systems. The main goal is to provide ...
Joel da Silva, Valéria Cesário Times...