Modeling of software concerns in Cosmos

ABSTRACT

Separation of concerns is a well-established principle of software engineering. Nevertheless, the failure to separate concerns effectively has been identified as a continuing cause of the ongoing software crisis. This failure arises in part because most programming and modeling formalisms enforce a dominant decomposition that allows only a few concerns to be separated, whereas software in reality is subject to multiple simultaneous, overlapping, and crosscutting concerns.Several approaches to "advanced separation of concerns" have been proposed, including subject-oriented programming, aspect-oriented programming, and Hyperspaces. These focus mainly on coding but take a multidimensional view of concerns that applies across the software life cycle. To support such approaches, we are developing Cosmos, a general-purpose concern-space modeling schema. Cosmos distinguishes logical and physical concerns. Logical concerns include classifications, classes, instances, properties, and topics, physical include instances, collections, and attributes. Cosmos also identifies four categories of relationship, including categorical, interpretive, mapping, and physical. Cosmos can support software development activities such as rationale capture, impact analysis, compositional development, change propagation, customization, and reuse.

REFERENCES

• 1: Mehmet Aksit , Ken Wakita , Jan Bosch , Lodewijk Bergmans , Akinori Yonezawa, Abstracting Object Interactions Using Composition Filters, Proceedings of the Workshop on Object-Based Distributed Programming, p.152-184, July 26-27, 1993
• 2: Batory, D. Refinements and Separation of Concerns. Second Workshop on Multi-Dimensional Separation of Concerns, Int. Conf. on Software Eng., Limerick, Ireland, June 2000.
• 3: Jaelson Castro , Manuel Kolp , John Mylopoulos, Towards requirements-driven information systems engineering: the Tropos project, Information Systems, v.27 n.6, p.365-389, September 2002 [doi>10.1016/S0306-4379(02)00012-1]
• 4: Siobhán Clarke , William Harrison , Harold Ossher , Peri Tarr, Subject-oriented design: towards improved alignment of requirements, design, and code, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.325-339, November 01-05, 1999, Denver, Colorado, United States
• 5: Tzilla Elrad , Robert E. Filman , Atef Bader, Aspect-oriented programming: Introduction, Communications of the ACM, v.44 n.10, p.29-32, Oct. 2001 [doi>10.1145/383845.383853]
• 6: 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
• 7: William Harrison , Harold Ossher, Subject-oriented programming: a critique of pure objects, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.411-428, September 26-October 01, 1993, Washington, D.C., United States
• 8: Harold Ossher , William Harrison , Peri Tarr, Software engineering tools and environments: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.261-277, June 04-11, 2000, Limerick, Ireland [doi>10.1145/336512.336569]
• 9: IBM. Hyper/J. http://www.research.ibm.com/hyperspace/HyperJ/.
• 10: IEEE. IEEE Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE Std. 1471-2000. Approved 21 Sep. 2000.
• 11: ISO/IEC. ISO/IEC 13250 Topic Maps. 47 p. Dec. 1999.
• 12: Iyengar, A. Design and Performance of a General Purpose Software Cache. In Proc. of the 18th IEEE Int. Performance, Computing, and Communications Conf. (IPCCC'99), Phoenix/Scottsdale, Arizona, Feb. 1999.
• 13: Kiczales, G., Lamping, J. Mendhekar, A., Maeda, C., Lopes, C. V., Loingtier, J.-M., and Irwin, J. Aspect-Oriented Programming. European Conf. on Object Oriented Programming, Finland. Springer-Verlag LNCS 1241, June 1997.
• 14: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001 [doi>10.1145/383845.383858]
• 15: Axel van Lamsweerde, Requirements engineering in the year 00: a research perspective, Proceedings of the 22nd international conference on Software engineering, p.5-19, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337184]
• 16: Memmert, J. Personal communication. September, 2001.
• 17: Merriam-Webster Collegiate Dictionary on line, http://www.m-2.com/
• 18: Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein, Expressing the relationships between multiple views in requirements specification, Proceedings of the 15th international conference on Software Engineering, p.187-196, May 17-21, 1993, Baltimore, Maryland, United States
• 19: Object Management Group. OMG Unified Modeling Language Specification, version 1.4, Sep. 2001.
• 20: D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
• 21: Rouvellou, I., Sutton Jr., S. M., and Tai, S. Multi-dimensional Separation of Concerns in Middleware; in Workshop on Multi-Dimensional Separation of Concerns in Software Engineering -- 22nd Int. Conf. on Software Eng., 2000, pp. 106-111.
• 22: Sutton Jr., S. M. Multidimensional Separation of Concerns in Testing. First Workshop on Multi-dimensional Separation of Concerns in Object-Oriented Systems. Conf. on Object-Oriented Programming, Systems, Languages, and Applications, Denver, Colorado, Nov. 1999.
• 23: Sutton Jr., S. M. and Rouvellou, I. Concerns in the Design of a Software Cache. Workshop on Advanced Separation of Concerns in Object-Oriented Systems. Conf. on Object-Oriented Programming, Systems, Languages, and Applications, Minneapolis, Minnesota, Nov. 2000.
• 24: Sutton Jr., S. M. and Rouvellou, I. Advanced Separation of Concerns for Component Evolution. Workshop on Engineering Complex Object Oriented Systems for Evolution. Conf. on Object-Oriented Programming. Systems, Languages, and Applications, Tampa, Florida, Oct. 2001.
• 25: Peri Tarr , Harold Ossher , William Harrison , Stanley M. Sutton, Jr., N degrees of separation: multi-dimensional separation of concerns, Proceedings of the 21st international conference on Software engineering, p.107-119, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302457]
• 26: Eric S. K. Yu , John Mylopoulos, Understanding “why” in software process modelling, analysis, and design, Proceedings of the 16th international conference on Software engineering, p.159-168, May 16-21, 1994, Sorrento, Italy

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques

General Terms:
Design, Languages

Keywords:
AOSD, MDSOC, aspect-oriented software development, concern-space modeling, cosmos, hyperspaces, multidimensional separation of concerns, software information modeling