Sciweavers

4326 search results - page 6 / 866
» A Model for Process Service Interaction
Sort
View
ICWS
2008
IEEE
14 years 11 months ago
Communications Semantics for WSBPEL Processes
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
Walid Fdhila, Mohsen Rouached, Claude Godart
WSFM
2007
Springer
15 years 3 months ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...
CSCWD
2008
Springer
14 years 11 months ago
Sharing of CAD assembly model data using parallel Web Services
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...
Byungchul Kim, Soonhung Han
SOFSEM
2009
Springer
15 years 6 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
72
Voted
ECOWS
2007
Springer
15 years 3 months ago
Structural Matching of BPEL Processes
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
Rik Eshuis, Paul W. P. J. Grefen