Highly reliable component-based software development by using algebraic behavioral specification

Component-based software development, in which software is developed by combining components and connectors, has gained in popularity because it can increase software productivity. To increase software productivity, components must be re-used, but to do so, we must select a software architecture. We propose a new software architecture called a "tree architecture". It is represented by a special class of algebraic behavioral specification called "projection-style behavioral specification". Recently, even component-based enterprise systems have been developed, so the importance of technologies to develop highly reliable component-based software has increased. We propose two such technologies using projection-style behavioral specification. One is a technology that assures the high reliability of connectors. The other is a technology that assures the consistency of software family evolution. The advantages of these technologies are that they can be automated.