Devising a conflict detection method for multi-party contracts

The notion of contracts play an important role since the beginning of humankind. Technological advances and the globalization have increased the use of contracts in electronic transactions. Therefore, verification of contracts has become extremely important to guarantee properties and agreements. Some formalisms are used as the basis to represent electronic contracts such as deontic and dynamic logics. Formal models and computational support allow to attain more precise results on checking electronic contracts. This work proposes an approach to represent appropriately multi-party contracts by means of suitable formalisms and also to automatically verify properties in contracts of this nature.