Contract Definition
by
Osama Sammodi
—
last modified
Apr 26, 2012 11:38
—
filed under:
KnowledgeModel
Definitions
Term: Contract Definition |
Domain: Cross-cutting issues | ||||
---|---|---|---|---|---|
Engineering and Design (KM-ED) |
Adaptation and Monitoring (KM-AM) |
Quality Definition, Negotiation and
Assurance (KM-QA) |
Generic (domain independent) |
||
D o m a i n : L a y e r s |
Business Process Management (KM-BPM) |
||||
Service Composition and
Coordination (KM-SC) |
|||||
Service Infrastructure (KM-SI) |
|||||
Generic (domain independent) |
The contract definition activity concerns the establishment of a model
for the definition of contract terms, understood and shared by the
contracting parties. This is usually achieved through the definition of
a contract template, which is then instantiated in an actual contract
that reflects the domain dependent interests of providers and customers
[Comuzzi & Pernici, 2008] {SYN: Contract Description} {ETC: Service Level
Agreement (SLA)}. In services architecture, one main flavor of
contract between parties is the failure handling, i.e while a
participant fails to fulfil its contracted promise. In this case a
prompt deviation (forcast or not) has to be decided by the parties. At
the service infrastructure level, one must handle fault tolerance, at
the service composition one must handle transactional behaviours and at
the level of Business Process Management one must handle
contrary-to-duty and adaptation. An underpinning formalism for contrary
to duty is deontic logic, or preferences logic. [Marek,Sergot 96]
,[Schneider 2009], |
Competencies
N/A
References
- [Comuzzi & Pernici, 2008] Comuzzi, M., & Pernici, B. (2008). A Framework for QoS-Based Web service Contracting. ACM Transactions on the Web, 3(3).
- [Marek,Sergot 96] Henry Prakken, Marek J. Sergot: Contrary-to-Duty Obligations. Studia Logica 57(1): 91-115 (1996)
- [Schneider 2009] Cristian Prisacariu, Gerardo Schneider: Abstract specification of legal contracts. ICAIL 2009: 218-219