e-Business Track On tau-, µ-, pi-, and epsilon-Contracting
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Knowledge representation concepts for automated SLA management
Decision Support Systems
Towards a Formalisation of Electronic Contracting Environments
Coordination, Organizations, Institutions and Norms in Agent Systems IV
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
Automated negotiation based on contract net and petri net
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.00 |
This paper concentrates on the representation of legal relations that occur between parties once they have entered a contractual agreement and their evolution as the agreement progresses through time. Contracts are regarded as processes and they are analysed in terms of the obligations that are active at various points during their life span. An informal notation is introduced that summarizes conveniently the states of an agreement as it evolves over time. Such a representation enables us to determine what the status of an agreement is, given an event or sequence of events that concern the performance of actions by the agents involved. This is useful both in the context of contract drafting (where parties might wish to preview how their agreement might evolve) and in the context of contract performance monitoring (where parties might with to establish what their legal positions are once their agreement is in force). The discussion is based on an example that illustrates some typical patterns of contractual obligations.