Structural Specification of a Distributed System Using I 5

María Cecilia Bastarrica, Scott Craig, Steven A. Demurjian, Alex A. Shvartsman

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


A unified architectural specification framework for organizing the designs of distributed systems and their constituent components, and for documenting configuration and deployment constraints of distributed systems is presented in [3]. This multi-level specification framework, called I 5, can be a valuable tool used for specifying complex distributed systems. I 5 includes five definition languages, backed by a formally specified model, used to define a distributed system in an increasing level of detail to capture software and hardware components and their interactions. In this extended abstract, we present a practical application of I 5. We demonstrate how I 5 can be used to specify a distributed system in a comprehensive way that incorporates subtle aspects of distributed object-oriented systems, which are prone to be left out, or be under-specified, when using ad hoc or simplistic specification frameworks. The distributed application used in this work is a real-world example based on a submarine data collection and distribution system, deployed over a network. The use of I 5 yielded the specification of the system that makes explicit many of the implied, or specified informally, aspects of the system and its components.

Original languageEnglish (US)
Title of host publicationProceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1
EditorsP.P. Wang, P.P. Wang
Number of pages6
StatePublished - 2000
Externally publishedYes
EventProceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000 - Atlantic City, NJ, United States
Duration: Feb 27 2000Mar 3 2000

Publication series

NameProceedings of the Joint Conference on Information Sciences


ConferenceProceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000
Country/TerritoryUnited States
CityAtlantic City, NJ

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Structural Specification of a Distributed System Using I 5'. Together they form a unique fingerprint.

Cite this