Kĩ thuật lập trình - Chapter 21: Aspect-oriented software development

Chapter 21 - Aspect-oriented Software DevelopmentLecture 11Chapter 21 Aspect-oriented software engineeringTopics coveredThe separation of concernsAspects, join points and pointcutsSoftware engineering with aspects2Chapter 21 Aspect-oriented software engineeringAspect-oriented software developmentAn approach to software development based around a relatively new type of abstraction - an aspect.Used in conjunction with other approaches - normally object-oriented software engineering.Aspects encapsulate functionality that cross-cuts and co-exists with other functionality.Aspects include a definition of where they should be included in a program as well as code implementing the cross-cutting concern.3Chapter 21 Aspect-oriented software engineeringThe separation of concernsThe principle of separation of concerns states that software should be organised so that each program element does one thing and one thing only.Each program element should therefore be understandable without reference to other elements.Program abstractions (subroutines, procedures, objects, etc.) support the separation of concerns.4Chapter 21 Aspect-oriented software engineeringConcernsConcerns are not program issues but reflect the system requirements and the priorities of the system stakeholders. Examples of concerns are performance, security, specific functionality, etc.By reflecting the separation of concerns in a program, there is clear traceability from requirements to implementation.Core concerns are the functional concerns that relate to the primary purpose of a system; secondary concerns are functional concerns that reflect non-functional and QoS requirements.5Chapter 21 Aspect-oriented software engineeringStakeholder concernsFunctional concerns which are related to specific functionality to be included in a system.Quality of service concerns which are related to the non-functional behaviour of a system. Policy concerns which are related to the overall policies that govern the use of the system. System concerns which are related to attributes of the system as a whole such as its maintainability or its configurability.Organisational concerns which are related to organisational goals and priorities such as producing a system within budget, making use of existing software assets or maintaining the reputation of an organisation.6Chapter 21 Aspect-oriented software engineeringCross-cutting concernsCross-cutting concerns are concerns whose implementation cuts across a number of program components.This results in problems when changes to the concern have to be made - the code to be changed is not localised but is in different places across the system.Cross cutting concerns lead to tangling and scattering.7Chapter 21 Aspect-oriented software engineeringCross-cutting concerns 8Chapter 21 Aspect-oriented software engineeringTangling of buffer management and synchronization code synchronized void put (SensorRecord rec ) {// Check that there is space in the buffer; wait if notif ( numberOfEntries == bufsize)wait () ;// Add record at end of bufferstore [back] = new SensorRecord (rec.sensorId, rec.sensorVal) ;back = back + 1 ;// If at end of buffer, next entry is at the beginningif (back == bufsize)back = 0 ;numberOfEntries = numberOfEntries + 1 ;// indicate that buffer is availablenotify () ;} // put9Chapter 21 Aspect-oriented software engineeringScattering of methods implementing secondary concerns 10Chapter 21 Aspect-oriented software engineeringAspects, join points and pointcutsAn aspect is an abstraction which implements a concern. It includes information where it should be included in a program.A join point is a place in a program where an aspect may be included (woven).A pointcut defines where (at which join points) the aspect will be included in the program.11Chapter 21 Aspect-oriented software engineeringTerminology used in aspect-oriented software engineering TermDefinitionadviceThe code implementing a concern.aspectA program abstraction that defines a cross-cutting concern. It includes the definition of a pointcut and the advice associated with that concern.join pointAn event in an executing program where the advice associated with an aspect may be executed.join point modelThe set of events that may be referenced in a pointcut.pointcutA statement, included in an aspect, that defines the join points where the associated aspect advice should be executed.weavingThe incorporation of advice code at the specified join points by an aspect weaver. 12Chapter 21 Aspect-oriented software engineeringAn authentication aspect aspect authentication{ before: call (public void update* (..)) // this is a pointcut  { // this is the advice that should be executed when woven into // the executing system int tries = 0 ; string userPassword = Password.Get ( tries ) ; while (tries < 3 && userPassword != thisUser.password ( ) ) { // allow 3 tries to get the password right tries = tries + 1 ; userPassword = Password.Get ( tries ) ; }  if (userPassword != thisUser.password ( )) then //if password wrong, assume user has forgotten to logout System.Logout (thisUser.uid) ; }} // authentication 13Chapter 21 Aspect-oriented software engineeringAspectJ - join point modelCall eventsCalls to a method or constructorExecution eventsExecution of a method or constructorInitialisation eventsClass or object initialisationData eventsAccessing or updating a fieldException eventsThe handling of an exception14Chapter 21 Aspect-oriented software engineeringPointcutsIdentifies the specific events with which advice should be associated.Examples of contexts where advice can be woven into a programBefore the execution of a specific methodAfter the normal or exceptional return from a methodWhen a field in an object is modified15Chapter 21 Aspect-oriented software engineeringAspect weavingAspect weavers process source code and weave the aspects into the program at the specified pointcuts.Three approaches to aspect weavingSource code pre-processingLink-time weavingDynamic, execution-time weaving16Chapter 21 Aspect-oriented software engineeringAspect weaving 17Chapter 21 Aspect-oriented software engineeringSoftware engineering with aspectsAspects were introduced as a programming concept but, as the notion of concerns comes from requirements, an aspect oriented approach can be adopted at all stages in the system development process.The architecture of an aspect-oriented system is based around a core system plus extensions.The core system implements the primary concerns. Extensions implement secondary and cross-cutting concerns.18Chapter 21 Aspect-oriented software engineeringCore system with extensions 19Chapter 21 Aspect-oriented software engineeringTypes of extensionSecondary functional extensions Add extra functional capabilities to the core systemPolicy extensionsAdd functional capabilities to support an organisational policy such as securityQoS extensionsAdd functional capabilities to help attain quality of service requirementsInfrastructure extensionsAdd functional capabilities to support the implementation of the system on some platform20Chapter 21 Aspect-oriented software engineeringKey pointsAspect-oriented approach to software development supports the separation of concerns. By representing cross-cutting concerns as aspects, individual concerns can be understood, reused and modified without changing other parts of the program.Tangling occurs when a module in a system includes code that implements different system requirements. Scattering occurs when the implementation of a concern is scattered across several components.Aspects include a pointcut that defines where the aspect will be woven into the program, and advice – the code to implement the cross-cutting concern. Join points are events that can be referenced in a pointcut. To ensure the separation of concerns, systems can be designed as a core system that implements the primary concerns of stakeholders, and a set of extensions that implement secondary concerns.21Chapter 21 Aspect-oriented software engineeringChapter 21 - Aspect-oriented Software DevelopmentLecture 222Chapter 21 Aspect-oriented software engineeringConcern-oriented requirements engineeringAn approach to requirements engineering that focuses on customer concerns is consistent with aspect-oriented software development.Viewpoints are a way to separate the concerns of different stakeholders.Viewpoints represent the requirements of related groups of stakeholders.Cross-cutting concerns are concerns that are identified by all viewpoints.23Chapter 21 Aspect-oriented software engineeringViewpoints and Concerns 24Chapter 21 Aspect-oriented software engineeringViewpoints on an equipment inventory system 1. Emergency service users1.1 Find a specified type of equipment (e.g., heavy lifting gear)1.2 View equipment available in a specified store1.3 Check-out equipment1.4 Check-in equipment1.5 Arrange equipment to be transported to emergency1.6 Submit damage report1.7 Find store close to emergency2. Emergency planners2.1 Find a specified type of equipment2.2 View equipment available in a specified location2.3 Check-in/cCheck out equipment from a store2.4 Move equipment from one store to another2.6 Order new equipment25Chapter 21 Aspect-oriented software engineeringViewpoints on an equipment inventory system 3. Maintenance staff3.1 Check -in/cCheck -out equipment for maintenance3.2 View equipment available at each store3.3 Find a specified type of equipment3.4 View maintenance schedule for an equipment item3.5 Complete maintenance record for an equipment item3.6 Show all items in a store requiring maintenance26Chapter 21 Aspect-oriented software engineeringAvailability-related requirements for the equipment inventory system AV.1 There shall be a ‘hot standby’ system available in a location that is geographically well-separated from the principal system.Rationale: The emergency may affect the principal location of the system.AV.1.1 All transactions shall be logged at the site of the principal system and at the remote standby site.Rationale: This allows these transactions to be replayed and the system databases made consistent.AV.1.2 The system shall send status information to the emergency control room system every five minutes.Rationale: The operators of the control room system can switch to the hot standby if the principal system is unavailable.27Chapter 21 Aspect-oriented software engineeringInventory system - core requirementsC.1 The system shall allow authorised users to view the description of any item of equipment in the emergency services inventory.C.2 The system shall include a search facility to allow authorised users to search either individual inventories or the complete inventory for a specific item or type of equipment.28Chapter 21 Aspect-oriented software engineeringInventory system - extension requirementsE1.1 It shall be possible for authorised users to place orders with accredited suppliers for replacement items of equipment.E1.1.1 When an item of equipment is ordered, it should be allocated to a specific inventory and flagged in that inventory as ‘on order’.29Chapter 21 Aspect-oriented software engineeringAspect-oriented design/programmingAspect-oriented designThe process of designing a system that makes use of aspects to implement the cross-cutting concerns and extensions that are identified during the requirements engineering process.Aspect-oriented programmingThe implementation of an aspect-oriented design using an aspect-oriented programming language such as AspectJ.30Chapter 21 Aspect-oriented software engineeringUse-casesA use-case approach can serve as a basis for aspect-oriented software engineering.Each use case represents an aspect.Extension use cases naturally fit the core + extensions architectural model of a systemJacobsen and Ng develop these ideas of using use-cases by introducing new concepts such as use-case slices and use case modules.31Chapter 21 Aspect-oriented software engineeringUse cases from the inventory management system 32Chapter 21 Aspect-oriented software engineeringExtension use cases 33Chapter 21 Aspect-oriented software engineeringA generic aspect-oriented design process 34Chapter 21 Aspect-oriented software engineeringDesign activitiesCore system design where you design the system architecture to support the core functionality of the system. Aspect identification and design Starting with the extensions identified in the system requirements, you should analyze these to see if they are aspects in themselves or if they should be broken down into several aspects. Composition design At this stage, you analyze the core system and aspect designs to discover where the aspects should be composed with the core system. Essentially, you are identifying the join points in a program at which aspects will be woven. Chapter 21 Aspect-oriented software engineering35Design activitiesConflict analysis and resolution Conflicts occur when there is a pointcut clash with different aspects specifying that they should be composed at the same point in the program. Name design is essential to avoid the problem of accidental pointcuts. These occur when, at some program join point, the name accidentally matches that in a pointcut pattern. The advice is therefore unintentionally applied at that point. Chapter 21 Aspect-oriented software engineering36UML extensionsExpressing an aspect oriented design in the UML requires:A means of modelling aspects using UML stereotypes.A means of specifying the join points where the aspect advice is to be composed with the core system.37Chapter 21 Aspect-oriented software engineeringAn aspect-oriented design model 38Chapter 21 Aspect-oriented software engineeringPart of a model of an aspect 39Chapter 21 Aspect-oriented software engineeringExtension statementIn the method viewItem, after the call to the method getItemInfo, a call to the method displayHistory should be included to display the maintenance record Chapter 21 Aspect-oriented software engineering40Verification and validationThe process of demonstrating that a program meets it specification (verification) and meets the real needs of its stakeholders (validation)Like any other systems,aspect-oriented systems can be tested as black-boxes using the specification to derive the testsHowever, program inspections and ‘white-box’ testing that relies on the program source code is problematic.Aspects also introduce additional testing problems 41Chapter 21 Aspect-oriented software engineeringProgram inspection problemsTo inspect a program (in a conventional language) effectively, you should be able to read it from right to left and top to bottom.Aspects make this impossible as the program is a web rather than a sequential document. You can’t tell from the source code where an aspect will be woven and executed.Flattening an aspect-oriented program for reading is practically impossible.42Chapter 21 Aspect-oriented software engineeringWhite box testingThe aim of white box testing is to use source code knowledge to design tests that provide some level of program coverage e.g. each logical branch in a program should be executed at least once.Aspect problemsHow can source code knowledge be used to derive tests?What exactly does test coverage mean?43Chapter 21 Aspect-oriented software engineeringAspect problemsDeriving a program flow graph of a program with aspects is impossible. It is therefore difficult to design tests systematically that ensure that all combinations of base code and aspects are executed.What does test coverage mean?Code of each aspect executed once?Code of each aspect exeucted once at each join point where aspect woven????44Chapter 21 Aspect-oriented software engineeringTesting problems with aspectsHow should aspects be specified so that tests can be derived?How can aspects be tested independently of the base system?How can aspect interference be tested?How can tests be designed so that all join points are executed and appropriate aspect tests applied?45Chapter 21 Aspect-oriented software engineeringKey pointsTo identify concerns, you may use a viewpoint-oriented approach to requirements engineering to elicit stakeholder requirements and to identify cross-cutting quality of service and policy concerns.The transition from requirements to design can be made by identifying use cases, where each use case represents a stakeholder concern. The problems of inspecting and deriving tests for aspect-oriented programs are a significant barrier to the adoption of aspect-oriented software development in large software projects.46Chapter 21 Aspect-oriented software engineering