This paper compares two separately developed systems for monitoring activities related to business contracts, describes how we integrated them and exploits the lessons learned from this process to identify a core set of requirements for a Business Contract Language (BCL). Concepts in BCL needed for contract monitoring include: the expression of coordinated concurrent actions; obliged, permitted and prohibited actions; rich timeliness expressions such as sliding windows; delegations; policy violations; contract termination/renewal conditions and reference to external data/events such as change in interest rates. The aim of BCL is to provide sufficient expressive power to describe contracts, including conditions which specify real-time proces...
This paper presents an approach for translating legalese expression of business contracts into candi...
This paper addresses the problem of ensuring compliance of business processes, implemented within an...
AbstractContracts are a proven tool in software development. They provide specifications for operati...
This paper presents a formal system for reasoning about violations of obligations in con-tracts. The...
This paper presents a formal system for reasoning about violations of obligations in contracts. The ...
This paper presents a formal system for reasoning about violations of obligations in contracts. The ...
This paper presents a formal system for reasoning about violations of obligations in contracts. The ...
We continue the study, started in [5], on the formal relationships between a domain specific contrac...
In this paper we present a solution to the problem of designing and implementing a contract monitori...
Electronic contracts are the instrument to govern electronic trading relationships between business ...
In this paper we present a solution to the problem of designing and implementing a contract monitori...
Abstract. This paper extends our previous research on e-contracts by investi-gating the problem of d...
The mechanization of business-to-business contract enforcement requires a clear architecture and a c...
This paper presents an approach for translating legalese expression of business contracts into candi...
Business contracts play a central role in governing commercial interactions between organizations. I...
This paper presents an approach for translating legalese expression of business contracts into candi...
This paper addresses the problem of ensuring compliance of business processes, implemented within an...
AbstractContracts are a proven tool in software development. They provide specifications for operati...
This paper presents a formal system for reasoning about violations of obligations in con-tracts. The...
This paper presents a formal system for reasoning about violations of obligations in contracts. The ...
This paper presents a formal system for reasoning about violations of obligations in contracts. The ...
This paper presents a formal system for reasoning about violations of obligations in contracts. The ...
We continue the study, started in [5], on the formal relationships between a domain specific contrac...
In this paper we present a solution to the problem of designing and implementing a contract monitori...
Electronic contracts are the instrument to govern electronic trading relationships between business ...
In this paper we present a solution to the problem of designing and implementing a contract monitori...
Abstract. This paper extends our previous research on e-contracts by investi-gating the problem of d...
The mechanization of business-to-business contract enforcement requires a clear architecture and a c...
This paper presents an approach for translating legalese expression of business contracts into candi...
Business contracts play a central role in governing commercial interactions between organizations. I...
This paper presents an approach for translating legalese expression of business contracts into candi...
This paper addresses the problem of ensuring compliance of business processes, implemented within an...
AbstractContracts are a proven tool in software development. They provide specifications for operati...