M.C. Bastarrica, Dept. de Ciencias de la Comput., Chile Univ., Santiago, Chile
S.A. Demurjian, Dept. de Ciencias de la Comput., Chile Univ., Santiago, Chile
A.A. Shvartsman, Dept. de Ciencias de la Comput., Chile Univ., Santiago, Chile
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. I/sup 5/ is a specification framework for architectural definition of distributed systems, also intended as a basis for configuration management. I/sup 5/ has five levels that specify mainly the structural characteristics at different levels of abstraction, but I/sup 5/ does not address the semantics or dynamics of distributed systems interactions. We explore the integration of IOA and I/sup 5/ to create combined specifications that enjoy the benefits of both specification languages: the five different levels of abstraction of I/sup 5/ 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 I/sup 5/ in an integrated way. We consider general approaches to such integrated specifications and discuss the possibilities and limitations of integrating IOA and I/sup 5/, as well as our future work towards the complete integration.
Index Terms:
distributed processing; formal specification; specification languages; software architecture; configuration management; distributed systems specification; communication protocols; incompatible components; standardization; specification language; IOA formal language; I5 specification framework; architectural definition; configuration management; semantic specification
Citation:
M.C. Bastarrica, S.A. Demurjian, A.A. Shvartsman, "Comprehensive Specification of Distributed Systems Using I5 and IOA," sccc, pp.74, XX International Conference of the Chilean Computer Science Society (SCCC'00), 2000