This dissertation encompasses the topics contract formalisation, domainspecific languages implementation, and enterprise resource planning systems. The dissertation is a collection of six independent chapters, two of which are published papers, two of which are extended versions of published papers, and two of which are unpublished manuscripts. Our contributions to the field of contract formali...

A Web-based multi purpose contractual management system can provide support to contractual process workflows for different types of contractual process of unilateral, bilateral or multilateral contracts. These processes can be done on-line i.e. Web-based without the need for all actors to be synchronously present with respect to both time and space. Different contractual processes of initializa...

The Costa Rican Social Security Fund (CCSS) has been purchasing primary health care services from the Costa Rican Cooperative, COOPESALUD. The CCSS has made significant progress in establishing performance indicators and conducting evaluations of progress against those indicators. After laying out a general framework for developing performance indicators, this paper analyzes the CCSS's evaluati...

This study aims to determine the category of agreement on confidentiality Trade Secret Information in perspective contract law, Good Faith Criteria, and Legal Consequences for Disclosure Secrets Confidentiality Agreement. Study results: (1). The based its arrangement includes an anonymous (not regulated Civil Code); according method preparation including standard agreements (determined unilater...

in spite of different ideas of islamic jurists, in iranian law, in article 184 of civil law, the suspended contract has been accepted and only exceptionally, this contract is null. in the french law and some of the islamic countries, there are two kinds or suspensions: suspension of formation of contract and suspension of dissolution of contract. in the civil law of these countries, the event t...

In this paper, we use formal specification techniques to provide precompiled and provably correct domain-specific knowledge to autonomous agents. This allows for verifying agent interactions in the environment. In particular, we show that negotiating agents can resolve mutually incompatible local preferences and settle for an acceptable compromise by reasoning with formally specified default an...

Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the main concepts it is based upon. In this context formal methods can contribute by allowing for the development of properties verification and basic languages for supporting system design. In this paper we propose SOCK, a three-layered calculus equipped with a formal sem...