Summary of the '95 Monterey Workshop - Specification-Based Software Architectures

Abstract

The focus of the 1995 Monterey Workshop was on the relation among specification-based software architectures, formal methods, and practical tools for software development. The study of software architectures is a young and evolving field. Although the term "software architecture" is not explicitly mentioned, some early work by Wiederhold et al proposes a component-based software technology for programming in the large, where software systems are made up of subsystems (called megamodules) glued together by megaprograms. The major difference between megamodules and traditional modules is that the former "encapsulate not only procedures and data, but also types, concurrency, knowledge, and ontology"[6] .