The central issue of this contribution is a methodology for the use of nets in practical systems design. We show how
nets of channels and agencies allow for a continuous and systematic transition from informal and unprecise to precise and formal specifications. This development methodology leads to the representation of dynamic systems behaviour (using Pr/T-Nets) which is apt to rapid prototyping and formal correctness proofs.
This net-based design methodology covers a very broad spectrum of the software lifecycle without the need of switching to a different representation technique. Indeed this spectrum is broader than that of many other methods, such as SADT, Jackson Structured Design or Abstract Data Types.
Key Words Systematic System Design - Stepwise Refinement and Embedding - Consistency and Completeness of Designs - Relationship to other SE methods