Paving the road for formally defined architecture description in software development

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 2337-2343

  Weinreich, Rainer ^a   Buchgeher, Georg ^b  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^b SOFTWARE COMPETENCE CENTER HAGENBERG   (Austria)

Author keywords

architecture description language (ADL); architecture modeling; architecture validation; software architecture

Indexed keywords

ARCHITECTURE DESCRIPTION; ARCHITECTURE DESCRIPTION LANGUAGES; ARCHITECTURE MODELING; FORMAL APPROACH; SEAMLESS TRANSITION; SOFTWARE ARCHITECTURE DESIGN; SOFTWARE DEVELOPMENT;

COMPUTER SOFTWARE; LINGUISTICS; SOFTWARE DESIGN;

SOFTWARE ARCHITECTURE;

EID: 77954752097     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774571     Document Type: Conference Paper

References (25)

1. Principles behind the agile manifesto. http://agilemanifesto.org/ principles.html.
2. S. Abrams, B. Bloom, P. Keyser, D. Kimelman, E. Nelson, W. Neuberger, T. Roth, I. Simmonds, S. Tang, and J. Vlissides. Architectural thinking and modeling with the architects' workbench. IBM Syst. J., 45(3):481-500, 2006.
3. J. Aldrich, C. Chambers, and D. Notkin. Archjava: connecting software architecture to implementation. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering, pages 187-197, New York, NY, USA, 2002. ACM.
4. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol., 6(3):213-249, July 1997.
5. G. Buchgeher and R. Weinreich. Integrated software architecture management and validation. Software Engineering Advances, International Conference on, 0:427-436, 2008.
6. G. Buchgeher and R. Weinreich. Connecting architecture and implementation (to appear). In R. Meersman, P. Herrero, and T. Dillon, editors, OTM 2009 Workshops, Lecture Notes in Computer Science. Springer, November 2009.
7. G. Buchgeher and R. Weinreich. Tool support for component-based software architectures (to appear). In 16th Asia-Pacific Software Engineering Conference (APSEC 09). IEEE Computer Society Press, December 2009.
8. E. M. Dashofy, A. van der Hoek, and R. N. Taylor. A comprehensive approach for the development of modular software architecture description languages. ACM Trans. Softw. Eng. Methodol., 14(2):199-245, April 2005.
9. A. Egyed. Instant consistency checking for the uml. In ICSE '06: Proceedings of the 28th international conference on Software engineering, pages 381-390, New York, NY, USA, 2006. ACM.
10. P. H. Feiler, D. P. Gluch, and J. J. Hudak. The architecture analysis & design language (aadl): An introduction. Technical report, Software Engineering Institute (SEI) Carnegie Mellon, February 2006.
11. M. Fowler. Is design dead? http://www.martinfowler.com/articles/ designDead.html, May 2004.
12. D. Garlan. Formal modeling and analysis of software architecture: Components, connectors, and events. In M. Bernardo and P. Inverardi, editors, Formal Methods for Software Architectures, volume 2804 of Lecture Notes in Computer Science, pages 1-24. Springer, 2003.
13. D. Garlan, R. Monroe, and D. Wile. ACME: An architecture description interchange language. In CASCON '97: Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research. IBM Press, 1997.
14. D. Garlan and B. Schmerl. Architecture-driven modelling and analysis. In SCS '06: Proceedings of the eleventh Australian workshop on Safety critical systems and software, pages 3-17, Darlinghurst, Australia, Australia, 2006. Australian Computer Society, Inc.
15. H. Heinecke, K.-P. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, J. Leflour, J.-L. Maté, K. Nishikawa, and T. Scharnhorst. AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E Architectures. In Convergence International Congress & Exposition On Transportation Electronics, pages 325-332, 2004.
16. C. Hofmeister. Architecting session report. In WICSA '05: Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pages 209-210, Washington, DC, USA, 2005. IEEE Computer Society.
17. H. Koziolek, S. Becker, J. Happe, and R. Reussner. Life-cycle aware modelling of software components. In CBSE '08: Proceedings of the 11th International Symposium on Component-Based Software Engineering, pages 278-285. Springer, 2008.
18. 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.
19. N. Medvidovic, E. M. Dashofy, and R. N. Taylor. Moving architectural description from under the technology lamppost. Information and Software Technology, 49(1):12-31, January 2007.
20. N. Medvidovic and D. S. Rosenblum. Domains of concern in software architectures and architecture description languages. In Proceedings of the Conference on Domain-Specific Languages, October 15-17, 1997, Santa Barbara, California, USA, page 16, Berkeley, CA, USA, 1997. USENIX Association.
21. N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng., 26(1):70-93, January 2000.
22. Object Management Group. Uml superstructure specification v2.2. OMG Document Number formal/07-02-05 [Online]. Available: http://www.omg.org/spec/ UML/2.2/. [Accessed: Oct. 29, 2009], 2007.
23. M. Shaw and P. Clements. The golden age of software architecture. IEEE Softw., 23(2):31-39, March 2006.
24. R. N. Taylor, N. Medvidovic, and E. M. Dashofy. Software Architecture: Foundations, Theory, and Practice. John Wiley & Sons, January 2009.
25. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee. The koala component model for consumer electronics software. Computer, 33(3):78-85, March 2000.