Sciweavers

173 search results - page 14 / 35
» Notations for the Specification and Verification of Composit...
Sort
View
ENTCS
2010
75views more  ENTCS 2010»
13 years 7 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
CAISE
2003
Springer
13 years 11 months ago
A Specification Approach to Compose Mobile Web Services Using Service Chart Diagrams
We present our work on composing mobile Web services, denoted by M-services, in the wireless world. The wireless world has its own features that make it completely different from t...
Zakaria Maamar, Mohammed Lahkim
SE
2008
13 years 9 months ago
A TTCN-3-based Web Service Test Framework
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
Edith Werner, Jens Grabowski, Stefan Troschüt...
ICWS
2007
IEEE
13 years 9 months ago
Guarding Sensitive Information Streams through the Jungle of Composite Web Services
Complex and dynamic web service compositions may introduce unpredictable and unintentional sharing of security-sensitive data (e.g., credit card numbers) as well as unexpected vul...
Jinpeng Wei, Lenin Singaravelu, Calton Pu
IEEESCC
2010
IEEE
13 years 9 months ago
A Model for Visual Specification of E-contracts
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
Enrique Martinez, Gregorio Díaz, Marí...