Sciweavers

137 search results - page 3 / 28
» Joint Modeling and Analysis Using XMSF Web Services
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
13 years 5 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
SFM
2009
Springer
14 years 12 days ago
Quantitative Analysis of Web Services Using SRMC
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
Allan Clark, Stephen Gilmore, Mirco Tribastone
WISE
2007
Springer
14 years 3 days ago
Using Ontology with Semantic Web Services to Support Modeling in Systems Biology
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
Zhouyang Sun, Anthony Finkelstein, Jonathan Ashmor...
CAISE
2008
Springer
13 years 7 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
CSAC
2006
13 years 7 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid