5904 search results - page 124 / 1181 » Requirements for a Composition Language |
201
click to vote
TSMC
2010
14 years 10 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 ...
157
click to vote
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
108
Voted
MPC
1992
Springer
15 years 7 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
128
Voted
AIPS
2006
15 years 4 months ago
2006
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
136
click to vote
DASFAA
2007
IEEE
15 years 9 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...