Sciweavers

119 search results - page 4 / 24
» A Value-Based Foundation for Service Modelling
Sort
View
COORDINATION
2006
Springer
15 years 1 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
78
Voted
JOT
2008
123views more  JOT 2008»
14 years 9 months ago
An MOF2-based Services Metamodel
As Service-Oriented Computing is gaining mainstream adoption, Services are emerging as core-building blocks of today's applications. In particular, web services have become t...
Harshavardhan Jegadeesan, Sundar Balasubramaniam
CBSE
2007
Springer
15 years 3 months ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton
ISAS
2005
Springer
15 years 3 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
85
Voted
APWEB
2007
Springer
15 years 3 months ago
SOA-Based Collaborative Modeling Method for Cross-Organizational Business Process Integration
Abstract. Business process modeling is a key technology for crossorganizational business process integration. However, current modeling methods always fall short in describing comp...
Hongjun Sun, Shuangxi Huang, Yushun Fan