TY - GEN
T1 - Comprehensive specification of distributed systems using I5 and IOA
AU - Bastarrica, M. C.
AU - Demurjian, S. A.
AU - Shvartsman, A. A.
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
KW - Automata
KW - Computer architecture
KW - Formal languages
KW - Formal specifications
KW - Pervasive computing
KW - Power engineering computing
KW - Protocols
KW - Software architecture
KW - Software engineering
KW - Specification languages
UR - http://www.scopus.com/inward/record.url?scp=84883317666&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84883317666&partnerID=8YFLogxK
U2 - 10.1109/SCCC.2000.890394
DO - 10.1109/SCCC.2000.890394
M3 - Conference contribution
AN - SCOPUS:84883317666
T3 - Proceedings - International Conference of the Chilean Computer Science Society, SCCC
SP - 74
EP - 82
BT - Proceedings - 20th International Conference of the Chilean Computer Science Society, SCCC 2000
PB - IEEE Computer Society
T2 - 20th International Conference of the Chilean Computer Science Society, SCCC 2000
Y2 - 16 November 2000 through 18 November 2000
ER -