Abstract | ||
---|---|---|
Tracing program actions back to the concerns that have caused them and blaming specific code artifacts for concern interference are known challenges of AOP and related advanced modularity paradigms. In this work we address these challenges in the context of AspectLTL, a temporal-logic based language for the specification and implementation of crosscutting concerns, which has a composition and synthesis-based weaving process whose output is a correct-by-construction executable artifact. When a specification is realizable, we provide two-way traceability information that links each allowed or forbidden transition in the generated program with the aspects that have justified its presence or elimination. When a specification is unrealizable, we provide an interactive game proof that demonstrates conflicts that should be fixed. The techniques are implemented and demonstrated using running examples. |
Year | Venue | Keywords |
---|---|---|
2012 | Transactions on Aspect-Oriented Software Development X | two-way traceability,specific code artifact,aspectltl program,temporal-logic-based language,program action,concern interference,interactive game proof,crosscutting concern,two-way traceability information,correct-by-construction executable artifact,related advanced modularity paradigm,aspect oriented programming,linear temporal logic,temporal logic,generic programming |
DocType | Volume | ISSN |
Conference | 7800 | 0302-9743 |
Citations | PageRank | References |
7 | 0.48 | 21 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shahar Maoz | 1 | 633 | 42.09 |
Yaniv Sa'ar | 2 | 230 | 14.70 |