Monitoring architectural properties in dynamic component-based systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4608 LNCS, Issue , 2007, Pages 124-139

  Muccini, Henry ^a   Polini, Andrea ^b   Ricci, Fabiano ^a   Bertolino, Antonia ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; RELIABILITY THEORY; SECURITY OF DATA;

BLACK-BOX COMPONENT SYSTEMS; KERNEL ARCHITECTURE;

SOFTWARE ARCHITECTURE;

EID: 38149107538     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73551-9_9     Document Type: Conference Paper

References (22)

1. Muccini, H., Hierons, R. (eds.): ROSATEA 2006: The Role Of Software Architecture in Testing and Analysis. ACM Digital Library. ACM Press, New York (2006)
2. QOSA Conferences on the Quality of Software Architectures, Lecture Notes on Computer Science (2005-2007)
3. Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng. 30(12), 859-872 (2004)
4. Bertolino, A., Muccini, H., Polini, A.: Architectural verification of black-box componentbased systems. In: RISE2006. Proc. Int. Workshop on Rapid Integration of Software Engineering techniques, vol. to appear as LNCS (2006)
5. Kazman, R., Abowd, G., Bass, L., Clements, P.: Scenario-based analysis of software architecture. IEEE Softw. 13(6), 47-55 (1996)
6. Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: SCESM'06, Shanghai, China, May 27, 2006, ACM Press, New York (2006)
7. PSChome page: http://www.di.univaq.it/psc2ba (2005)
8. CHARMY Project. Charmy WebSite, (http://www.di.univaq.it/charmy)
9. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)
10. Crawford, W.C., Kaplan, J.: J2EE Design Patterns. O'Reilly (2003)
11. Kiviluoma, K., Koskinen, J., Mikkonen, T.: Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. In: ISSTA'06. Proc. Int. Symposium on Software Testing and Analysis, Portland, Maine, pp. 181-190 (2006)
12. Bodden, E.: A lightweight ltl runtime verification tool for java. In: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 306-307. ACM Press, New York (2004)
13. Xiaoguang, M., May, J.: A framework of integration Testing using Aspect!. In: WAOSD. Int. Workshop on Aspect-Oriented Software Development, Beijing, China (2004)
14. Gschwind, T., Oberleitner, J.: Improving dynamic data analysis with aspect-oriented programming. In: CSMR '03. Proc. 7th European Conference on Software Maintenance and Reengineering, Washington, DC, p. 259. IEEE Computer Society Press, Los Alamitos (2003)
15. Bodkin, R.: AOP@Work: Performance monitoring with Aspect! (September 2005) IBM: http://www-128.ibm.com/developerworks/java/library/j-aopwork10/
16. Usui, Y., Chiba, S.: Bugdel: An aspect-oriented debugging system. In: APSEC '05. Proc. 12th Asia-Pacific Software Engineering Conference, Washington, DC, pp. 790-795. IEEE Computer Society Press, Los Alamitos (2005)
17. Katz, S.: Diagnosis of Harmful Aspects Using Regression Verification. In: FOAL workshop in AOSD 2004 (2004)
18. Garlan, D.: Software Architecture: a Roadmap. In: Finkelstein, A. (ed.) ACM ICSE 2000, The Future of Software Engineering, pp. 91-101. ACM Press, New York (2000)
19. Oreizy, P., Medvidovic, N., Taylor, R.: Architecture-Based Runtime Software Evolution. In: ICSE 98. Proc. Int. Conf. on Software Engineering, Kyoto, Japan (1998)
20. Allen, R.J., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, Springer, Heidelberg (1998)
21. Kramer, J., Magee, J.: Analysing Dynamic Change in Software Architectures: A case study. In: Proc. 4th IEEE Int. Conf. on Configurable Distributed Systems, IEEE Computer Society Press, Los Alamitos (1998)
22. Rademake, A., Braga, C., Sztajnberg, A.: A rewriting semantics for a software architecture description language. ENTCS 130, 345-377 (2005)