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

✍ Scribed by Dr. Thomas Muth (auth.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2001
• Tongue: English
• Leaves: 467
• Edition: 1
• Category: Library

✦ Synopsis

The book describes a method for modeling systems architecture, in particular 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, called AML (Abstract systems Modeling Language), that is also described in the book. By applying sysnet modeling and AML, a formal model of the system is cre-ated. 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 also a potential for considerable reduction in time spent on system implementation, through the possibilities for code- and test-case generation.

✦ Table of Contents

Front Matter....Pages I-XXV
Introduction to Systems Modelling....Pages 1-36
Foundations of Sysnet Modelling....Pages 37-101
Logical Network Modelling....Pages 103-218
Physical Network Modelling....Pages 219-251
Protocol Network Modelling....Pages 253-321
Process Control System Modelling....Pages 323-364
Concepts and Notations for Process Control Systems Modelling....Pages 365-428
Back Matter....Pages 429-450

✦ Subjects

Communications Engineering, Networks;Computer Systems Organization and Communication Networks;Complexity