A Formal Analysis of Virtual Enterprise Creation and Operation

This chapter introduces a formal model of virtual enterprises, as well as an analysis of their creation and operation. It is argued that virtual enterprises offer a promising approach to promote both innovations and collaboration between companies. A framework of integrated ICT-tools, called Plug and Play Business, which support innovators in turning their ideas into businesses by dynamically forming virtual enterprises, is also formally specified. Furthermore, issues regarding the implementation of this framework are discussed and some useful technologies are identified.