Style-based refinement of dynamic software architectures

@article{Baresi2004StylebasedRO,
  title={Style-based refinement of dynamic software architectures},
  author={L. Baresi and R. Heckel and S. Th{\"o}ne and D. Varr{\'o}},
  journal={Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)},
  year={2004},
  pages={155-164}
}
  • L. Baresi, R. Heckel, +1 author D. Varró
  • Published 2004
  • Computer Science
  • Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)
In this paper, we address the correct refinement of abstract architectural models into more platform-specific representations. We consider the challenging case of dynamic architectures which can perform run-time reconfigurations. For this purpose, the underlying platform has to provide the necessary reconfiguration mechanisms. To conceptually model such platforms including provided reconfiguration mechanisms, we use architectural styles formalized by graph transformation rules. Based on formal… Expand
65 Citations
Style-based modeling and refinement of service-oriented architectures
  • 107
  • PDF
Behavioral Refinement of Graph Transformation-Based Models
  • 18
  • PDF
Compositional specification of event-based software architectural styles
Automatic Refinement of Platform Independent Models Using Graph Transformation System
Automatic Refinement of Platform Independent Models
  • 4
Automatic development of service oriented models using graph transformation systems
Semantic Issues in Architectural Refinement
  • 4
  • PDF
Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles
  • S. Thöne
  • Computer Science
  • Language Engineering for Model-Driven Software Development
  • 2004
  • PDF
Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles
  • Guoxin Su, M. Ying, C. Zhang
  • Computer Science
  • 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
  • 2012
  • 1
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 35 REFERENCES
A graph transformation approach to software architecture reconfiguration
  • 144
  • PDF
Formal Refinement of Software Architectures Based on Rewriting Logic
  • 19
Modeling and validation of service-oriented architectures: application vs. style
  • 160
  • PDF
Towards Symbolic Analysis of Visual Modeling Languages
  • D. Varró
  • Computer Science
  • Electron. Notes Theor. Comput. Sci.
  • 2003
  • 48
  • PDF
Specification and Refinement of Dynamic Software Architectures
  • 149
  • PDF
Correct Architecture Refinement
  • 398
  • PDF
Enabling the Refinement of a Software Architecture into a Design
  • 40
  • PDF
CheckVML: A Tool for Model Checking Visual Modeling Languages
  • 87
  • PDF
A Formal Approach to Software Architectures
  • 570
A formal approach to software architecture
  • 580
  • PDF
...
1
2
3
4
...