3 search results - page 1 / 1 » Choreography Conformance Checking: An Approach based on BPEL... |
DAGSTUHL
2006
13 years 6 months ago
2006
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
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...
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...