Show simple item record

dc.contributor.authorKhoury, Joud
dc.contributor.authorAbdallah, Chaouki
dc.contributor.authorHeileman, Gregory
dc.date.accessioned2008-03-20T21:26:37Z
dc.date.available2008-03-20T21:26:37Z
dc.date.issued2008-03-20T21:26:37Z
dc.identifier.urihttp://hdl.handle.net/1928/3674
dc.description.abstractDespite 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.sponsorshipThe 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.extent169510 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen_US
dc.relation.ispartofseries08en
dc.relation.ispartofseries03en
dc.subjectNetworksen_US
dc.subjectArchitectureen_US
dc.subjectVerificationen_US
dc.subjectStyleen_US
dc.subjectFormal Modelingen_US
dc.subjectDescriptionen_US
dc.titleTowards Formalizing Network Architectural Descriptionsen_US
dc.typeArticleen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record