2243 search results - page 5 / 449 » Contracts for Mobile Processes |
WWW
2003
ACM
14 years 8 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
BPM
2005
Springer
13 years 9 months ago
2005
Springer
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We de...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
HICSS
2002
IEEE
14 years 10 days ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...