Run-time monitoring and enforcement of electronic contracts

Electronic Commerce Research and Applications

Volumn 3, Issue 2, 2004, Pages 108-125

  Molina Jimenez, Carlos ^a   Shrivastava, Santosh ^a   Solaiman, Ellis ^a   Warne, John ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Contract; Contract enforcement; Contract representation; Correctness requirements; Electronic contract; Finite state machine; Model checking; Validation

Indexed keywords

COMPUTER PROGRAMMING; CONTRACTS; FINITE AUTOMATA; MONITORING;

CONTRACT REPRESENTATION; ELECTRONIC CONTRACTS; FINITE STATE MACHINES (FSM);

ELECTRONIC COMMERCE;

EID: 2342458377     PISSN: 15674223     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.elerap.2004.02.003     Document Type: Conference Paper

References (17)

1. Paul Halsall, Ancient History Sourcebook: A Collection of Contracts from Mesopotamia, 2300-428 BCE. Available from: http://www.fordham.edu/halsall/ ancient/mesopotamia-contracts.html, March, 1999.
2. Carlos Molina-Jimenez, Santosh Shrivastava, Ellis Solaiman, John Warne, Contract representation for run-time monitoring and enforcement, in: Proceedings of the IEEE International Conference on E-Commerce (CEC-2003), Newport Beach, CA, June, 2003.
3. Ferraiolo David F., Sandhu Ravi, Gavrila Serban, Richard Kuhn D., Chandramouli Ramaswamy Proposed NIST standard for role-based access control. ACM Transactions on Information and Systems Security. 4(3):2001.
4. Holzmann Gerard J. The model checker spin. IEEE Transactions on Software Engineering. 23(5):1997.
5. Ellis Solaiman, Carlos Molina-Jimenez, Santosh Shrivastava, Model checking correctness properties of electronic contracts, in: International Conference on Service Oriented Computing (ICSOC03), Trento, Italy, December, 2003.
6. Andrew Goodchild, Charles Herring, Zoran Milosevic, Business contracts for B2B, in: Proceedings of the CAISE*00 Workshop on Infrastructure for Dynamic Business-to-Business Service Outsourcing, Stockholm, June 5-6, 2000.
7. N. Cook, S.K. Shrivastava, S.M. Wheater, Distributed object middleware to support dependable information sharing between organisations, in: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN-2002), Bethesda, USA, June, 2002.
8. S.M. Wheater, S.K. Shrivastava, F. Ranno, A CORBA compliant transactional workflow system for Internet applications, in: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Middleware 98, Springer, London, 1998.
9. Olivera Marjanovic, Zoran Milosevic, Towards formal modeling of e-contracts, in: Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), September 4-7, 2001, Seattle, WA, USA, IEEE Computer.
10. Z. Milosevic, R.G. Dromey, On expressing and monitoring behaviour in contracts, in: Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC2000), Lausanne, Switzerland, September 17-20, 2002.
11. A.S. Abrahams, D.M. Eyers, J.M. Bacon, Mechanical consistency analysis for business contracts and policies, in: Proceedings of the 5th International Conference on Electronic Commerce Research (ICECR5), Montreal, Canada, October 23-27, 2002, Society 2001.
12. E. Lupu, M Sloman, N. Dulay, N. Damianou, Ponder: realising enterprise viewpoint concepts, in: Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC2000), Makuhari, Japan, September 25-28, 2000.
13. Web Service Conversation Language (WSCL) 1.0. Available from: 〈http://www.w3.org/TR/wscl10/〉.
14. Rosettanet implementation framework: core specification, V2, January 2000. Available from: 〈http://rosettanet.org〉.
15. Naftaly H. Minsky, Victoria Ungureanu, Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM TOSEM (3) (2000) 273-305.
16. Victoria Ungureanu, Naftaly H. Minsky, Establishing business rules for inter-enterprise electronic commerce, in: International Symposium on Distributed Computing (DISC) Workshop on Distributed Algorithms (WDAG), Toledo, Spain, October 4-6, 2000.
17. Naftaly H. Minsky, Victoria Ungureanu, Scalable regulation of inter-enterprise electronic commerce, in: Proceedings of the Second Ineternational Workshop, WELCOM 2001 Heidelberg, Germany, November 2001, Lecture Notes in Computer Science, vol. 2232, Springer, Berlin.