Obvious or not?: regulating architectural decisions using aspect-oriented programming

ABSTRACT

The construction of complex, evolving software systems requires a high-level design model. However, this model tends not to be enforced on the system, leaving room for the implementors to diverge from it, thus differentiating the designed system from the actual implemented one. The essence of the problem of enforcing such models lies in their globality. The principles and guidelines conveyed by these models cannot be localized in a single module, they must be observed everywhere in the system. A mechanism for enforcement needs to have a global view of the system and to report breaches in the model at the time they occur.Aspect-Oriented Programming has been proposed as a new software engineering approach. Unlike contemporary software engineering methods, which are module centered, Aspect Oriented Programming provides mechanisms for the definition of cross-module interactions. We explore the possibility of using Aspect-Oriented Programming in general and the AspectJ programming language in particular for the enforcement of design models.

REFERENCES

• 1: Robert J. Walker , Elisa L. A. Baniassad , Gail C. Murphy, An initial assessment of aspect-oriented programming, Proceedings of the 21st international conference on Software engineering, p.120-130, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302458]
• 2: Grady Booch , James Rumbaugh , Ivar Jacobson, The Unified Modeling Language user guide, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999
• 3: Carolyn K. Duby, Scott Meyers, and Steven P. Reiss. CCEL: A metalanguage for C++. In USENIX C++ Technical Conference Proceedings, pages 99-115, Portland, OR, 10-13 1992. USENIX Assoc. Berkeley, CA, USA.
• 4: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 5: David Garlan , Dewayne E. Perry, Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, v.21 n.4, p.269-274, April 1995
• 6: Gregor Kiczales, John Lamping, Anurag Menhdhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Akşit and Satoshi Matsuoka, editors, ECOOP '97 --- Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, volume 1241, pages 220-242. Springer-Verlag, New York, NY, 1997.
• 7: Martin Lippert , Cristina Videira Lopes, A study on exception detection and handling using aspect-oriented programming, Proceedings of the 22nd international conference on Software engineering, p.418-427, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337229]
• 8: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 9: Naftaly H. Minsky, Law-governed regularities in object systems: part I: an abstract model, Theory and Practice of Object Systems, v.2 n.4, p.283-301, 1996 [doi>10.1002/(SICI)1096-9942(1996)2:4<283::AID-TAPO4>3.0.CO;2-V]
• 10: Naftaly H. Minsky , Partha Pratim Pal, Law-governed regularities in object systems. Part 2: a concrete implementation, Theory and Practice of Object Systems, v.3 n.2, p.87-101, 1997 [doi>10.1002/(SICI)1096-9942(1997)3:2<87::AID-TAPO2>3.3.CO;2-P]
• 11: Naftaly H. Minsky, Why Should Architectural Principles be Enforced?, Proceedings of the Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions, p.89, July 09-11, 1998
• 12: Naftaly H. Minsky , Victoria Ungureanu, Regulated Coordination in Open Distributed Systems, Proceedings of the Second International Conference on Coordination Languages and Models, p.81-97, September 01-03, 1997
• 13: Mohlalefi Sefika , Aamod Sane , Roy H. Campbell, Monitoring compliance of a software system with its high-level design models, Proceedings of the 18th international conference on Software engineering, p.387-396, March 25-29, 1996, Berlin, Germany
• 14: Boris Bokowski, CoffeeStrainer: statically-checked constraints on the definition and use of types in Java, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.355-374, September 06-10, 1999, Toulouse, France
• 15: Premkumar T. Devanbu, GENOA: a customizable language- and front-end independent code analyzer, Proceedings of the 14th international conference on Software engineering, p.307-317, May 11-15, 1992, Melbourne, Australia [doi>10.1145/143062.143148]
• 16: Carolyn K. Duby, Scott Meyers, and Steven P. Reiss, CCEL: A metalanguage for C++, USENIX C++ Technical Conference Proceedings (Portland, OR), USENIX Assoc. Berkeley, CA, USA, 10-13 1992, pp. 99-115.
• 17: Naftaly H. Minsky , Victoria Ungureanu, Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.3, p.273-305, July 2000 [doi>10.1145/352591.352592]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Design languages

General Terms:
Design, Languages