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

ISBN-13: 9783642631849 / Angielski / Miękka / 2012 / 450 str.

Thomas Muth

Opis

Stockholm, home to the author and also known as "Beauty on the Sea," has much to offer, including a rare insight into ship construction and architecture in the early seventeenth century. Sweden was busy building an empire around the Baltic Sea in northern Europe and a strong navy was essential. During the I620s Sweden was at war with Poland, and in 1625 the Swedish king Gustavus Adolphus ordered new warships, among them the Vasa. The Vasa was built at the Stockholm shipyard by Henrik Hybertsson-an experi enced Dutch shipbuilder. In the seventeenth century, however, architectural draw ings and engineering specifications did not exist. Instead of using calculations, shipbuilders used so-called reckoning, which recorded certain ship measurements. The reckoning used in building the Vasa were intended for smaller ships with only one gun deck. The Vasa was built quite differently. When in 1628, in the presence of spectators among them foreign diplomats, the Vasa heeled over and sank on its maiden voyage, the experience of the master builder and the skills of the carpenters he employed were not much above what we today would call the component level of the time.The knowledge ofbuoyancy, bal last, centerofgravity and stability was basic at best."

Recenzje

From the reviews of the first edition:

"Modeling is started to take on a great importance, but it still remains at the software component level. This book demonstrates the aspects of Sysnet Modeling (SM) and the Abstract system Modeling Language (AML). It is of great value and can be highly recommended to system architects, engineers and researchers. It is also a good book to design telecommunication systems that are responsive, intelligent, adaptive and autonomous." (Demetre Voukalis, Zentralblatt MATH, Vol. 1005, 2003)

Spis treści

1 Introduction to Systems Modelling.- 2 Foundations of Sysnet Modelling.- 3 Logical Network Modelling.- 4 Physical Network Modelling.- 5 Protocol Network Modelling.- 6 Process Control System Modelling.- 7 Concepts and Notations for Process Control Systems Modelling.- Appendix 1: List of Standards.- Appendix 2: Naming and Data Typing in AML.- References.

Blurb

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.