This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution p...

the right to terminate and dissolution of administrative contracts is used because of two reasons: misconducts of contractors and maintaining the requisite of public interests. in the first, the causes of it have been noted explicitly in the article of 46 of the general terms of contracts. but about the second, it is necessary to note that the article of 48 of the general terms of contracts giv...

Awareness of employees’ attitudes has always been used as one of the important management tools in organizations. Because, employees’ attitudes can affect their behavior in the workplace. Therefore, it's important to understand what factors can affect it. In this regard, due to the increasing level of employees' maturity in many organizations and becoming knowledge-based, two factors of organiz...

The industrial and computing research context revolutionized in various directions during the last decades. blockchain-based smart contract embraced as a significant interest due to its distinguishing features such decentralized storage of transactions, autonomous execution codes, establishment trust. Blockchain-based contracts can transform working architecture almost all industries towards el...

One of the principles of Design by Contract is that contracts for software components must be written in a declarative way, using a formal, mathematically founded notation. When we apply the Design by Contract methodology in a naive and straightforward way, we risk ending up with unwanted duplication. In this paper, we describe a methodology for writing class contracts that avoids specification...

The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. The approach is based on the matching the requestor’s requirements for a ”useful” service against the service description offered by the provider. We focus on the checking behavioral compatibility between operation cont...