Establishment of Virtual Enterprise Contracts

  • Gerald Quirchmayr
  • Zoran Milosevic
  • Roger Tagg
  • James Cole
  • Sachin Kulkarni
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2453)


In this paper we describe an approach to the modelling of virtual enterprise agreements. An important and ever-present issue in the set-up phase of such a virtual enterprise is the virtual enterprise contract. As one of the goals of virtual enterprises is to become operational quickly, the time consumed by the set-up phase must be reduced to a minimum. At the same time it has to be guaranteed that the outcome of this phase leads to a formally correct and executable agreement. Our approach aims at showing how to achieve a formal model of virtual enterprise contracts, which can later be executed and monitored in a particular automated contract management environment.


Virtual Enterprise Contract Form Framework Agreement Program Clause Agreement Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abelson and Sussman 1996]).
    H. Abelson, G. and J. Sussman. Structure and Interpretation of Computer Programs, 1996.Google Scholar
  2. [Ciampi and Martino 1982]
    C. Ciampi and A.A. Martino (Ed). Artificial Intelligence and Legal Information Systems: Deontic Logic, Computational Linguistics and Legal Information Systems, Elsevier Science Ltd; ISBN: 0444864156.Google Scholar
  3. [Clocksin and Mellish]
    W. F. Clocksin, C. S. Mellish. Programming in Prolog, Springer, ISBN 3-540-58350-5.Google Scholar
  4. [Davaclu et al 1999]
    H. Davaclu, M. Kifer, L.R. Pokorny, C.R. Ramakrishnan, I.V. Ramakrishnan, S. Dawson. Modeling and Analysis of Interactions in Virtual Enterprises, in Proceedings of the Workshop on Research Issues in Data Engineering-Information Technology for Virtual Enterprises (RIDE-VE’99), Sydney, Australia, March 1999.Google Scholar
  5. [Goodchild et al. 2000]
    A. Goodchild, Z. Milosevic and C. Herring. Business Contracts for B2B, CAiSE’00 Workshop on Infrastructures for Dynamic Business-to-Business Service Outsourcing.Google Scholar
  6. [Harmon and King 1985].
    P. Harmon and D. King. Expert Systems: Artificial Intelligence in Business, John Wiley & Sons. ISBN 0471808245.Google Scholar
    International Chamber of Commerce, Incoterms 2000: ICC Official Rules for the Interpretation of Trade Terms. ICC Publishing New York 2000. ISBN 92-842-1199-9.Google Scholar
  8. [Kowalski 1994]
    R. Kowalski, F. Toni. Argument and Reconciliation, in: International Symposium on Fifth Generation Computer Systems’ 94, Workshop on Legal Reasoning, Tokyo (1994).Google Scholar
  9. [Kowalski 1996]
    R. Kowalski, F. Toni. Abstract Argumentation, In: Artificial Intelligence and Law Journal 4(3–4), Special Issue on Logical Models of Argumentation, H. Prakken and G. Sartor, eds., Kluwer Academic Publishers (1996).Google Scholar
  10. [de Korvin et al. 1994]
    A. de Korvin, G. Quirchmayr, S. Hashemi. Dealing with Uncertainty in Insurance Contracts. Proc. of the 6th Conference on Expert Systems Applications and Artifical Intelligence, EXPERSYS-94, Houston, Texas, December 1994.Google Scholar
  11. [de Korvin et al. 1995]
    A. de Korvin, G. Quirchmayr, S. Hashemi. Managing Uncertainty in Contract Law. Proc. of the 7th Conference on Expert Systems Applications and Artifical Intelligence, EXPERSYS-95, p. 191 ff., December 1995.Google Scholar
  12. [Ktendis and Paraskevopoulos 1999]
    P.D. Ktendis and A.T. Paraskevopoulos. Information and Communication Technology (ICT) Infrastructure fro Small and Medium Enterprises (SMEs) Networks: Achievements and Work-in-Progress from Three European Projects, in Proceedings of the Workshop on Research Issues in Data Engineering-Information Technology for Virtual Enterprises (RIDE-VE’99), Sydney, Australia, March 1999.Google Scholar
  13. [Milosevic and Bond 1995]
    Z. Milosevic and A. Bond. Electronic Commerce on the Internet: What is Still Missing? The 5th Annual Conference of the Internet Society, INET’95, Honolulu, Hawaii, USA, June 1995.Google Scholar
  14. [Neal and Linnington 2001]
    S. Neal and P.F. Linington. Tool support for development using patterns. In E. Lupu and A. Wegmann, editors, Proceedings of the fifth International Enterprise Distributed Object Computng Conference, pages 237–248, Seattle, WA, USA, IEEE Computer Society.Google Scholar
  15. [Riempp 1998]
    G. Riempp. Wide Area Workflow Management, Springer, London 1998.Google Scholar
  16. [Tagg 2001]
    R. Tagg. Workflow in Different Styles of Virtual Enterprise, in Proceedings of Workshop on Information Technology for Virtual Enterprises (ITVE 2001), Gold Coast, Australia, January 2001.Google Scholar
  17. [Tagg and Quirchmayr 2001]
    R. Tagg, G. Quirchmayr. Towards an Interconnection Model for Evolution of Shared Workflows in a Virtual Enterprise, in Proceedings of Third Int. Conference on Information Integration and Web-Based Applications and Services, Linz, Austria, September 2001.Google Scholar
  18. [Susskind 1987]
    R. E. Susskind. Expert Systems in Law: A Jurisprudential Inquiry. ASIN: 0198252730.Google Scholar
  19. [Winston 1992]
    P. H. Winston. Artificial Intelligence. 1992. Addison-Wesley Pub Co; ISBN: 0201533774.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Gerald Quirchmayr
    • 1
    • 3
  • Zoran Milosevic
    • 2
  • Roger Tagg
    • 1
  • James Cole
    • 2
  • Sachin Kulkarni
    • 2
  1. 1.School of Computer and Information ScienceUniversity of South AustraliaMawson LakesAustralia
  2. 2.Enterprise Distributed Systems Technology Centre (DSTC)University of QueenslandBrisbaneAustralia
  3. 3.Institute for Computer Science and Business InformaticsUniversity of ViennaViennaAustria

Personalised recommendations