Modeling distributed software systems with object coordination nets
Holger Giese, Jörg Graf, Guido Wirtz · 2002
A dedicated approach for the design and development of distributed software systems is outlined. The method may be used in combination with any standard objectoriented analysis and design method as far as static aspects are concerned. A new formalism based on extended Petri-Nets -- so called Object Coordination Nets (OCoNs) -- is used to describe the coordination of the behavior of a class on a per service (method) basis, the allocation of object resources as well as behavioral contracts. The paper discusses the rationale behind the key points of the OCoN approach, introduces the method and illustrates it by means of an extended example. KEYWORDS distributed software, development methods, objectoriented techniques, interfaces, behavior specification, programming-by-contract, Petri-Nets 1 INTRODUCTION Distributed systems have gained an ever-growing importance over the last years. They are used in a range of areas from providing an alternative in high-performance computing to a substi...