A Formal Analysis of a Business Contract Language

@article{Governatori2006AFA,
  title={A Formal Analysis of a Business Contract Language},
  author={Guido Governatori and Zoran Milosevic},
  journal={Int. J. Cooperative Inf. Syst.},
  year={2006},
  volume={15},
  pages={659-685}
}
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language, called Business Contract Language (BCL), previously developed to… CONTINUE READING
Highly Cited
This paper has 118 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 53 extracted citations

Aligning Service Level Agreements with Service-Oriented Enterprise Architecture

2017 IEEE 21st International Enterprise Distributed Object Computing Workshop (EDOCW) • 2017
View 4 Excerpts
Highly Influenced

A trace-based model for multiparty contracts

J. Log. Algebr. Program. • 2012
View 6 Excerpts
Highly Influenced

From an Ontology of Service Contracts to Contract Modeling in Enterprise Architecture

2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC) • 2017
View 2 Excerpts

119 Citations

01020'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 119 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Extending choreography with business contract constraints

Int. J. Cooperative Inf. Syst. • 2005
View 4 Excerpts
Highly Influenced

Deontic logic and contrary to duties

José Carmo, Andrew J.I. Jones
In D.M. Gab May • 2006
View 3 Excerpts

Representing business contracts in RuleML

Int. J. Cooperative Inf. Syst. • 2005

formalism and domain specific language

Guido Governatori, Zoran Milosevic. Dealing with contract violations
In 9th International Enterprise Distributed Object Computing Conference • 2005

On design and implementation of a contract monitoring facility

Proceedings. First IEEE International Workshop on Electronic Contracting, 2004. • 2004