The paper develops a logical understanding of processes for signature legal contracts, motivated by applications to recognition smart contracts on blockchain platforms. A number axioms and rules inference are developed that can be used justify ``meeting the minds'' precondition contract formation from fact certain content has been signed. In addition an ``offer acceptance'' process, considers `...

finally a specific act regarding contracts of the sale of future building ratified in iran, in 89/5/24. this act necessitated getting license for announcement of sale of future, advertisement, ending the construction of the building foundation at the time of the contract, formal contract, specifying the fines for the delay in carrying out the commitments of transferring the gradual possession t...

A smart contract is a computer program that allows users to automate their actions on the blockchain platform. Given significance of contracts in supporting important activities across industry sectors including supply chain, finance, legal, and medical services, there strong demand for verification validation techniques. Yet, vast majority lack any kind formal specification, which essential es...

In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the implementation of conversations for the Contract Net Protocol.

Safety Assessment (SA) is an engineering discipline aiming at the analysis of systems under faults. According to industrial practice and standards, SA is based on the construction of complex artifacts such as Fault Trees, which describe how certain faults may cause some top-level events. SA is intended to mirror the hierarchical design of the system focusing on the safety aspects. In this paper...

In this paper, we present an approach to the object-oriented software development which is based on: i) automatic generation of a throwaway prototype from the initial specification in a formal, declarative, object-oriented specification language, ii) validation of user requirements and refinement of the specification by using this prototype, and iii) automatic translation from the validated spe...