LoboVault Home

Towards Formalizing Network Architectural Descriptions


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

Towards Formalizing Network Architectural Descriptions

Show simple item record

dc.contributor.author Khoury, Joud
dc.contributor.author Abdallah, Chaouki
dc.contributor.author Heileman, Gregory
dc.date.accessioned 2008-03-20T21:26:37Z
dc.date.available 2008-03-20T21:26:37Z
dc.date.issued 2008-03-20T21:26:37Z
dc.identifier.uri http://hdl.handle.net/1928/3674
dc.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. en_US
dc.description.sponsorship The work presented in this paper is partially funded by the National Science Foundation NSF under the Future Internet Design (FIND) Grant CNS-0626380. en
dc.format.extent 169510 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US en_US
dc.relation.ispartofseries 08 en
dc.relation.ispartofseries 03 en
dc.subject Networks en_US
dc.subject Architecture en_US
dc.subject Verification en_US
dc.subject Style en_US
dc.subject Formal Modeling en_US
dc.subject Description en_US
dc.title Towards Formalizing Network Architectural Descriptions en_US
dc.type Article en_US

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 simple item record

UNM Libraries

Search LoboVault


My Account