Sciweavers

1000 search results - page 64 / 200
» Analysis of communication models in web service compositions
Sort
View
FASE
2005
Springer
14 years 2 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 3 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
ICIW
2007
IEEE
13 years 9 months ago
Analysis of Web Services Secure Conversation with Formal Methods
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
M. Llanos Tobarra, Diego Cazorla, Fernando Cuarter...
SKG
2006
IEEE
14 years 3 months ago
Semantic Grid Services in K-Wf Grid
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
Marian Babik, Emil Gatial, Ondrej Habala, Ladislav...
AICT
2006
IEEE
120views Communications» more  AICT 2006»
14 years 3 months ago
Business Processes Characterisation Through Definition of Structural and Non-Structural Criteria
Workflow and Web Services have the main role in the development and in the realisation of B2B architectures. In this context, the principal target is to compose many services supp...
Francesco Calabrese, Giovanni Di Dio, Anna Rita Fa...