Specifying business processes over objects

The focus of this paper is on the modeling of application and business processes in Cooperative Information Systems. Such processes use several resources and services to achieve a common, global system goal. We integrate the proposed concepts into the framework of a formal object-oriented specification language (TROLL). The goals of our approach are to provide additional modeling support for business and application processes, to explain these processes in the underlying framework and to couple tightly the modeling of global processes and the modeling of structural aspects of the system.