Abstract:

Nowadays, Virtual Enterprises can be considered as one of the most promising paradigms for future enterprises. The main characteristics of Virtual Enterprises are the distributed and parallel business process execution. In this paper we propose a modeling method for business processes in Virtual Enterprises based on an integration of UML and ECATNets. ECATNets are a category of high level Petri Nets. Benefits of both informal Object Oriented Design and formalisms of Petri nets are used for verification and validation purposes of the design prior to full system implementation. The proposed method follows the Unified Process life cycle.