DSSE:2012 Academic Year Seminars
Open System Architecture and Software Abstraction
A model of Open System Architecture, based on Components and Interfaces, is presented. Rules are derived for determining Architectural Consistency of a system structured according to this model. Expressing the consistency rules succinctly is an important objective, since getting the rules right is an essential aspect of overall system integrity. We discuss how getting the right abstractions was paramount in achieving this objective and the role that Alloy played in the discovery of those abstractions. We show how this approach to validation of architecture is particularly applicable to large scale systems and to an evolving family of systems.
**Note: The location may change to the new seminar room on level 4, Mountbatten.