Sciweavers

331 search results - page 6 / 67
» The Web Service Modeling Framework WSMF
Sort
View
CSAC
2006
13 years 9 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
ITCC
2005
IEEE
14 years 1 months ago
An Analysis of Notification Related Specifications for Web/Grid Applications
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...
Shrideep Pallickara, Geoffrey Fox
WWW
2008
ACM
14 years 8 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
IEEESCC
2005
IEEE
14 years 1 months ago
AWS-Net Traveler: Autonomic Web Services Framework for Autonomic Business Processes
Today’s information technologies, such as autonomic computing, offer companies new ways to do businesses. Those that fail to embrace and use such advantages in the next years ar...
Hillary Caituiro-Monge, Manuel Rodriguez-Martinez
WETICE
2005
IEEE
14 years 1 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...