A comparison of static architecture compliance checking approaches

2007 Working IEEE/IFIP Conference on Software Architecture (WICSA'07)

Volumn , Issue , 2007, Pages 12-21

  Knodel, Jens ^a   Popescu, Daniel ^b  

^a FRAUNHOFER IESE   (Germany)

^b University of Southern California ^*  (United States)

Author keywords

Access rules; Architecture compliance checking; Architecture evaluation; Conformance rules; SAVE; Software architecture; Static analysis

Indexed keywords

CODES (SYMBOLS); CONFORMAL MAPPING; LOGIC PROGRAMMING; MODEL CHECKING; STATIC ANALYSIS;

ACCESS RULES; ARCHITECTURE COMPLIANCE CHECKING; ARCHITECTURE EVALUATION; CONFORMANCE RULES;

SOFTWARE ARCHITECTURE;

EID: 34547169524     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WICSA.2007.1     Document Type: Conference Paper

References (21)

1. Ackermann, C., Lindvall, M. Dennis, G., (2006) "Redesign for Flexibility and Maintainability: A Case Study ", Technical Report, Fraunhofer Center for Experimental Software Engineering Maryland
2. Aldrich, J.; Chambers, C. & Notkin, D. (2002), "ArchJava: connecting software architecture to implementation", Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, 187-197.
3. Basili, Victor R.; Caldiera, Gianluigi; Rombach, H. Dieter, (1994) "The Goal Question Metric Paradigm", Encyclopedia of Software Engineering (Marciniak, J. J., editor), Volume 1, John Wiley & Sons, pp. 578-583
4. Bayer, J., (2004): "View-Based Software Documentation", PhD, Fraunhofer IRB Verlag.
5. Bosch, J. (2000), "Design and Use of Software Architectures", Addison-Wesley Professional.
6. Christi, A., Koschke, R., & Storey, M.-A. (2005). Equipping the Reflexion Method with Automated Clustering. Working Conference on Reverse Engineering, Pittsburgh, USA.
7. Erzberger H. (2001), "The automated airspace concept". 4th USA/Europe Air Traffic Management R&D Seminar.
8. Dennis G., (2003), "TSAFE: Building a Trusted Computing Base for Air Traffic Control Software." Masters Thesis MT.
9. Garlan, D. A. & Ockerbloom, J. R., (1995) "Architectural mismatch: Why reuse is so hard". IEEE Software, 12(6):17-26, Nov 1995.
10. Holt, R.C., (2005), "Permission Theory for Software Architecture Plus Phantom Architectures", School of Computer Science, University of Waterloo, September 2005.
11. Kolb, R., John, I., Knodel, J., Muthig, D., Haury, U., & Meier, G. (2006). Experiences with Product Line Development of Embedded Systems at Testo AG. Submitted to: The 10th International Software Product Line Conference (SPLC 2006), Baltimore, USA
12. Knodel, J., Lindvall, M., Muthig, D., & Naab, M. (2006). Static Evaluation of Software Architectures. 10th European Conference on Software Maintenance and Reengineering, Bari, Italy.
13. Koschke, R. & Simon, D. (2003), "Hierarchical Reflexion Models", 10th Working Conference on Reverse Engineering (WCRE 2003), 13-16 November 2003, Victoria, Canada, 36-45.
14. Lam, P. & Rinard, M. (2003), "A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information" Proceedings of the 17th European Conference on Object-Oriented Programming, pages 275-302, July 2003
15. Lindvall M., Rus I., Shull F., Zelkowitz M. V., Donzelli P., Memon A., Basili V. R., Costa P., Tvedt R. T., Hochstein L., Asgari S., Ackermann C., and Pech D., "An Evolutionary Testbed for Software Technology Evaluation," Innovations in Systems and Software Engineering - a NASA Journal, vol. 1, no. 1, pp. 3-11, 2005
16. Medvidovic, N. Taylor, R. N. (2000) "A Classification and Comparison Framework for Software Architecture Description Languages," IEEE Transactions on Software Engineering, vol. 26, no. 1, pp. 70-93, Jan., 2000.
17. Murphy, G.C.; Notkin, D. & Sullivan, K.J. (2001), "Software Reflexion Models: Bridging the Gap between Design and Implementation", IEEE Trans. Software Eng. 27(4), 364-380.
18. van Ommering, R., Krikhaar, R., Feijs, L. (2001), "Languages for formalizing, visualizing and verifying software architectures", Computer Languages, Volume 27, (1/3): 3-18
19. OSGi: Open Services Gateway Initiative (2006), http://www.osgi.org/
20. Postma, A. (2003), "A method for module architecture verification and its application on a large component-based system", Information & Software Technology 45(4), 171-194.
21. Shaw, M. Garlan, D. (1996), "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall