Thöne, Sebastian: Dynamic software architectures : a style-based modeling and refinement technique with graph transformations. 2005
Content
- Introduction
- Architecting large, distributed software systems
- Dynamic software architectures
- Platform-consistent development
- Structure of the thesis
- Survey of related work
- Some historical notes
- Requirements
- Requirements for architecture descriptions
- Requirements for platform descriptions
- Requirements for architecture refinements
- Existing approaches and open problems
- Formal methods for dynamic architectures
- Platform awareness in architecture descriptions
- Architecture refinement techniques
- Summary
- The style-based approach -- an overview
- Graph transformation theory -- the formal background
- Graphs and graph schemas
- Type graphs and typing morphisms
- Attributes and typed attributed graphs
- Cardinalities and other constraints
- Graph schemas
- Graph transformations
- Transformation-based system models
- Architectural styles as graph transformation systems
- Structural parts and their instantiation
- Behavioral parts and their instantiation
- Reconfiguration mechanisms
- Communication mechanisms
- Instantiating platform mechanisms in architectural behavior
- A style for service-oriented architectures
- Summary
- Style-based modeling of dynamic software architectures
- Style-based refinement of dynamic software architectures
- Syntactical versus semantical approaches
- Structural refinement
- Behavioral refinement
- Testing behavioral refinement
- Summary
- Existing tool support for modeling and refinement
- Conclusion
- Architectural style for component-based architectures
- Architectural style for service-oriented architectures
- Abstract model of the travel agency architecture
- Concrete model of the travel agency architecture