Sciweavers

431 search results - page 1 / 87
» Choreographing Security and Performance Analysis for Web Ser...
Sort
View
EPEW
2005
Springer
13 years 9 months ago
Choreographing Security and Performance Analysis for Web Services
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
Stephen Gilmore, Valentin Haenel, Leïla Kloul...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
13 years 9 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
IJWET
2010
142views more  IJWET 2010»
13 years 2 months ago
Interaction protocol mediation in web service composition
: This article presents a mediation framework supporting the integration of web services in orchestrated and choreographed services and the conciliation of interaction protocol mis...
Liliana Ardissono, Roberto Furnari, Giovanna Petro...
AICT
2006
IEEE
210views Communications» more  AICT 2006»
13 years 10 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
GRID
2005
Springer
13 years 9 months ago
Web services and grid security vulnerabilities and threats analysis and model
The paper provides an overview of available web applications and Web Services security vulnerability models and proposes a classification of the potential Grid and Web Services at...
Yuri Demchenko, Leon Gommans, Cees T. A. M. de Laa...