MODELING BUSINESS PROCESSES OVER OBJECT

The focus of this paper is on the modeling of application and business process in Cooperative Information Systems. Such processes use severa l resources and services to achieve a common, global system goal. We i ntegrate the proposed concepts into the framework of a formal object-o riented specification language (TROLL). The goals of our approach are to provide additional modeling support for business and application pr ocesses, to explain these processes in the underlying framework and to couple tightly the modeling of global processes and the modeling of s tructural aspects of the system.