ArchJava: connecting software architecture to implementation

ABSTRACT

Software architecture describes the structure of a system, enabling more effective design, program understanding, and formal analysis. However, existing approaches decouple implementation code from architecture, allowing inconsistencies, causing confusion, violating architectural properties, and inhibiting software evolution. ArchJava is an extension to Java that seamlessly unifies software architecture with implementation, ensuring that the implementation conforms to architectural constraints. A case study applying ArchJava to a circuit-design application suggests that ArchJava can express architectural structure effectively within an implementation, and that it can aid in program understanding and software evolution.

REFERENCES

• 1: Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
• 2: {Arc02} Jonathan Aldrich, Craig Chambers, and David Notkin. ArchJava web site. http://www.archjava.org/
• 3: Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 4: Matthew Flatt , Matthias Felleisen, Units: cool modules for HOT languages, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.236-248, June 17-19, 1998, Montreal, Quebec, Canada
• 5: {GS93} David Garlan and Mary Shaw. An Introduction to Software Architecture. In Advances in Software Engineering and Knowledge Engineering, I (Ambriola V, Tortora G, Eds.) World Scientific Publishing Company, 1993.
• 6: Karl J. Lieberherr , Ian M. Holland, Assuring Good Style for Object-Oriented Programs, IEEE Software, v.6 n.5, p.38-48, September 1989 [doi>10.1109/52.35588]
• 7: David C. Luckham , James Vera, An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, v.21 n.9, p.717-734, September 1995 [doi>10.1109/32.464548]
• 8: Sean McDirmid , Matthew Flatt , Wilson C. Hsieh, Jiazzi: new-age components for old-fasioned Java, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.211-222, October 14-18, 2001, Tampa Bay, FL, USA
• 9: Jeff Magee , Jeff Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.3-14, October 16-18, 1996, San Francisco, California, United States
• 10: Gail C. Murphy , David Notkin , Kevin J. Sullivan, Software Reflexion Models: Bridging the Gap between Design and Implementation, IEEE Transactions on Software Engineering, v.27 n.4, p.364-380, April 2001 [doi>10.1109/32.917525]
• 11: Nenad Medvidovic , Peyman Oreizy , Jason E. Robbins , Richard N. Taylor, Using object-oriented typing to support architectural design in the C2 style, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.24-32, October 16-18, 1996, San Francisco, California, United States
• 12: Mark Moriconi , Xiaolei Qian , R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software Engineering, v.21 n.4, p.356-3, April 1995 [doi>10.1109/32.385972]
• 13: Nenad Medvidovic , Richard N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, v.26 n.1, p.70-93, January 2000 [doi>10.1109/32.825767]
• 14: Kim Mens , Roel Wuyts , Theo D'Hondt, Declaratively Codifying Software Architectures Using Virtual Software Classifications, Proceedings of the Technology of Object-Oriented Languages and Systems, p.33, June 07-10, 1999
• 15: Ruben Prieto-Diaz , James M Neighbors, Module interconnection languages, Journal of Systems and Software, v.6 n.4, p.307-334, Nov. 1986 [doi>10.1016/0164-1212(86)90002-6]
• 16: Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
• 17: {RN00} David S. Rosenblum and Rema Natarajan. Supporting Architectural Concerns in Component-Interoperability Standards. IEE Proceedings-Software 147(6), 2000.
• 18: João Costa Seco , Luís Caires, A Basic Model of Typed Components, Proceedings of the 14th European Conference on Object-Oriented Programming, p.108-128, June 12-16, 2000
• 19: Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970]
• 20: Vugranam C. Sreedhar, Mixin'Up components, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581366]
• 21: R. W. Schwanke , V. A. Strack , T. Werthmann-Auzinger, Industrial software architecture with Gestalt, Proceedings of the 8th International Workshop on Software Specification and Design, p.176, March 22-23, 1996

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Languages (e.g., description, interconnection, definition)

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Data abstraction
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Java

General Terms:
Algorithms, Design, Languages