Software Engineering and Petri Nets

This booklet contains the proceedings of the Workshop on Software Engineering and Petri Nets (SEPN), held on June 26, 2000. The workshop was held in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN-2000), organised by the CPN group of the Department of Computer Science, University of Aarhus, Denmark. The SEPN workshop papers are available in electronic form via the web page:http://www.daimi.au.dk/pn2000/proceeding

Modeling Distributed Software Systems with Object Coordination Nets

A dedicated approach for the design and development of distributed software systems is outlined. The method may be used in combination with any standard object-oriented analysis and design method as far as static aspects are concerned. Dynamic aspects like the external behavior of distributed components, the status of services or resource handling, however, play the key role in distributed systems. The main contribution of the approach is to put its focus on these aspects right from the beginning of a design. ffl Information from static modeling is used to define the responsibilities for coordinating a system: classes coordinate their aggregates and explicit coordination objects are introduced to handle more complex relationships in order to prevent from introducing complex implicit (third-party carried) interdependencies between different parts of a system. ffl Interfaces of components extend the common signature specification by behavioral contracts consisting of pre/post-condition..