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 ...

This paper describes the Contract Expression Language (CEL), currently being developed at the industry consortium Content Reference Forum. The CEL is an XMLbased language designed to express contractual agreements between different parties for the purposes of capturing and communicating contractual information, and facilitating contract execution and enforcement by machines with respect to gran...

Real-world business relationships have an essentially cooperative nature. However, when modeling contractual norms using normative multi-agent systems, it is typical to give norms a strict and domain independent semantics. We argue that in B2B contract enactment cooperation should be taken into account when modeling contractual commitments through obligations. We introduce an approach to model ...

in business format franchising agreements, franchisee, while dependent to other party of the contract (franchisor), follows the method of business belonging to franchisor. franchisee use of the system leads to many obligations such as payment of franchise fees, secrecy of know how, non competition and making available all necessary factors to use the system. irrespective of the law which govern...

This paper explores verification of constituent systems within the context of the Symphony tool platform for Systems of Systems (SoS). Our SoS modelling language, CML, supports various contractual specification elements, such as state invariants and operation preconditions, which can be used to specify contractual obligations on the constituent systems of a SoS. To support verification of these...

На основе системного анализа правовых норм, устанавливающих режим деятельности самозанятых физических лиц, с учетом субъектного критерия исследованы договорные обязательства участием не обладающих статусом индивидуальных предпринимателей: гражданами-потребителями, субъектами предпринимательской деятельности, отдельными видами юридических лиц (в публичных и корпоративных закупках). Показано, что...

Liberalized electricity markets often include resource adequacy mechanisms that require consumers to contract with generation resources well in advance of real-time operations. While administratively defined have most commonly taken the form a capacity obligation, efficient would feature broad array arrangements adapted risk profiles and appetites market participants. This article considers how...