Automating support for e-business contracts

International Journal of Cooperative Information Systems

Volumn 14, Issue 2-3, 2005, Pages 77-98

  Linington, Peter F ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Contracts; Model driven development; Monitoring

Indexed keywords

AUTOMATION; CONTRACTS; INFORMATION TECHNOLOGY; LAWS AND LEGISLATION; MONITORING; SOCIETIES AND INSTITUTIONS;

BUSINESS PROCESSES; HUMAN INTERVENTION; MODEL-DRIVEN DEVELOPMENT; TRANSFORMATIONAL PATHWAYS;

ELECTRONIC COMMERCE;

EID: 21144448602     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843005001122     Document Type: Article

References (27)

1. J. Bézivin, V. Devedzic, D. Djuric, J. M. Favreau, D. Gasevic and F. Jouault, An M3-neutral infrastructure for bridging model engineering and ontology engineering, in Proc. Interop-ESA, Geneva (February 2005).
2. K. Duddy, M. Lawley and Z. Milosevic, Elemental and pegamento: The final cut - Applying the MDA pattern, in Proc. 8th International Conference on Enterprise Distributed Object Computing (EDOC'04), Monterey, CA, USA (September 2004).
3. D. Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing (John Wiley, November 2002).
4. A. Hartman, K. Nagin and S. Olvovsky, Model driven testing and MDA, in Proceedings of Workshop on Model Driven Development (WMDD2004) in ECOOP 2004, Oslo, Norway (June 2004).
5. C. A. R. Hoare, Communicating Sequential Processes (Prentice-Hall, 1985).
6. ISO/IEC IS 8807, Information processing systems - Open systems interconnection - LOTOS: A formal description technique based on the temporal ordering of observational behaviour (1989).
7. ISO/IEC IS 10746, Information technology - Open distributed processing - Reference model - Parts 1-4 (1996).
8. ISO/IEC IS 15414, Open distributed processing - Enterprise language (2002).
9. Java Message Service 1.1, Sun Microsystems (April 2002).
10. R. Lee, A logic model for electronic contracting, Decision Support Systems 4 (1988).
11. P. F. Linington, A policy-based model-driven security framework, Middleware2003 Companion, Workshop Proceedings, 1st International Workshop on Model-Driven Approaches to Middleware Applications Development, Rio de Janerio (June 2003).
12. P. F. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni and S. Neal, A unified behavioural model and a contract for extended enterprise, Data Knowledge and Engineering Journal 51 (October 2004) 5-29.
13. P. F. Linington and S. Neal, Using policies in the checking of business-to-business contracts, Policy 2003 Workshop.
14. C. Molina-Jimenez, S. Shrivastava, E. Solaiman and J. Warne, Run-time monitoring and enforcement of electronic contracts, Electronic Commerce Research and Applications 3(2) (Elsevier B.V., 2004) 108-125.
15. Z. Milosevic, Enterprise aspects of open distributed systems, PhD thesis, Computer Science Department, The University of Queensland (October 1995).
16. S. Neal, A language for the dynamic verification of design patterns in distributed computing, PhD thesis, University of Kent (2001).
17. S. Neal, J. Cole, P. F. Linington, Z. Milosevic, S. Gibson and S. Kulkarni, Identifying requirements for business contract language: A monitoring perspective, in Proc. 7th International Enterprise Distributed Object Computing Conference, Brisbane, Australia (September 2003).
18. S. Neal and P. F. Linington, Tool support for development using patterns, in Proc. 5th International Enterprise Distributed Object Computing Conference, Seattle, USA (September 2001).
19. OMG MDA Guide Version 1.0.1, omg/2003-06-01 ed., The Object Management Group (OMG) (June 2003).
20. Service Level Agreement for the Operational Production Services Provided by UKERNA (July 2004), http://www.mu.jisc.ac.uk/slas/ukerna/2004-05/ ukernasla2004-05.pdf.
21. J. Skene and W. Emmerich, Generating a contract checker for an SLA language, in Proc. EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, CA (IEEE Computer Society Press, September 2004).
22. J. Skene, D. Lamanna and W. Emmerich, Precise service level agreements, in Proc. 26th Int. Conference on Software Engineering, Edinburgh, UK (IEEE Computer Society Press, 2004), pp. 179-188.
23. R. Soley et al., MDA, Model Driven Architecture (November 2000).
24. S. Tatte et al., Business process execution language for web service version 1.1, BEA Systems, IBM and Microsoft (May 2003).
25. T. Verdickt, B. Dhoedt, F. Gielen and P. Demeester, Incorporating SPE into MDA: Including middleware performance details into system models, 4th International Workshop on Software and Performance (WOSP 2004), Redwood City, CA, USA (January 2004).
26. T. Weis et al., A UML meta-model for contract aware components, in Proc. 4th International Conference on Unified Modeling Language (UML 2000), Lecture Notes in Computer Science, Vol. 2185 (Springer-Verlag, 2001).
27. S. A. White et al., Business process modeling notation, BPMI.org (August 2003).