Jing Zhang Thomas Cottenier Aswin van den Berg Jeff Gray

Slides:



Advertisements
Similar presentations
Working with the Council. How can we help…  Establishing and maintaining links with landlords, letting agents and landlord groups  Helping to build.
Advertisements

Aspect Oriented Programming. AOP Contents 1 Overview 2 Terminology 3 The Problem 4 The Solution 4 Join point models 5 Implementation 6 Terminology Review.
An Aspect-Oriented Approach For Web Application Access Control Presented by: Mohamed Hassan Carleton University Carleton University
1 JAC : Aspect Oriented Programming in Java An article review by Yuval Nir and Limor Lahiani.
Summary of the lecture We introduced the instantiation dependency –This is a binary relationship (a relationship between two classes). –It is directional,
2-1 © Prentice Hall, 2007 Chapter 2: Introduction to Object Orientation Object-Oriented Systems Analysis and Design Joey F. George, Dinesh Batra, Joseph.
Architecture-driven Modeling and Analysis By David Garlan and Bradley Schmerl Presented by Charita Feldman.
C++ Training Datascope Lawrence D’Antonio Lecture 11 UML.
P247. Figure 9-1 p248 Figure 9-2 p251 p251 Figure 9-3 p253.
UML. Overview of UML Diagrams Structural : element of spec. irrespective of time Class Component Deployment Object Composite structure Package Behavioral.
World War I Alliance System Activity. Answer these 3 questions 1. What starts a conflict? 2. What are some reasons that others join in on a conflict?
1 Model Interface Implementation for Two-Way Obliviousness in Aspect-Oriented Modeling Presented by Wuliang Sun Department of Computer Science Baylor University.
Deriving AO Software Architectures using the AO-ADL Tool Suite Luis Fernández, Lidia Fuentes, Mónica Pinto, Juan A. Valenzuela Universidad de Málaga
1 Thomas Cottenier 1,2, Aswin van den Berg 1, Tzilla Elrad 2 1 Software and System Engineering Research Lab, Motorola Labs 2 Concurrent Programming Research.
Towards Executable Aspect-Oriented UML Models 10th Int. Workshop on Aspect-Oriented Modeling (AOM), 6th Int. Conf. on Aspect-Oriented Software Development.
Aspect Oriented Programming Razieh Asadi University of Science & Technology Mazandran Babol Aspect Component Based Software Engineering (ACBSE)
VERIFICATION OF ASPECT ORIENTED MODELS BY DON MARTIN JAYASHREE VENKIPURAM PATHANGI PIYUSH SRIVASTAVA REFERENCES F. Mostefaoui and J. Vachon,” Design level.
E-R Modeler: A Database Modeling Toolkit for Eclipse Hui Wu wuh -at- cis.uab.edu Academic Advisor : Dr. Jeff Gray gray -at-
Unified Modeling Language, Version 2.0
What is “model transformation”? Distinction between source and target Source may be same as target May be multiple sources, or targets Reaching a fixed.
Programming in Java Unit 3. Learning outcome:  LO2:Be able to design Java solutions  LO3:Be able to implement Java solutions Assessment criteria: 
MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective.
System Analysis System Analysis - Mr. Ahmad Al-Ghoul System Analysis and Design.
Aspect Oriented Programming Sumathie Sundaresan CS590 :: Summer 2007 June 30, 2007.
VERIFICATION OF ASPECT-ORIENTED MODELS Review of Aspect-Oriented Definitions aspect – crosscutting concern that may involve multiple classes pointcut –
A Meta-Level Specification and Profile for AspectJ in UML Joerg Evermann School of Information Management Victoria University of Wellington.
Modeling Shari L. Pfleeger and Joanne M. Atlee, Software Engineering: Theory and Practice, 4 th edition, Prentice Hall, Hans Van Vliet, Software.
Bachelor of Information Technology 1. SepaliProject\Sound\Start.wav 2. University of Colombo School of Computing No. 35, Reid Avenue. Colombo 07 SepaliProject\Sound\Start.wav.
UML diagrams What is UML UML diagrams –Static modeoing –Dynamic modeling 1.
1 Advanced Software Architecture Muhammad Bilal Bashir PhD Scholar (Computer Science) Mohammad Ali Jinnah University.
Introduction Better Faster Cheaper (pick any two) On-going issue that continues to motivate research in software engineering Applications: –continue to.
7 th International Workshop on Aspect-Oriented Modeling October 2, 2005 Half Moon Resort, Jamaica
Verification of behavioural elements of UML models using B Truong, Ninh-Thuan and Souquieres, Jeanine In Proceedings of the 2005 ACM Symposium on.
1.3 Solving Equations. A. Q,R B. Q C. N,W,Z D. All of the above Countdown 10 Response Grid.
2 2009/10 Object Oriented Technology 1 Topic 2: Introduction to Object-Oriented Approach Reference: u Ch.16 Current Trends in System Development (Satzinger:
A Generative Approach to Model Interpreter Evolution Jing Zhang, Jeff Gray, and Yuehua Lin {zhangj, gray, cis.uab.edu Dept. of Computer & Information.
Unified Modelling Language (UML) Software Engineering Lab. Sharif University of Technology.
Topics for exam in AOSD Basic concepts: tangling, scattering, joinpoint, advice, cross-cutting, weaving AspectJ: syntax, pointcut notations, around, proceed,
PRESENTATION 2 Sri Raguraman CIS 895 Kansas State University.
Lab 5 CPIT 250 System Analysis and Design.
Oct. 2 nd 2007 A Modeling Framework for Self-Healing Software Systems Michael Jiang, Jing Zhang*, David Raymer and John Strassner Motorola.
Lecture 9-1 : Intro. to UML (Unified Modeling Language)
Week 04 Object Oriented Analysis and Designing. What is a model? A model is quicker and easier to build A model can be used in simulations, to learn more.
1 Unified Modeling Language, Version 2.0 Chapter 2.
Towards an Aspect-oriented Language Module: Aspects for Petri Nets Tim Molderez, Bart Meyers, Dirk Janssens and Hans Vangheluwe Ansymo Antwerp Systems.
1 CS 430 Database Theory Winter 2005 Lecture 3: A Fifty Minute Introduction to Data Modeling.
Introduction to UML and Rational Rose UML - Unified Modeling Language Rational Rose 98 - a GUI tool to systematically develop software through the following.
Unified Modeling Language. What is UML? Standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems,
UML (Unified Modeling Language)
Slide 1 Unified Modeling Language, Version 2.0 Object-Oriented SAD.
CS 350 – Software Design UML – The Unified Modeling Language – Chapter 2 The Unified Modeling Language is a visual language used to create models of programs.
CHAPTER
UML Diagrams By Daniel Damaris Novarianto S..
Security Issues Formalization
Object-Oriented Techniques
Systems Analysis and Design With UML 2
Systems Analysis and Design With UML 2
UML Diagrams Jung Woo.
Business Intelligence: A Managerial Approach (2nd Edition)
Object Oriented Analysis and Design
Introduction to UML.
Copyright 2007 Oxford Consulting, Ltd
A Generative Approach to Model Interpreter Evolution
Software requirements
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
Poster Title: Background and Introduction Methods and Results
AspectAda Aspect-Oriented Programming for Ada95
UML  UML stands for Unified Modeling Language. It is a standard which is mainly used for creating object- oriented, meaningful documentation models for.
ARV: Aspect Refactoring Verifier
Presentation transcript:

Jing Zhang Thomas Cottenier Aswin van den Berg Jeff Gray Aspect Interference and Composition in the Motorola Aspect-Oriented Modeling Weaver Jing Zhang Thomas Cottenier Aswin van den Berg Jeff Gray University of Alabama at Birmingham

Motorola WEAVR A Profile for modeling Aspects in UML 2.0 Pointcut Composition

X, … Q, R, S,.. Y (N, j) (M, i) D

X, … Q, R, S, T, U, V, W, …, Z (N, i) (M, i) (O, j) D1 D2

X, … Q,R, S,.. Y Tu (N, j) Ts (A, i) Ts’ X, … Q,R, S Q, R, S Y

Motorola WEAVR Aspect deployment entities

Motorola WEAVR An Agent for visualizing Joinpoints and Analyze Joinpoint Effects

Motorola WEAVR

Figure 4. Aspect composition. package1 <- Aspect1,Aspect2,Aspect3,Aspect4 ALL – package1 <- Aspect3,Aspect4

Aspect3 is hidden by Aspect2: Aspect3 will be inactivated when both Aspect2 and Aspect3 match at the same join point Aspect2 => ¬Aspect3 Aspect4 is dependent on Aspect3: the presence of Aspect4 implies that Aspect3 has to be present at the same join point as well Aspect4 => Aspect3

Aspect Interference and Composition in WEAVR Conclusions Contribution: approach that allows precedence relationships to be specified at the modeling level to prevent undesirable interferences between aspects Also: - Composition of Transition Pointcuts maintains properties - Transition Pointcut Designators make sense