V. Vranić — AspectJ Paradigm Model — GCSE 2001 AspectJ Paradigm Model A Basis for...

V. Vranić — AspectJ Paradigm Model — GCSE 2001

AspectJ Paradigm Model

A Basis for Multi-Paradigm Design for AspectJ

Valentino Vranić [email protected]

Department of Computer Science and Engineering

Faculty of Electrical Engineering and Information Technology

Slovak University of Technology in Bratislava

2V. Vranić — AspectJ Paradigm Model — GCSE 2001

Presentation Overview

• Multi-paradigm design• Feature modeling• Multi-paradigm design with feature modeling• AspectJ paradigm model• Transformational analysis• An example: Text editing buffers• Conclusions


Multi-Paradigm Design (MPD)

• MPD for C++ (J. O. Coplien)• Programming paradigms:– Large-scale paradigms– Small-scale paradigms

• Scope, commonality, variability, and relationship (SCVR) analysis

• Transformational analysis


Family table (from solution domain SCVR analysis)

Transformational Analysis in MPD

Parameters of Variation Meaning Domain Binding Default

BindingCommonality Variability Instantiation Language Mechanism

P1

Generalization of P1

(values P1 can take)

(default value for P1)

…

Variability tables (from application domain SCVR analysis)Domain D1 (main commonality of D1)

…


Feature Modeling• A conceptual modeling technique

c

f1 f2 f3 f4

f5 f6 f7

Feature diagrams– directed trees with edge

decorations– root = concept,

other nodes = features– common and variable

features– variation points

Other information– Semantic description– Rationale– Constraints– Default dependency

rules– Binding mode– Instantiation


MPD with Feature Modeling

• Feature models instead of tables and informal description

• Both feature modeling and SCVR analysis are based on commonalities and variabilities

• SCVR analysis and feature modeling:– scope concept– commonality common feature– variability variable feature– relationship feature diagrams hierarchy


Family table

MPD and

MPD with Feature Modeling

Parameters of Variation Meaning Domain Binding Default

variation pointsemantic description, rationale

alternative features

binding mode

default dependency rules

Variability table

Domain D1 (main commonality of D1 concept)

BindingCommonality Variability Instantiation Language Mechanism

common feature

binding mode

variable feature

additional information

concept


AspectJ Paradigm Model

Class

Overloading

inner fields Methods

type value

… … [run time]

Interface

constants declarations of Methods

Aspect

Advices Introductions fields Methods inner

[compile time]

type value

… … [run time]

Inheritance

base type implements

subtype

extends

Class Interface Aspect


AspectJ

Aspect Interface Class Inheritance


AspectJ Paradigm Model: Class Paradigm

Class

Overloading


type value

… … [run time]

Method

return value arguments static

non-static type value

… …

type value

… … [run time] [run time]

body

… static: [source time] non-static: [run time]

Overloading

name of Method

arguments of Method

body of Method

number type

return value

… [compile time]


AspectJ Paradigm Model: Aspect Paradigm

Aspect


[compile time]

type value

… … [run time]

Advice

before

static join points dynamic join points

pointcut after around context

[run time] [compile time] … …

Introduction

types

Classes Interfaces

field Method

… … [compile time]


Transformational Analysis

• Prerequisites:– Solution domain feature model– Application domain feature model

• Matching of application domain feature model nodes with the solution domain feature model nodes– Points to the paradigms to be used for application

domain structures– Two nodes match if they conceptually represent the

same thing


Matching the Nodes

1. Select a node F from the application domain feature model

2. Try to match F’s children with the children of some node P that represents a paradigm in the solution domain feature model

3. If a match has been found for all of the F’s children, then F matches with P

4. A paradigm that represented by P should be used to implement feature F


The Process of Transformational Analysis

• Find the matching for all of the nodes in the application domain feature model

• Try to match the application domain nodes with the paradigms of “higher order” — the paradigms based on other paradigms (inheritance and overloading in AspectJ)

• Translate the results of the transformational analysis into the code:– directly– through a specific design method pointed to by MPD


An Example: Text Editing Buffers

• Represent a state of a file being edited• Employ different working set management

schemes• Use different character sets• Load and save the contents into a file• Maintain a record of the number of lines and

characters, cursor position, etc.


File read

write

status

name

contents

Unix File

read

write

database

read

write

…

ASCII

UNICODE

…

Character Set

yield data

replace data

load file

save file

Debugging Code debug

production

File DC

Character Set DC

Working Set Management DC

whole file yield data

replace data

whole page

LRU fixed

yield data replace data

yield data

replace data

…

Working Set Management

cursor position

number of characters

number of lines

Text Editing Buffer


Text Editing Buffer Text Editing Buffer

File read

write

status

name

contents

Unix File

read

write

database

read

write

…

ASCII

UNICODE

…

Character Set

yield data

replace data

load file

save file


production

File DC

Character Set DC



replace data

whole page

LRU fixed


yield data

replace data

…


Class

Overloading


type value

… … [run time]

cursor position


number of lines

cursor position


number of lines

yield data

replace data

load file

save file


File read

write

status

name

contents

Unix File

read

write

database

read

write

…

ASCII

UNICODE

…

Character Set


production

File DC

Character Set DC



replace data

whole page

LRU fixed


yield data

replace data

…


cursor position


number of lines

yield data

replace data

load file

save file Method



… …

type value


body


read

statusname

contents

File

write

statusname

contents

Text Editing Buffer


File read

write

status

name

contents

Unix File

read

write

database

read

write

…

ASCII

UNICODE

…

Character Set

yield data

replace data


production

File DC

Character Set DC



replace data

whole page

LRU fixed


yield data

replace data

…


cursor position


number of lines

yield data

replace data

load file

save file Method



… …

type value


body


read

write read

write

read

write

Text Editing Buffer


File

status

name

contents

Unix File

database

…

ASCII

UNICODE

…

Character Set

load file

save file


production

File DC

Character Set DC



replace data

whole page

LRU fixed


yield data

replace data

…


cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

Class

Overloading


type value

… … [run time]

Text Editing Buffer


ASCII

UNICODE

…

Character Set


production

File DC

Character Set DC



replace data

whole page

LRU fixed


yield data

replace data

…


cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

Inheritance


subtype

extends



Text Editing Buffer


ASCII

UNICODE

…

Character Set


production

File DC

Character Set DC



replace data

whole page

LRU fixed


yield data

replace data

…


cursor position


number of lines

cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

Inheritance


subtype

extends



ASCII

UNICODE

…

Character Set

Text Editing Buffer



production

File DC

Character Set DC


whole file

yield data

replace data

whole page

LRU fixed


yield data

replace data

…


cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

ASCII

UNICODE

…

Character Set

whole file

yield data

replace data

whole page

LRU fixed


yield data

replace data

…


Inheritance


subtype

extends



Text Editing Buffer



production

File DC

Character Set DC


cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

Inheritance


subtype

extends



ASCII

UNICODE

…

Character Set

whole file

yield data

replace data

whole page

LRU fixed


yield data

replace data

…


Text Editing Buffer



production

File DC

Character Set DC


cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

ASCII

UNICODE

…

Character Set

whole file

yield data

replace data

whole page

LRU fixed


yield data

replace data

…


Debugging Code

Character Set DC

File DC

debug

production

Advice

before

static join points dynamic join points

pointcut after around context

[run time] [compile time] … …

Aspect


[compile time]

type value

… … [run time]

Text Editing Buffer



cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

ASCII

UNICODE

…

Character Set

whole file

yield data

replace data

whole page

LRU fixed


yield data

replace data

…


Debugging Code

Character Set DC

File DC

debug

production

Inheritance


subtype

extends



whole file


whole page

LRU fixed

…

Text Editing Buffer


cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

ASCII

UNICODE

…

Character Set

whole file

yield data

replace data

whole page

LRU fixed


yield data

replace data

…


Debugging Code

Character Set DC

File DC

debug

production


Text Editing Buffer

Inheritance


subtype

extends




cursor position


number of lines

yield data

replace data

load file

save file read

write read

write

read

write

Unix File

database

…

File

name

contents

status

ASCII

UNICODE

…

Character Set

whole file

yield data

replace data

whole page

LRU fixed


yield data

replace data

…


Debugging Code

Character Set DC

File DC

debug

production


Text Editing Buffer

• Feature diagrams alone do not fully determine the code skeleton

• What other sources are there?

Variability dependency graphs

Other information in feature model


Variability Dependency Graph

Text Editing Buffer

FileCharacter

Set

Debugging Code



class TextBuffer {public: yield(...) {...}; replace(...) {...};

loadFile(...) {...}; saveFile(...) {...};

private: int numLines, numChars, curPosition;. . .}

class WholeFileTextBuffer extends TextBuffer {public: WholeFileTextBuffer(File f, CharacterSet c) {...};

yield(...) {...}; replace(...) {...};. . .}. . .


class File {public: Status readFile(String name, TextBuffer buff) {...} Status writeFile(String name, TextBuffer buff) {...} . . .}

class UnixFile extends File {. . .}. . .

aspect DebuggingCode {. . .}

aspect WorkingSetDebug extends DebuggingCode {. . .}

aspect WholeFileDebug extends WorkingSetDebug {. . .}. . .


Conclusions

A new representation for the solution and application domain in MPD– Based on feature modeling– Involves a new transformational analysis

AspectJ paradigm model

• Further research:– Noting of the transformational analysis results– Incorporating the MPD’s negative variability tables

and variability dependency graphs– Relationship between the MPD and generative

programming

V. Vranić — AspectJ Paradigm Model — GCSE 2001 AspectJ Paradigm Model A Basis for...

Documents

Transcript of V. Vranić — AspectJ Paradigm Model — GCSE 2001 AspectJ Paradigm Model A Basis for...