Project co-funded by the European Commission within the Seventh Framework Programme (2010-2012) Dissemination Level PU Public PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential, only for members of the consortium (including the Commission Services) This documen...

We investigate the problem of locally monitoring contract regulated behaviours agent-based in web services. We encode contract clauses in service specifications by using extended timed automata. We propose a non intrusive local monitoring framework along with an API to monitor the fulfilment (or violation) of contractual obligations. We illustrate our methodology by monitoring a service composi...

Static constraints represent the contractual responsibilities and obligations of methods in Eif-fel classes. Dynamic constraints are considered in the analysis and design level of system development. This paper attempts to show that some classes of problems would beneet from the explicit use of dynamic constraints in the programming phase as well. It shows how the separation and layering of sta...

In social mechanism design, norm negotiation creates individual or contractual obligations fulfilling goals of the agents. The social delegation cycle distinguishes among social goal negotiation, obligation and sanction negotiation and norm acceptance. Power may affect norm negotiation in various ways, and we therefore introduce a new formalization of the social delegation cycle based on power ...

The question arising in the legal literature about nature of culpa contrahendo has no unambiguous interpre-tation. Such different approaches to its definition as contractual, quasi-contractual or tort liability are due degree development concept systems European states. Civil Code Republic Belarus prescribes certain provisions on pre–contractual context law obligations, and consequences associa...

In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group planning is that also the sanction of the collective obligation has to be distributed, for example by creating sanctions for the individual or contractual obligations. In this paper we address fairness in obligation distributio...