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. In this paper, we present an architectural extension for specifying distributable components of the application and for quantifyingtheir interactionpatterns. The goalof the specification is to serve as the basis for obtainingoptimal distributionsof the application components over a target network that minimizes remote communication among the components. The optimaldistributionsare obtained by using the architectural specification to derive a BIP (binary integer programming) model and solving the resulting system. We formalize the object-oriented architectural style using the Z specification language. This style defines the detailed informatio...
M. Cecilia Bastarrica, Steven A. Demurjian, Alexan