@TechReport{Giese1999b,
AUTHOR = {Giese, Holger},
TITLE = {{Object Coordination Nets 2.0 -- Semantics Specification}},
YEAR = {1999},
INSTITUTION = {University Münster, Computer Science},
PDF = {tr1599.pdf},
PS = {tr1599.ps.gz},
ABSTRACT = {For distributed object or component systems, a suitable software architecture and a strong separation of modules is necessary. Current visual notations have several drawbacks: concurrency support is very limited and they fail to integrate the external state based view of objects when aspects of data and control flow are specified. Hence, they are not sufficient to support a seamless contract based design style. The report first defines a modular Petri net formalism named coordination nets that supports a port concept inspired by the $pi$-Calculus. The level 2 conformance with the forthcoming ISO high level Petri net standard is demonstrated in the appendix. Based on this flexible net dialect, the Object Coordination Net or short OCoN formalism for the specification of behavior aspects in an object-oriented distributed system is defined. It distinguishes several distinct net diagrams. The formalism allows mixed event and state based true concurrent modeling. It describes contracts, object scheduling, resource handling and the abstract data and control flow of services. A seamless integration of contract specifications into service and object scheduling specifications is provided. Although abstract, the OCoN formalism remains operational which permits abstract simulation and guarantees a feasible implementation.},
NOTE = {15/99-I}
}