High Reliability Component-Based Software Engineering

点击翻译按钮获取中文摘要

The major objectives of this research were:1. to conquer the structural complexity of software components and their composites, and2. to conquer the behavioral complexity of software components and their composites.We achieved these objectives as follows.1. The structural complexity is addressed by creating models and languages that support clear and flexible modularization of components and constructing systems based on those components.2. The behavioral complexity is addressed by applying formal validation techniques to behaviors of components and devising methods for proving that they satisfy desirable properties and will not run into failure or bring undesirable phenomena.As a final product, we integrated methods and tools developed during the four and half year project under an integrated software development environment. Some characteristics of the research product are as listed below.-We proposed a role based model named Epsilon and a language to implement the model, EpsilonJ that supports a flexible architecture defining and combining components.-We developed a fundamental aspect oriented model framework to compare and analyze a wide variety of aspect oriented programming languages.-To ensure performance, we devised a method for automatically generating code that fits to the environment where components are deployed.-We proposed a new systematic method for weaving in abstract aspects designed at the earlier stage of software development.-We proposed a new type system that supports mutually recursive classes.