User queries for specification refinement treating shared aspect join points

Proceedings - Software Engineering and Formal Methods, SEFM 2010

Volumn , Issue , 2010, Pages 73-82

  Katz, Emilia ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Aspect interference; Formal specification; Semantics; Shared join points

Indexed keywords

ASPECT INTERFERENCES; FORMAL SPECIFICATION; IN-DEPTH ANALYSIS; INTERFERENCE DETECTION; JOIN POINT; LINEAR TEMPORAL LOGIC; MODULAR VERIFICATION; NATURAL LANGUAGES; SEMI-AUTOMATIC PROCEDURES; SHARED JOIN-POINTS; SPECIFICATION REFINEMENTS; STATE TRANSITION DIAGRAMS; USER QUERY;

REFINING; SEMANTICS; SPECIFICATIONS; TEMPORAL LOGIC;

FORMAL METHODS;

EID: 78650450072     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2010.16     Document Type: Conference Paper

References (20)

1. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, "An overview of AspectJ," in Proc. ECOOP 2001, ser. LNCS 2072, Jun 2001, pp. 327-353, http://aspectj.org.
2. R. Filman, T. Elrad, S. Clarke, and M. Akşit, Eds., Aspect-Oriented Software Development. Boston: Addison-Wesley, 2005.
3. M. Goldman and S. Katz, "MAVEN: Modular aspect verification," in Proc. of TACAS 2007, ser. LNCS, vol. 4424, 2007, pp. 308-322.
4. E. Katz and S. Katz, "Modular verification of strongly invasive aspects," in Languages: From Formal to Natural, ser. LNCS, vol. 5533. Springer, 2009, pp. 128-147.
5. E. Katz and S. Katz, "Incremental analysis of interference among aspects," in FOAL'08. ACM, 2008, pp. 29-38.
6. E. Katz and S. Katz, "Semantic aspect interactions and possibly shared join points," FOAL'10 workshop, 2010.
7. I. Nagy, L. Bergmans, and M. Aksit, "Composing aspects at shared join points," in NODe/GSEM, 2005, pp. 19-38.
8. D. H. Nguyen and M. Südholt, "VPA-based aspects: Better support for aop over protocols," in 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006, pp. 167-176.
9. P. Durr, L. Bergmans, and M. Aksit, "Reasoning about semantic conflicts between aspects," in ADI'06, 2006, pp. 10- 18.
10. L. Bergmans, "Towards detection of semantic conflicts between crosscutting concerns," in AAOS Workshop at ECOOP'03, 2003.
11. I. Nagy, L. Bergmans, and M. Aksit, "Declarative aspect composition," in Software Engineering Properties of Languages and Aspect Technologies (SPLAT) Workshop, 2004.
12. M. Akşit, A. Rensink, and T. Staijen, "A graphtransformation- based simulation approach for analysing aspect interference on shared join points," in AOSD, 2009, pp. 39-50.
13. N. Weston, F. Taiani, and A. Rashid, "Interaction analysis for fault-tolerance in aspect-oriented programming," in MeMoT'07, 2007, pp. 95-102.
14. R. Douence, P. Fradet, and M. Sudholt, "Composition, reuse, and interaction analysis of stateful aspects," in Proc. of 3th Intl. Conf. on Aspect-Oriented Software Development (AOSD'04). ACM Press, 2004, pp. 141-150.
15. R. Douence, P. Fradet, and M. Südholt, "A framework for the detection and resolution of aspect interactions," in GPCE, 2002, pp. 173-188.
16. M. Wand, G. Kiczales, and C. Dutchyn, "A semantics for advice and dynamic join points in aspect-oriented programming," T. on Programming Languages and Systems, vol. 26, no. 5, pp. 890-910, 2004.
17. C. Clifton and G. T. Leavens, "MiniMao1: Investigating the semantics of proceed," Science of Computer Programming, vol. 63, no. 3, p. 321374, 2006.
18. S. D. Djoko, R. Douence, and P. Fradet, "Aspects preserving properties," in PEPM, 2008, pp. 135-145.
19. G. Kniesel, "Detection and resolution of weaving interactions," T. Aspect-Oriented Software Development, vol. 5, pp. 135-186, 2009.
20. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, "NUSMV: a new Symbolic Model Verifier," in CAV'99, ser. LNCS 1633. Springer, 1999, pp. 495-499, http://nusmv.itc.it.