Modeling Telecom Networks And Systems Architecture: Conceptual Tools And Formal Methods

The book describes a method for modeling systems architecture, particularly of telecom networks and systems, although a large part can be used in a wider context. The method is called Sysnet Modeling and is based on a new modeling language, AML (Abstract systems Modeling Language), which is also described in the book. By applying Sysnet Modeling and AML, a formal model of the system is created. That model can be used for systems analysis as well as for communicating system knowledge to a broader audience of engineers in development projects. Inherent in sysnet modeling is the potential for considerable reduction in time spent on system implementation through the possibilities for code- and test-case generation.