Style-based refinement of dynamic software architectures

@article{Baresi2004StylebasedRO,
  title={Style-based refinement of dynamic software architectures},
  author={Luciano Baresi and Reiko Heckel and Sebastian Th{\"o}ne and D{\'a}niel Varr{\'o}},
  journal={Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)},
  year={2004},
  pages={155-164}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 52 CITATIONS

Behavioral Refinement of Graph Transformation-Based Models

VIEW 4 EXCERPTS
CITES BACKGROUND

Quality assurance with dynamic meta modeling

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

An approach for the dynamic reconfiguration of software architecture

VIEW 1 EXCERPT

FILTER CITATIONS BY YEAR

2004
2018

CITATION STATISTICS

  • 2 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 28 REFERENCES

Architecture-based design of computer based systems

  • Mark Denford, Tim O'Neill, John Leaney
  • Computer Science
  • 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings.
  • 2003

Scaling step-wise refinement

VIEW 1 EXCERPT

T

  • M. Denford
  • O’Neill, and J. Leaney. Architecture-based design of computer based systems. In Proc. StraW03, Int. Workshop From Software Requirements to Architectures
  • 2003
VIEW 1 EXCERPT

Towards Symbolic Analysis of Visual Modeling Languages

VIEW 2 EXCERPTS