TY - GEN
T1 - Structural Specification of a Distributed System Using I 5
AU - Bastarrica, María Cecilia
AU - Craig, Scott
AU - Demurjian, Steven A.
AU - Shvartsman, Alex A.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=1642326841&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=1642326841&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:1642326841
SN - 0964345692
SN - 9780964345690
T3 - Proceedings of the Joint Conference on Information Sciences
SP - 484
EP - 489
BT - Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1
A2 - Wang, P.P.
A2 - Wang, P.P.
T2 - Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000
Y2 - 27 February 2000 through 3 March 2000
ER -