LoboVault Home
 

Towards Formalizing Network Architectural Descriptions

LoboVault

Please use this identifier to cite or link to this item: http://hdl.handle.net/1928/3674

Towards Formalizing Network Architectural Descriptions

Show full item record

Title: Towards Formalizing Network Architectural Descriptions
Author: Khoury, Joud; Abdallah, Chaouki; Heileman, Gregory
Subject(s): Networks
Architecture
Verification
Style
Formal Modeling
Description
Abstract: Despite the rich literature on network architecture and communication system design, the current practice of describing architectures remains informal and idiosyncratic. Such practice has evolved based on idiomatic terminology and hence, it is failing to provide a formal framework for representing and for reasoning about network architectures. This state of affairs has led to the overloading of architectural terms, and to the emergence of a large body of network architecture proposals with no clear indication of the their cross similarities, their compatibility points, their unique properties, and their architectural performance and soundness. Formalizing network architectural descriptions is therefore a timely contribution, and this paper presents a first step in that direction. The paper builds upon architectural style modeling concepts from the software engineering field, and applies them to the network architecture space. Our approach is presented through a case study detailing a formal model for a common class of network architectures. The model uses a simple declarative language based on relations and first-order logic.
Date: 2008-03-20
Series: 08
03
URI: http://hdl.handle.net/1928/3674

Files in this item

Files Size Format View
modeling_TR.pdf 165.5Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

UNM Libraries

Search LoboVault


Advanced Search

Browse

My Account