Conformance Verification of Normative Specifications using C-O Diagrams

C-O Diagrams have been introduced as a means to have a visual representation of normative texts and electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as what are the penalties in case of not fulfillment of their obligations and prohibitions. In such diagrams we are also able to represent absolute and relative timing constrains. In this paper we consider a formal semantics for C-O Diagrams based on a network of timed automata and we present several relations to check the consistency of a contract in terms of realizability, to analyze whether an implementation satisfies the requirements defined on its contract, and to compare several implementations using the executed permissions as criteria.Comment: In Proceedings FLACOS 2012, arXiv:1209.169

Toward an Ontology of Commercial Exchange

In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe will improve the representation of contractual obligations, sales processes, and their associated documents. A commercial exchange, for instance, involves mutual agreement to reciprocate actions, such as transferring money, performing a service, or transferring goods

Contracts, relationships and innovation in business-to-business exchanges

Purpose: – This paper aims to contrast two approaches to the study of contracts in business and industrial marketing: first, as a legal document in shaping at the outset exchanges and interactions, for instance in projects; and second, as relational norms in becoming integrated into a business relationship through interactions, for instance as a resource. Design/methodology/approach: – The paper draws on cross-case comparison of three projects, as actors develop an engineering service for optimizing the maintenance of large-scale capital equipment by analyzing real-time data from sensors and user records. Comparison is by coding interview and observational data as micro-sequences of interactions among actors. Findings: – Preparing contracts allows a project to commence and is an early form of interaction, intensifying new relationships or cutting into and recasting established ones. Relational norms augment and can supersede the early focus on the contract, thus incorporating incremental innovation and absorbing some uncertainties. Research limitations/implications: – The research approach benefits from detailed comparison and captures some variety across its three cases, but the discussion is limited to theoretical generalization. Practical implications: – The analysis and discussion highlights and focuses on when different approaches to understanding contracting are more apparent across durable business relationships. Transitions from a contractual document to a view of relational norms are subtle, vulnerable and not always made successfully. Originality/value: – This paper’s originality is in it comparison of overlapping approaches to understanding businesses’ uses of contacts in business and industrial marketing, of contract and relational norms. It develops a valuable research proposition, in the transition from a mainly contractual to a mainly relational uses of contracts, thus identifying contract as a particular business resource, to be deployed and embedded

Contract-based Data-Driven Decision Making in Federated Data Ecosystems

Data-driven economies on the World Wide Web are based on coordination mechanisms for exhange and AI-based processing data assets provided by independent actors. Architectures for data-driven economies currently focus on the exchange of data assets and leave processing of data assets to background mechanisms. Without binding obligations, data sharing situations favor "no data sharing" as dominant strategy between agents. We present a broker framework that supports contract-based sharing, trading and processing of data assets between actors under 'lack-of-trust' conditions. Electronic contracts guarantee ownership and control of data assets, execution of defined data analytical tasks based on AI models and sharing of results according to contractual promises. A technical architecture (TUCANA) is presented that realizes a federated data economic ecosystem including the broker framework. We present an application based on an implementation of TUCANA