A Rule-Based Notation to Specify Executable Electronic Contracts

Strano, Massimo; Molina-Jiménez, Carlos; Shrivastava, Santosh K.

doi:10.1007/978-3-540-88808-6_11

Cited by 13 publications

(8 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The implementation of rule-based norm operationalisation has already been explored in previous research. Some approaches [13,15] directly define the operationalisation of the norms as rules of a specific language, not allowing enough abstraction to define norms at a high level to be operationalised in different rule engine specifications. [5] introduces a translation scheme, but it is bound to Jess by using specific constructs of this language and it does not support constitutive norms.…”

Section: Methodsmentioning

confidence: 99%

Normative Monitoring: Semantics and Implementation

Álvarez-Napagao

Aldewereld

Vázquez-Salceda

et al. 2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The concept of Normative Systems can be used in the scope of MultiAgent Systems to provide reliable contexts of interactions between agents where acceptable behaviour is specified in terms of norms. Literature on the topic is growing rapidly, and there is a considerable amount of theoretical frameworks for normative environments, some in the form of Electronic Institutions. Most of these approaches focus on regulative norms rather than on substantive norms, and lack a proper implementation of the ontological connection between brute events and institutional facts. In this paper we present a formalism for the monitoring of both regulative (deontic) and substantive (constitutive) norms based on Structural Operational Semantics, its reduction to Production Systems semantics and our current implementation compliant to these semantics.

show abstract

Section: Methodsmentioning

confidence: 99%

Normative Monitoring: Semantics and Implementation

Álvarez-Napagao

Aldewereld

Vázquez-Salceda

et al. 2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Specifically relating to business to business agreements and contracts, Strano [18] has built on previously mentioned work regarding electronically modelling business contracts [3]. More recent work provides a vocabulary for modelling contracts in terms of sets of events, obligations, rights and prohibitions.…”

Section: Related Workmentioning

confidence: 98%

Supporting accountable business to business document exchange in the cloud

Mortimer

Cook

2010

2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)

View full text Add to dashboard Cite

“…1. The actual rules are presented next, using the notation developed in [9]. We assume that they have been validated for consistency and that potential conflicts are solved by conventional prioritisation mechanisms.…”

Section: Examples Of Rules With Exception Resolutionmentioning

confidence: 99%

Exception Handling in Electronic Contracting

Molina-Jiménez

Shrivastava

Strano

2009

2009 IEEE Conference on Commerce and Enterprise Computing

Self Cite

View full text Add to dashboard Cite

In a contract, exceptional clauses specify sanctions that come in force when the primary obligations are not fulfilled. An important aspect of exception handling is their resolution: determining which particular exception clause should be enforced when a violation is detected. This paper presents a specification and resolution technique for electronic contracts that can be used by a third party exception resolution service.

show abstract

A Rule-Based Notation to Specify Executable Electronic Contracts

Cited by 13 publications

References 4 publications

Normative Monitoring: Semantics and Implementation

Normative Monitoring: Semantics and Implementation

Supporting accountable business to business document exchange in the cloud

Exception Handling in Electronic Contracting

Contact Info

Product

Resources

About