Modeling and analyzing architectural change with alloy

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Klaus Marius Hansen, Denmark
  • Mads Ingstrup, Denmark
  • Department of Computer Science
Although adaptivity based on reconfiguration has the potential to improve dependability of systems, the cost of a failed attempt at reconfiguration is prohibitive in precisely the applications where high dependability is required. Existing work on formal modeling and verification of architectural reconfigurations partly achieve the goal of ensuring correctness, however the formalisms used often lack tool support and the ensuing models have uncertain relation to a concrete implementation. Thus a practical way to ensure with formal certainty that specific architectural changes are correct remains a barrier to the uptake of reconfiguration techniques in industry. Using the Alloy language and associated tool, we propose a practical way to formally model and analyze runtime architectural change expressed as architectural scripts. Our evaluation shows the performance to be acceptable; our experience that the modelling language is convenient and expressive, and that our model accurately repesents the implementation it is used to reason about.
Original languageEnglish
Title of host publicationProceedings of the 2010 ACM Symposium on Applied Computing
Number of pages8
PublisherAssociation for Computing Machinery
Publication year2010
ISBN (print)978-1-60558-639-7
Publication statusPublished - 2010
Event2010 ACM Symposium on Applied Computing. SAC '10 - Sierre, Switzerland
Duration: 22 Mar 201026 Mar 2010


Conference2010 ACM Symposium on Applied Computing. SAC '10

See relations at Aarhus University Citationformats

ID: 36565362