Semantics-based composition for aspect-oriented requirements engineering

ABSTRACT

In this paper, we discuss the limitations of the current syntactic composition mechanisms in aspect-oriented requirements engineering (AORE). We highlight that such composition mechanisms not only increase coupling between aspects and base concerns but are also insufficient to capture the intentionality of the aspect composition. Furthermore, they force the requirements engineer to reason about semantic influences and trade-offs among aspects from a syntactic perspective. We present a requirements description language (RDL) that enriches the existing natural language requirements specification with semantic information derived from the semantics of the natural language itself. Composition specifications are written based on these semantics rather than requirements syntax hence providing improved means for expressing the intentionality of the composition, in turn facilitating semantics-based reasoning about aspect influences and trade-offs. We also discuss the practicality of the use of this RDL by outlining the automation support for requirements annotation (realized as an extension of the Wmatrix natural language processing tool suite) to expose the semantics which are in turn utilized to facilitate composition and analysis (supported by the MRAT tool).

REFERENCES

• 1: AspectJ Project, http://www.eclipse.org/aspectj/, 2006
• 2: WordNet, http://wordnet.princeton.edu/, 2006.
• 3: Early Aspects, net, http://www.early-aspects.net/, 2006.
• 4: James F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, v.26 n.11, p.832-843, Nov. 1983 [doi>10.1145/182.358434]
• 5: Elisa Baniassad , Siobhan Clarke, Theme: An Approach for Aspect-Oriented Analysis and Design, Proceedings of the 26th International Conference on Software Engineering, p.158-167, May 23-28, 2004
• 6: I. S. Brito, A. Moreira, "Advanced Separation of Concerns for Requirements Engineering", VIII Jornadas Ingenieria del Software y Bases de Datos (JISBD), 2003.
• 7: Frederick P. Brooks, Jr., The mythical man-month (anniversary ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 8: R. Chitchyan, S. S. Khan, and A. Rashid, "Modelling and Tracing Composition Semantics in Requirements", Early Aspects 2006: Traceability of Aspects in the Early Life Cycle Workshop (held at AOSD'06), Bonn, Germany, 2006.
• 9: R. Chitchyan, A. Rashid, "Tracing Requirements Interdependency Semantics", Early Aspects 2006: Traceability of Aspects in the Early Life Cycle Workshop Early Aspects WS (held at AOSD'06), Bonn, Germany 2006.
• 10: R. Chitchyan, A. Sampaio, A. Rashid, P. Sawyer, S. S. Khan, "Initial Version of Aspect-Oriented Requirements Engineering Model", Lancaster AOSD-Europe report (D36): AOSD-Europe-ULANC-17, 2006.
• 11: Siobhàn Clarke , Elisa Baniassad, Aspect-Oriented Analysis and Design, Addison-Wesley Professional, 2005
• 12: R. M. W. Dixon, A Semantic Approach to English Grammar, 2 ed. Oxford: Oxford University Press, 2005.
• 13: R. Filman, D. Friedman, "Aspect-Oriented Programming is Quantification and Obliviousness", OOPSLA WS on Advanced Separation of Concerns, 2000.
• 14: K. L. Hale, S. J. Keyser, "A View from the Middle", MIT, Center for Cognitive Science 1987.
• 15: Ivar Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2004
• 16: Ivar Jacobson , Pan-Wei Ng, Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series), Addison-Wesley Professional, 2004
• 17: A. Kellens, K. Mens, J. Brichau, and K. Gybels, "Managing the Evolution of Aspect-Oriented Software with Modelbased Pointcuts", European Conf. on Object-Oriented Programming (ECOOP) 2006, Springer Verlag, LNCS 4067, pp. 501--525.
• 18: SketchEngine, www.sketchengine.co.uk, 2006.
• 19: Roman Knöll , Mira Mezini, Pegasus: first steps toward a naturalistic programming language, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA [doi>10.1145/1176617.1176628]
• 20: B. Levin, English Verb Classes and Alternations: a Preliminary Investigation. Univ. of Chicago Press, 1993.
• 21: Cristina Videira Lopes , Paul Dourish , David H. Lorenz , Karl Lieberherr, Beyond AOP: toward naturalistic programming, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA [doi>10.1145/949344.949400]
• 22: A. Moreira, J. Araújo, "Handling Unanticipated Requirements Change with Aspects", SEKE 2004, pp. 411--415.
• 23: A. Moreira, J. Araujo, and A. Rashid, "A Concern-Oriented Requirements Engineering Model", Proc. Int'l Conference on Advanced Information Systems Engineering (CAiSE) 2005, LNCS, Vol. 3520, pp 293--308.
• 24: Ana Moreira , Awais Rashid , Joao Araujo, Multi-Dimensional Separation of Concerns in Requirements Engineering, Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), p.285-296, August 29-September 02, 2005 [doi>10.1109/RE.2005.46]
• 25: K. Ostermann, M. Mezini, and C. Bockisch, "Expressive Pointcuts for Increased Modularity", European Conf. on Object-Oriented Programming (ECOOP) 2005, Springer, LNCS 3586, pp. 214--240.
• 26: M. K. R. Kazman, M. Barbacci, T. Longstaff, H. Lipson, and J. Carriere, "The Architecture Tradeoff Analysis Method", Int'l Conf. on Eng. Complex Comp. Systems (ICECCS), 1998, IEEE CS Press, pp. 68--78.
• 27: A. Rashid, A. Moreira, "Domain Models are NOT Aspect Free", MoDELS 2006, Springer, LNCS 4199, pp. 155--169.
• 28: Awais Rashid , Ana Moreira , Joāo Araújo, Modularisation and composition of aspectual requirements, Proceedings of the 2nd international conference on Aspect-oriented software development, p.11-20, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643605]
• 29: P. Rayson, "UCREL Semantic Analysis System (USAS)". http://www.comp.lancs.ac.uk/ucrel/usas/, 2006.
• 30: P. Rayson, Wmatrix, http://www.comp.lancs.ac.uk/ucrel/wmatrix/, 2006.
• 31: Américo Sampaio , Ruzanna Chitchyan , Awais Rashid , Paul Rayson, EA-Miner: a tool for automating aspect-oriented requirements identification, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101967]
• 32: David Shepherd , Lori Pollock , K. Vijay-Shanker, Towards supporting on-demand virtual remodularization using program graphs, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119660]
• 33: Ian Sommerville, Software Engineering (7th Edition), Pearson Addison Wesley, 2004
• 34: Stanley M. Sutton, Jr. , Isabelle Rouvellou, Modeling of software concerns in Cosmos, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands [doi>10.1145/508386.508402]
• 35: 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]
• 36: R. W. Waters, "MRAT: A Multidimensional Requirements Analysis Tool", MSc. Dissertation, Lancaster Univ., UK, Oct. 2006.
• 37: J. Whittle, J. Araujo, "Scenario Modeling with Aspects", IEE Proc. --- Software, Vol. 151, No. 4, pp. 157--172, 2004.
• 38: Pete Sawyer , Paul Rayson , Ken Cosh, Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering, IEEE Transactions on Software Engineering, v.31 n.11, p.969-981, November 2005 [doi>10.1109/TSE.2005.129]

INDEX TERMS

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

General Terms:
Design, Documentation, Languages

Keywords:
aspect-oriented requirements engineering, expressive pointcuts, natural language processing, requirements composition