TY - GEN
T1 - Software architectural specification for optimal object distribution
AU - Bastarrica, M. C.
AU - Demurjian, S. A.
AU - Shvartsman, A. A.
N1 - Publisher Copyright:
© 1998 IEEE.
PY - 1998
Y1 - 1998
N2 - Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its intended functions, interfaces, interoperability requirements, distributability; scalability, extensibility, target platforms and networks, and required middleware services. The authors present an architectural extension for specifying distributable components of the application and for quantifying their interaction patterns. The goal of the specification is to serve as the basis for obtaining optimal distributions of the application components over a target network that minimizes remote communication among the components. The optimal distributions are obtained by using the architectural specification to derive a BIP (binary integer programming) model and solving the resulting system. They formalize the object-oriented architectural style using the Z specification language. This style defines the detailed information necessary to derive optimal distributions using the BIP model.
AB - Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its intended functions, interfaces, interoperability requirements, distributability; scalability, extensibility, target platforms and networks, and required middleware services. The authors present an architectural extension for specifying distributable components of the application and for quantifying their interaction patterns. The goal of the specification is to serve as the basis for obtaining optimal distributions of the application components over a target network that minimizes remote communication among the components. The optimal distributions are obtained by using the architectural specification to derive a BIP (binary integer programming) model and solving the resulting system. They formalize the object-oriented architectural style using the Z specification language. This style defines the detailed information necessary to derive optimal distributions using the BIP model.
UR - http://www.scopus.com/inward/record.url?scp=84883386955&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84883386955&partnerID=8YFLogxK
U2 - 10.1109/SCCC.1998.730779
DO - 10.1109/SCCC.1998.730779
M3 - Conference contribution
AN - SCOPUS:84883386955
T3 - Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science
SP - 25
EP - 31
BT - Proceedings - SCCC 1998
PB - Institute of Electrical and Electronics Engineers Inc.
ER -