A rule-based notation to specify executable electronic contracts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5321 LNCS, Issue , 2008, Pages 81-88

  Strano, Massimo ^a   Molina Jimenez, Carlos ^a   Shrivastava, Santosh ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

BUSINESS INTERACTIONS; BUSINESS TO BUSINESS; ELECTRONIC CONTRACT; RULE BASED;

ELECTRONICS INDUSTRY;

EID: 57349144490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88808-6_11     Document Type: Conference Paper

References (8)

1. Strano, M., Molina-Jimenez, C., Shrivastava, S.: A rule-based notation to specify executable electronic contracts. Technical Report, School of Computing Science, Newcastle University (2008)
2. Molina-Jimenez, C. Shrivastava, S., Warne, J.: A method for specifying contract mediated interactions. In: Proc. of 9th IEEE Int'l Enterprise Distributed Object Computing Conference (EDOC 2005), pp. 106-115 (2005)
3. RosettaNet: Implementation framework - core specification, http://www.rosettanet.org/
4. ebXML: Business Process Spec. Schema Tech. Spec. v2.0.4 (2006), http://docs.oasis-open.org/ebxml-bp/2.0.4/OS/spec/ebxmlbp-v2.0.4-Spec-os-en.pdf
5. Molina-Jimenez, C., Shrivastava, S., Cook, N.: Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. In: 11th IEEE Int'l Enterprise Distrib. Object Computing Conf. (EDOC 2007) (2007)
6. Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193-215 (2006)
7. Strano, M., Molina-Jimenez, C. Shrivastava, S.: A model for checking contractual compliance of business operations. Technical Report N. 1094. School of Computing Science, Newcastle University (2008)
8. JBoss: Drools, http://www.jboss.org/drools/