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

Muth, Thomas

Hardcover

ISBN 10: 3540675655 ISBN 13: 9783540675655

Publisher: Springer, 2001

Synopsis

The book outlines Sysnet Modelling, a method for modelling systems architecture. The method is particularly well suited for telecom networks and systems, although a large part of it may be used in a wider context.

About this title

From the Back Cover

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.

Edition details

• Publisher: Springer
• Publication date: 2001
• Language: English
• ISBN 10: 3540675655
• ISBN 13: 9783540675655
• Binding: Hardcover
• Number of pages: 450