The OCoN Approach for Object-Oriented Distributed Software Systems Modeling

Abstract. The problems of todays software engineering for complex distributed software systems with control as well as data processing aspects are manifold. Besides the general problem of software complexity we additionally have to deal with the problems of concurrency and distribution. A set of well evolved formalisms especially w.r.t. concurrency exists, while their integration into the common software engineering framework is still missing and related attempts have often not gained the intended acceptance. But ever increasing system complexity as well as a fast growing market for distributed software effectuate a shift towards high level behavior modeling. The presented OCoN approach does provide a high level behavior modeling as extension to the UML de-facto standard for object-oriented modeling. It is an approach to integrate an adjusted Petri net formalism with the software engineering world.