Learn More
It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This paper(More)
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be(More)
In this paper we investigate those aspects of electronic commerce which can be used to facilitate inter-organisational business dealings. The Internet has substantially promoted different aspects of electronic commerce such as electronic ordering and shopping: electronic malls are increasingly becoming part of the modern information society. However, the(More)
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant advances in automating contract negotiations. To meet the needs of automation, such negotiations must follow explicitly specified message-exchange protocols. But to meet the needs(More)
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(More)
This paper focuses on the problem of incorporating new economic-driven aspects of future communication and computing environments into the enterprise specification and Quality of Service (QoS) analysis of Open Distributed Processing (ODP) systems. Openness means more than pure technical issues (e.g interworking, portability etc.). Rather, it means an open(More)
Modern hospital environments represent complex, distributed, and cross-organisational enterprises with a variety of complex and distributed systems applications. They include a multitude of resources at different places, they have to accommodate real-time requirements, and they have to support rather complicated and, in many cases, unforeseeable business(More)