12 search results - page 1 / 3 » Verifying web services composition based on hierarchical col... |
IHIS
2005
ACM
13 years 10 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
TSMC
2010
12 years 11 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
JISE
2008
13 years 4 months ago
2008
PROCEDIA
2010
12 years 11 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
DASFAA
2007
IEEE
13 years 11 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...