Sciweavers

1439 search results - page 58 / 288
» The Web Service Modeling Toolkit
Sort
View
WSFM
2007
Springer
14 years 3 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
COOPIS
2004
IEEE
14 years 23 days ago
Model-Driven Dependability Analysis of WebServices
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
Apostolos Zarras, Panos Vassiliadis, Valéri...
IJWET
2007
114views more  IJWET 2007»
13 years 9 months ago
A comprehensive design model for integrating business processes in web applications
: Web applications have evolved from simple read-only websites to complex data- and operation-intensive systems. The main goal of this kind of application is to provide the users w...
Damiano Distante, Gustavo Rossi, Gerardo Canfora, ...
AINA
2009
IEEE
14 years 3 months ago
A New Approach to Model Web Services' Behaviors Based on Synchronization
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Jam...
HICSS
2005
IEEE
145views Biometrics» more  HICSS 2005»
14 years 2 months ago
Semantic Web Fred - Automated Goal Resolution on the Semantic Web
Semantic Web Fred, SWF for short, is a contextindependent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic ...
Michael Stollberg, Dumitru Roman, Ioan Toma, Uwe K...