This book presents the modeling techniques of the Paose approach, a set of supporting tools and a description of the underlying development processes. In these matters, Paose addresses three areas of computer science. These are (1) software engineering, which offers UML and agile processes, (2) agent technologies, from which structuring and encapsulation result and (3) Petri net theory, which contributes process-awareness, concurrency, semantics of models and fundamental concepts to the approach. All presented modeling techniques are supported by tools, which are available as plugins within the extensible Renew framework (volume 4 of the Agent Technology series).
More information on the reference nets formalism, Renew, Mulan and Paose can be found on http://www.renew.de/ and http://www.paose.net/.