TECHNIQUES FOR PARTIAL SPECIFICATION AND SPECIFICATION OF SWITCHING SYSTEMS

This paper reports on results obtained by specifying the connection patterns within a small PBX using Z. We discuss techniques for specification of switching systems, including how to model the state space of a feature-rich switching system, how to use the schema calculus for organizing a complex operation set, and how to realize the potential benefits of a partial specification. We also outline a new approach to constructing a specification as a composition of partial specifications written in different formal languages.