Rapid Development of Custom Software Architecture Design ...

Chapter 9 1859.1 Design decisions that proved to be highly effective 1859.1.1 Supporting a rapid and iterative environment development process 1859.1.2 Selecting first-order predicate logic as the formalism for design rules 1869.1.3 Appropriately scoped design rule checking capabilities 1879.1.4 Straightforward type and constraint checking algorithms 1899.2 Design decisions that yielded mixed results 1919.2.1 Using a completely declarative design language 1919.2.2 Building extreme flexibility and reconfigurability into the environment 192Chapter 10 19510.1 Summary 19510.1.1 Contributions 19610.2 Future work: 19710.2.1 Generalizing flexible configuration strategies 19710.2.2 Integrating the Armani toolset with full software lifecycle processes 19810.2.3 Building effective design tools 20010.2.4 Composable connectors 20110.2.5 Distribution and installation of component-based systems 20110.2.6 Selecting appropriate styles and design expertise 20310.3 Conclusion 203Chapter 11 205Appendix A 211BNF Meta-Syntax 211Armani Grammar 211