Architecture compliance checking at run-time

  title={Architecture compliance checking at run-time},
  author={Dharmalingam Ganesan and Thorsten Keuler and Yutaro Nishimura},
  journal={Information & Software Technology},
In this paper, we report on our experiences with architecture compliance checking – the process of checking whether the planned or specified software architecture is obeyed by the running system – of an OSGi-based, dynamically evolving application in the office domain. To that end, we first show how to dynamically instrument a running system in the context of OSGi in order to collect run-time traces. Second, we explain how to bridge the abstraction gap between run-time traces and software… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 30 references

ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets

  • W.M.P. van der Aalst
  • Lecture Notes in Computer Science,
  • 2000
Highly Influential
11 Excerpts


  • M. Shahabuddin
  • run-time flight software modification, in…
  • 2008
1 Excerpt

et al

  • M. Lindvall, C. Ackermann, W. Stratton
  • Using sequence diagrams to detect communication…
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…