Modeling layered distributed communication systems

Abstract

Abstract. Today, component-based software and system development has gained considerable attention and is wide-spread. Components and/or modules manifest the well-proven engineering principle of divide and conquer. Formal approaches have helped to provide a theoretical foundation to component-orientation. There is a broad range of system architectures in practice today in terms of layered distributed open systems (as for example known in telecommunications). However, the mathematical formalisms developed so far are rarely applied to these practical architectures. In fact, the notion of distribution and stacked communication layers is hardly understood precisely and not supported by architecture description languages. This article addresses this gap. The formal conditions of distribution and layering are investigated and a mathematical model for layered distributed systems is presented. Communication refinement and so-called complex connectors turn out to be vital concepts which are not addressed in today’s modeling languages. In addition to that, two important design approaches are derived for the architectural design of complex communication systems: A node-centric and a network-centric design approach. Both can significantly improve the design process.

The Leading Role of Software and Systems Architecture in the Age of Digitization

“…Contracts are used in architectures (see [4,6,9,10,[14][15][16][17]). In the following, we show how to specify contracts.…”

Compositional Network Mobility

“…This is because the relevant change of attachment is now between the user layer and the implementing layer, not between the implementing layer and the LAN level, so what happens at the LAN level is irrelevant. 5 This is a crucial difference from the perspective of the implementing layer, and requires a completely different mechanism for implementing mobility. The bulk of the work of implementing session-location mobility lies in ensuring that A's correspondents know that it is now located at A2 rather than A1.…”

“…It also contains brief discussions of the applicability constraints, design choices, and cost/performance trade-offs of each pattern. Although mobility is an enhancement to the implementation of a point-to-point communication channel, preserving the channel even while its endpoints move, we do not consider black-box specifications of channel or mobility behavior (e.g., [1,2,5]). …”

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones

“…It formalizes the idea of levels of abstraction as found in many approaches to software and systems engineering. This includes the classic International Standard Organization's open systems interconnection (ISO/OSI) protocol models (see [28]) as well as the idea of layered architectures (see [16]). …”