Comprehensive specification of distributed systems using I5 and IOA

M. C. Bastarrica, S. A. Demurjian, A. A. Shvartsman

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

1 Scopus citations


Low level difficulties in the development of distributed systems that are due to non-standard communication protocols and incompatible components or platforms have largely been solved through standardization and commoditization of protocols and platforms. Distributed systems are being designed at higher levels of sophistication these days, and having an expressive yet usable specification language is a valuable tool. IOA is a formal language for specifying the semantics of distributed systems. I5 is a specification framework for architectural definition of distributed systems, also intended as a basis for configuration management. I5 has five levels that specify mainly the structural characteristics at different levels of abstraction, but I5 does not address the semantics or dynamics of distributed systems interactions. We explore the integration of IOA and I5 to create combined specifications that enjoy the benefits of both specification languages: the five different levels of abstraction of I5 with their structural specification capabilities are enhanced by a semantic specification written in IOA. We show an example of a specification developed using IOA and I5 in an integrated way. We consider general approaches to such integrated specifications and discuss the possibilities and limitations of integrating IOA and I5, as well as our future work towards the complete integration.

Original languageEnglish (US)
Title of host publicationProceedings - 20th International Conference of the Chilean Computer Science Society, SCCC 2000
PublisherIEEE Computer Society
Number of pages9
ISBN (Electronic)0769508103
StatePublished - 2000
Externally publishedYes
Event20th International Conference of the Chilean Computer Science Society, SCCC 2000 - Santiago, Chile
Duration: Nov 16 2000Nov 18 2000

Publication series

NameProceedings - International Conference of the Chilean Computer Science Society, SCCC
ISSN (Print)1522-4902


Conference20th International Conference of the Chilean Computer Science Society, SCCC 2000


  • Automata
  • Computer architecture
  • Formal languages
  • Formal specifications
  • Pervasive computing
  • Power engineering computing
  • Protocols
  • Software architecture
  • Software engineering
  • Specification languages

ASJC Scopus subject areas

  • Engineering(all)
  • Computer Science(all)


Dive into the research topics of 'Comprehensive specification of distributed systems using I<sup>5</sup> and IOA'. Together they form a unique fingerprint.

Cite this