A unified behavioural model and a contract language for extended enterprise

Data and Knowledge Engineering

Volumn 51, Issue 1, 2004, Pages 5-29

  Linington, Peter F ^a   Milosevic, Zoran ^b   Cole, James ^b   Gibson, Simon ^b   Kulkarini, Sachin ^b   Neal, Stephen ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Contracts; Cooperative work; E commerce; Enterprise specification; Web applications XML

Indexed keywords

CONTRACTS; ELECTRONIC COMMERCE; FORMAL LANGUAGES; MATHEMATICAL MODELS; RESPONSE TIME (COMPUTER SYSTEMS); WORLD WIDE WEB; XML;

CONTRACT LANGUAGES; EXTENDED ENTERPRISES; WEB SERVICE DESCRIPTION LANGUAGES (WSDL); WEB SERVICE LEVEL ARRANGEMENTS (WSLA);

ENTERPRISE RESOURCE PLANNING;

EID: 4243078497     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2004.03.005     Document Type: Article

References (22)

1. Arbab F. The IWIM model for coordination of concurrent activities. Coordination Languages and Models. Lecture Notes in Computer Science. 1061:1996;Springer.
2. Business Process Execution Language for Web Services, 1.1, May 2003. Available from < http://www-106.ibm.com/developerworks/library/ws-bpel/ >.
3. J. Cole, J. Derrick, Z. Milosevic, K. Raymond, Author Obliged to Submit Paper before 4 July: Policies in an enterprise specification, in: Proceedings of Policy Workshop, Bristol, UK, January 2001.
4. IBM, Web Service Level Agreements (WSLA) project: SLA compliance monitoring for e-business on demand. Available from < http://www.research.ibm.com/wsla/ >.
5. ISO/IEC IS 10746-1, Open distributed processing reference model-part 1: overview, ISO 1995.
6. ISO/IEC IS 10746-2, Open distributed processing reference model-part 2: foundations, ISO 1995.
7. ISO/IEC IS 10746-3, Open distributed processing reference model-part 3: architecture, ISO 1995.
8. ISO/IEC IS 10746-4, Open distributed processing reference model-part 4: architectural semantics, ISO 1995.
9. ISO/IEC IS 15414, Open distributed processing - enterprise language, ISO 2002.
10. Holzbacher A.A. A software environment for concurrent coordinated programming. Coordination Languages and Models. Lecture Notes in Computer Science. 1061:1996;Springer.
11. Lee R. A logic model for electronic contracting. Decision Support Systems. 4:1988;27-44.
12. P.F. Linington, Z. Milosevic, K. Raymond, Policies in communities: extending the ODP enterprise viewpoint, in: Proceedings of 2nd International Workshop on Enterprise Distributed Object Computing (EDOC'98), San Diego, USA, November, 1998.
13. P.F. Linington, S. Neal, Using policies in the checking of business to business contracts, Policy Workshop, Como, Italy, June 2003.
14. Luckham D. The Power of Events. 2002;Addison Wesley.
15. J. Magee, N. Dulay, S. Eisenbach, J. Kramer, Specifying distributed software architectures, in: Proceedings of the 5th European Software Engineering Conference, September 1995.
16. Z. Milosevic, Enterprise aspects of open distributed systems, Ph.D. thesis, Computer Science Department, The University of Queensland, October 1995.
17. Z. Milosevic, G. Dromey, On expressing and monitoring behaviour in contracts, in: Proceedings of 6th International Conference on Enterprise Distributed Object Computing (EDOC'02), Lausanne, Switzerland, September 2002.
18. S. Neal, A Language for the dynamic verification of design patterns in distributed computing, Ph.D., thesis, University of Kent, 2001.
19. S. Neal, J. Cole, P.F. Linington, Z. Milosevic, S. Gibson, S. Kulkarni, Identifying requirements for business contract language: a monitoring perspective, in: Proceedings of 7th International Conference on Enterprise Distributed Object Computing (EDOC'03), Brisbane, Australia, September 2003.
20. S. Neal, P.F. Linington, Tool support for development using patterns, in: Proceedings of 5th International Conference on Enterprise Distributed Object Computing (EDOC'01), Seattle, USA, September 2001.
21. OASIS LegalXML eContracts Technical Committee Charter. Available from < http://www.oasis-open.org/committees/legalxml-econtracts/charter.php >.
22. van den Heuvel W.-J., Weigand H. Cross-organisational workflow integration using contracts. Decision Support Systems. 33(3):2002;247-265.