Modeling and analysis of interactions in virtual enterprises
- 1 January 1999
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary consortium of autonomous, diverse, and possibly geographically dispersed organizations that pool their resources to meet short-term objectives and exploit fast-changing market trends. For a virtual enterprise to succeed, its business processes must be automated, and its startup costs must be minimized. We describe a formal framework for modeling and reasoning about interactions in a virtual enterprise. Such a framework will form the basis for tools that provide automated support for creation and operation of virtual enterprises.Keywords
This publication has 9 references indexed in Scilit:
- Extended transaction processing based on dependency rulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synthesizing distributed constrained events from transactional workflow specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Logic based modeling and analysis of workflowsPublished by Association for Computing Machinery (ACM) ,1998
- Modeling and Analysis of Workflows Using Petri NetsJournal of Intelligent Information Systems, 1998
- Integration of design and manufacturing in a virtual enterprise using enterprise rules, intelligent agents, STEP, and work flowPublished by SPIE-Intl Soc Optical Eng ,1997
- Template-based wrappers in the TSIMMIS systemPublished by Association for Computing Machinery (ACM) ,1997
- XSB as an efficient deductive database enginePublished by Association for Computing Machinery (ACM) ,1994
- HiLog: A foundation for higher-order logic programmingThe Journal of Logic Programming, 1993
- ACTA: a framework for specifying and reasoning about transaction structure and behaviorPublished by Association for Computing Machinery (ACM) ,1990