Sciweavers

119 search results - page 4 / 24
» A Value-Based Foundation for Service Modelling
Sort
View
175
Voted
COORDINATION
2006
Springer
15 years 10 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...
176
Voted
JOT
2008
123views more  JOT 2008»
15 years 6 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
167
Voted
CBSE
2007
Springer
16 years 17 days 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
160
Voted
ISAS
2005
Springer
15 years 12 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
174
Voted
APWEB
2007
Springer
16 years 17 days 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