Modeling and analyzing architectural change with alloy

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 2257-2264

  Hansen, Klaus Marius ^a   Ingstrup, Mads ^b  

^a UNIVERSITY OF ICELAND   (Iceland)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVITY; ARCHITECTURAL CHANGES; ASSOCIATED TOOL; FORMAL MODELING AND VERIFICATION; MODELLING LANGUAGE; RUNTIMES; TOOL SUPPORT;

CERIUM ALLOYS; LINGUISTICS;

ARCHITECTURE;

EID: 77954721627     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774560     Document Type: Conference Paper

References (22)

1. J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger. A survey of self-management in dynamic software architecture specifications. In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pages 28-33, New York, NY, USA, 2004. ACM.
2. E. M. Dashofy, A. van der Hoek, and R. N. Taylor. Towards architecture-based self-healing systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 21-26, New York, NY, USA, 2002. ACM Press.
3. D. Garlan, S. W. Cheng, A. C. Huang, B. Schmerl, and P. Steenkiste. Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer, 37(10):46-54, 2004.
4. D. Garlan and B. Schmerl. Model-based adaptation for self-healing systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 27-32, New York, NY, USA, 2002. ACM Press.
5. I. Georgiadis, J. Magee, and J. Kramer. Self-organising software architectures for distributed systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 33-38, New York, NY, USA, 2002. ACM.
6. M. Ingstrup and K. M. Hansen. Modeling architectural change - architectural scripting and its applications to reconfiguration. In Proceedings of the Joint Working Conference on Software Architecture 2009 & European Conference on Software Architecture 2009, Cambridge, England, September 2009. IEEE/IFIP, IEEE.
7. D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(2):256-290, 2002.
8. D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pages 62-73. ACM New York, NY, USA, 2001.
9. J. Kim and D. Garlan. Analyzing architectural styles with alloy. In Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, pages 70-80. ACM New York, NY, USA, 2006.
10. J. Koehler, B. Nebel, J. Hoffmann, and Y. Dimopoulos. Extending planning graphs to an adl subset. In Recent Advances in AI Planning, volume 1348 of Lecture Notes in Computer Science, pages 273-285. Springer, 1997.
11. J. Kramer and J. Magee. Dynamic configuration for distributed systems. Software Engineering, IEEE Transactions on, SE-11(4):424-436, 1985.
12. D. Le Metayer. Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering, 24(7):521-533, 1998.
13. D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using rapide. Software Engineering, IEEE Transactions on, 21(4):336-354, 1995.
14. P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimhigner, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum, and A. L. Wolf. An architecture-based approach to self-adaptive software. Intelligent Systems and Their Applications, IEEE [see also IEEE Intelligent Systems], 14(3):54-62, 1999.
15. P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proceedings of the 20th International Conference on Software Engineering, pages 177-186, 1998.
16. P. Oreizy and R. N. Taylor. On the role of software architectures in runtime system reconfiguration. IEE Proceedings - Software, 145(5):137-145, 1998.
17. D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40-52, 1992.
18. B. C. Smith. Limits of correctness in computers. In R. Kling, editor, Computerization and controversy: value conflicts and social choices, pages 810-825. Academic Press, Morgan Kaufmann, second edition, 1996.
19. Software Engineering Standards Committee. IEEE recommended practice for architectural description of software-intensive systems. Technical Report IEEE Std 1471-2000, IEEE Computer Society, 2000.
20. M. Vaziri and D. Jackson. Some shortcomings of ocl, the object constraint language of uml. In Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34), pages 555+, Washington, DC, USA, 2000. IEEE Computer Society.
21. J. Warmer and A. Kleppe. The object constraint language: precise modeling with UML. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.
22. S. R. White, J. E. Hanson, I. Whalley, D. M. Chess, and J. O. Kephart. An architectural approach to autonomic computing. In Autonomic Computing, 2004. Proceedings. International Conference on, pages 2-9, June 2004.