Skip to main content
SpringerLink
Log in

Dataflow Analysis for Properties of Aspect Systems

  • Conference paper
Hardware and Software: Verification and Testing (HVC 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6405))

Included in the following conference series:

  • 456 Accesses

Abstract

In this work, data and control flow analysis is used to detect aspects that are guaranteed to maintain some classes of linear temporal logic properties. This is, when the aspects are added to a system that satisfied the desired properties, these properties will remain true. Categories of advices (code segments) and introduced methods of aspects are defined. These categories are shown to be effective, in that they both provide real aid in verification of properties, and are automatically detectable using data and control flow. An implemented automatic data and control flow tool is described to detect the category of each advice and introduced method of an aspect. The results of applying the tool to aspect systems are summarized.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. abc compiler home page, http://abc.comlab.ox.ac.uk

  2. Allan, C., Avgustinov, P., Christensen, A.S., Dufour, B., Goard, C., Hendren, L., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J., Verbrugge, C.: abc the aspectbench compiler for aspectj a workbench for aspect-oriented programming language and compilers research. In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, pp. 88–89. ACM, New York (2005)

    Chapter  Google Scholar 

  3. Djoko, S.D., Douence, R., Fradet, P.: Aspects preserving properties. In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, pp. 135–145. ACM, New York (2008)

    Chapter  Google Scholar 

  4. Einarsson, A., Nielsen, J.D.: A survivors guide to java program analysis with soot (2008)

    Google Scholar 

  5. Filho, F., Cacho, N., Figueiredo, E., Garcia, A., Rubira, C.: Exceptions and aspects: the devil is in the details. In: Proceedings of the 14th Intl. Conf. on Foundations of Software Engineering, FSE 2006, pp. 152–162. ACM, New York (2006)

    Google Scholar 

  6. Jagadeesan, R., Jeffrey, A., Riely, J.: A calculus of untyped aspect-oriented programs. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 54–73. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Katz, S.: Aspect categories and classes of temporal properties. Transactions on Aspect Oriented Software Development (TAOSD) 1, 106–134 (2006)

    Article  MATH  Google Scholar 

  8. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Lee, S.H. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–353. Springer, Heidelberg (2001), http://aspectj.org

    Chapter  Google Scholar 

  9. Lamport, L.: What good is temporal logic? In: IFIP Congress, pp. 657–668 (1983)

    Google Scholar 

  10. Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: An extensible compiler framework for java. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 138–152. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Ranganath, V.P., Hatcliff, J.: Slicing concurrent java programs using indus and kaveri. Int. J. Softw. Tools Technol. Transf. 9(5), 489–504 (2007)

    Article  Google Scholar 

  12. Rinard, M., Salcianu, A., Bugrara, S.: A classification system and analysis for aspect-oriented programs. SIGSOFT Softw. Eng. Notes 29(6), 147–158 (2004)

    Article  Google Scholar 

  13. Sereni, D., de Moor, O.: Static analysis of aspects. In: Proceedings of the 2nd International Conference on Aspect-oriented Software Development, AOSD 2003, pp. 30–39. ACM, New York (2003)

    Google Scholar 

  14. van Deursen, A., Marin, M., Moonen, L.: AJHotDraw: A showcase for refactoring to aspects. In: Proceedings AOSD Workshop on Linking Aspect Technology and Evolution, CWI (2005)

    Google Scholar 

  15. Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. ACM Trans. Program. Lang. Syst. 26(5), 890–910 (2004)

    Article  Google Scholar 

  16. Weston, N., Taiani, F., Rashid, A.: Interaction analysis for fault-tolerance in aspect-oriented programming. In: Proc. Workshop on Methods, Models, and Tools for Fault Tolerance, MeMoT 2007, pp. 95–102 (2007)

    Google Scholar 

  17. Xu, G., Rountev, A.: Ajana: a general framework for source-code-level interprocedural dataflow analysis of aspectj software. In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, pp. 36–47. ACM, New York (2008)

    Google Scholar 

  18. Zhang, D.: Aspect impact analysis, Master’s thesis, McGill University (August 2008)

    Google Scholar 

  19. Zhao, J.: Slicing aspect-oriented software. In: Proceedings of the 10th International Workshop on Program Comprehension, IWPC 2002, Washington, DC, USA, p. 251. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The Technion, Haifa, 32000, Israel

    Yevgenia Alperin-Tsimerman & Shmuel Katz

Authors
  1. Yevgenia Alperin-Tsimerman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shmuel Katz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Bell Laboratories, Alcatel-Lucent, 600 Mountain Ave., 2B-435, 07974, Murray Hill, NJ, USA

    Kedar Namjoshi

  2. Saarland University, Campus E1, 66123, Saarbrücken, Germany

    Andreas Zeller

  3. IBM Research Laboratory, 31905, Haifa, Mount Carmel, Israel

    Avi Ziv

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alperin-Tsimerman, Y., Katz, S. (2011). Dataflow Analysis for Properties of Aspect Systems. In: Namjoshi, K., Zeller, A., Ziv, A. (eds) Hardware and Software: Verification and Testing. HVC 2009. Lecture Notes in Computer Science, vol 6405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19237-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19237-1_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19236-4

  • Online ISBN: 978-3-642-19237-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation