The modeling and automation of e-contracts is an active research area that aims at providing a valid support to organizations for the definition and management of contractual relations. The approach adopted in this paper allows the modelling and monitoring of contracts specified in terms of RSF (Requirement Specification Formalism) rules. Starting from the planning of events relied to contract clauses established during the negotiation phase, we define a set of RSF rules that can be used as patterns for the monitoring of both: contract fulfillments and contract violations with respect to obligations, permissions and prohi- bitions. We also extend the semantics of the RSF language in order to allow the treatment of planned events, together with occurred and not occurred events, in a single transition rule. This enriched semantics sup- ports the proactive behaviour of a contract management system enabling the immediate notification of fulfillments and non-compliances as well as the detection of imminent contract violations.

Proactive Contract Management through RSF Specification

AIELLO, Rossella;NOTA, Giancarlo
2007-01-01

Abstract

The modeling and automation of e-contracts is an active research area that aims at providing a valid support to organizations for the definition and management of contractual relations. The approach adopted in this paper allows the modelling and monitoring of contracts specified in terms of RSF (Requirement Specification Formalism) rules. Starting from the planning of events relied to contract clauses established during the negotiation phase, we define a set of RSF rules that can be used as patterns for the monitoring of both: contract fulfillments and contract violations with respect to obligations, permissions and prohi- bitions. We also extend the semantics of the RSF language in order to allow the treatment of planned events, together with occurred and not occurred events, in a single transition rule. This enriched semantics sup- ports the proactive behaviour of a contract management system enabling the immediate notification of fulfillments and non-compliances as well as the detection of imminent contract violations.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11386/3120015
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact