There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses Design-by-Contract, under realistic game development con...

This position paper presents the author’s personal and unratified views on the Resource/Events/Agents model (REA) along with suggested directions of further research with an emphasis on formal methods. The three main suggestions for REA are: (1) to establish a formal foundation, (2) to design a contract/process language, and (3) to design a report language.

Today’s business climate requires business processes to meet many compliance regulations, such as Sarbanes-Oxley (SOX) and to adhere to business partner contracts. In this paper, we report a comparative analysis between Linear Temporal Logic and Formal Contract logical languages, which have been successfully utilized in the literature as the formal basis of compliance requirements to enable the...

Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfillment. The present work shows how to obtain a run-time monitor for contracts written in CL, a formal specification language which allows to write conditional obligations, permissions and prohibitions over actions. Th...

The aim of this research is to provide insights into the interplay between contractual and relational governance in IT outsourcing arrangements. Current IT outsourcing literature has predominantly viewed the contract as a governance mechanism that establishes a framework for the supplier-client relationship, monitors behaviours and measures performance. Our study departs from this high level vi...

One of the major issues in IT outsourcing is the management of the client-vendor relationship. Researchers have suggested the use of both formal processes such as contract negotiations and bidding and to informal processes such as relationship management to reduce vendor opportunistic behaviors. This paper explores psychological beliefs about mutual obligations in outsourcing relationships thro...

The emerging B2B technologies allow for more automated management of e-contracts including contract drafting, negotiation and monitoring. As technology infrastructure becomes available for electronic exchange of contracts and contract-related messages, the IT community is becoming more interested in modeling of contracts as governance structures for many interorganisational interactions. This p...

While most studies looking at the consequences of tenurial insecurity on land markets in developing countries focus on the effects of tenurial insecurity on the investment behavior of landowners, this paper studies the hitherto unexplored relationship between tenurial insecurity and contract choice in land tenancy. Based on a distinct feature of the interaction between formal law and customary ...

Abstract Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions , which are constraints that designer component puts on environments in can be used safely, and guarantees promises asks from team implements component. theory contracts formalized as an interface supports composition refine...