Towards formalizing network architectural descriptions

Joud Khoury, Chaouki T. Abdallah, Gregory L. Heileman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations


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 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.

Original languageEnglish (US)
Title of host publicationAbstract State Machines, Alloy, B and Z - Second International Conference, ABZ 2010, Proceedings
Number of pages14
StatePublished - 2010
Externally publishedYes
Event2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010 - Orford, QC, Canada
Duration: Feb 22 2010Feb 25 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5977 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010
CityOrford, QC

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Towards formalizing network architectural descriptions'. Together they form a unique fingerprint.

Cite this