This paper extends our previous research on e-contracts by investigating the problem of deriving business process specifications from business contracts. The aim here is to reduce the risk of behaviour leading to contract violations by encouraging the parties to a contract to follow execution paths that satisfy the policies in the contract. Our current contract monitoring prototype provides run...

We investigate the problem of locally monitoring contract regulated behaviours agent-based in web services. We encode contract clauses in service specifications by using extended timed automata. We propose a non intrusive local monitoring framework along with an API to monitor the fulfilment (or violation) of contractual obligations. We illustrate our methodology by monitoring a service composi...

Choreography conformance and contract compliance have been widely studied in the context of synchronous communication. In this paper we approach a more realistic scenario in which the messages containing the invocations are queued in the called service. More precisely, we study the foundational aspects of contract compliance in a language independent way by just taking contracts to be finite la...

Contract Number: IST-045148 Workpackage: WP 1 Workpackage Title: User requirements specifications Original description of Deliverable: Description of every-day events and activities where daylight and artificial light play a major role including the corresponding psychophysiological effects on individuals (see

This paper describes the trends of Web service technologies that support ‘Dynamic Collaboration.’ For the realization of collaboration in business, five important features are shown: (1) connectivity and interoperability, (2) security and safety, (3) robustness and reliability, (4) dynamism, and (5) contract. There are various specifications proposed on Web services and ebXML, which is a comple...

We present and evaluate an approach for the run-time conformance checking of Java classes against property-driven algebraic specifications. Our proposal consists in determining, at run-time, whether the classes subject to analysis behave as required by the specification. The key idea is to reduce the conformance checking problem to the runtime monitoring of contract-annotated classes, a process...

A contract splits the responsibilities between a component and its environment into a guarantee that expresses an intended property under the responsibility of the component, given that the environment fulfills the assumptions. Although current contract theories are limited to express contracts over interfaces of components, specifications that are not limited to interfaces are used in practice...

For distributed object or component systems based on CORBA or DCOM, a suitable software architecture and a strong separation of modules is necessary. Current visual notations have several drawbacks: concurrency support is very limited and they fail to integrate the external state based view of objects when aspects of data and control flow are specified. Hence, they are not sufficient to support...

Behavioral specifications in interface contracts are important measures for improving quality of software components. Binary components of different language origins need a common understanding of behavioral contracts to work effectively in component-based systems. We propose a system by which behavioral specifications in the spirit of Design by Contract can accompany binary components and be a...

A methodology for modeling temporal (timesensitive) aspects of discrete-event systems is presented. A formalism of temporal logic which incorporates both point and interval descriptions of time is formulated, which is an extension of Allen’s interval logic [1]. A formal axiomatic system of this point-interval logic is presented. A graph model is shown to implement the axiomatic system of point-...