Skip to main content
Springer Nature Link
Log in

A Petri net-based approach for supporting aspect-oriented modeling

  • Research Article
  • Published:
Frontiers of Computer Science in China Aims and scope Submit manuscript

Abstract

The concept of aspect-orientation allows for modularizing crosscutting concerns as aspect modules. Aspect-orientation originally emerged at the programming level, and has stretched over other development phases now. Among them aspect-oriented modeling (AOM) is a hot topic, and there are many approaches supporting it. Petri net is a good formalism which can provide the foundations for modeling software and simulating its execution, but fails to resolve the problem of crosscutting concerns to support AOM. So, this paper presents an approach which extends the Petri net so as to support the AOM. In this paper, the basic functions of the system are modeled as base net by Petri net, and the crosscutting concerns are modeled as aspect nets. In order to analyze the whole system, woven mechanism is proposed to compose the aspect nets and base net together. The problems about aspectaspect conflict and conflict relations may exist among the aspect nets matching the shared join point, thus this paper propose solutions to resolve them. The Object Petri net which is an extension of traditional Petri net is also extended so as to support aspect-oriented modeling here.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles and news from researchers in related subjects, suggested using machine learning.

References

  1. Kiczales G, Lamping J, Mendhekar A et al. Aspect oriented programming. In: Proceedings of the European Conference on Object-Oriented Programming, Berlin: Springer, 1997, 220–242

    Google Scholar 

  2. Douence R, Fradet P, Südholt M. Composition, reuse and interaction analysis of stateful aspects. In: Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, New York: ACM Press, 2004, 141–150

    Chapter  Google Scholar 

  3. Havinga W, Nagy I, Bergmans L et al. A graph-based approach to modeling and detecting composition conflicts related to introductions. In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, New York: ACM Press, 2007, 85–95

    Chapter  Google Scholar 

  4. Tessier F, Badri L, Badri M. A model-based detection of conflicts between crosscutting concerns: towards a formal approach. In: Proceedings of the International Workshop on Aspect-Oriented Software Development, New York: ACM Press, 2004, 88–95

    Google Scholar 

  5. Durr P, Staijen T, Bergmans L et al. Reasoning about semantic conflicts between aspects. In: Proceedings of Workshop on Aspects, Dependencies and Interactions (ADI), Berlin: Springer, 2006, 10–18

    Google Scholar 

  6. Nagy I, Bergmans L, Aksit M. Composing aspects at shared join points. In: Proceedings of the International Conference NetObjectDays (NODe), Berlin: Springer, 2005, 19–38

    Google Scholar 

  7. Fuentes L, Sanchez P. Towards executable aspect-oriented UML models. In: Proceedings of the 10th International Workshop on Aspect-Oriented Modeling. New York: ACM Press, 2007, 28–34

    Chapter  Google Scholar 

  8. Schauerhuber A, Schwinger W, Kapsammer E et al. A survey on aspect-oriented modeling approaches. Technical Report, Vienna University of Technology, 2007

  9. Wil M P van der Aalst. The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers, 1998, 8(1): 21–66

    Article  Google Scholar 

  10. Azema P, Juanole G, Sanchis E et al. Specification and verification of distributed systems using PROLOG interpreted Petri nets. In: Proceedings of the 7th International Conference on Software Engineering, Washington: IEEE Computer Society Press, 1984, 510–518

    Google Scholar 

  11. Huang L G, Boehm B, Hu H et al. Applying the value/Petri process to erp software development in China. In: Proceedings of the 28th International Conference on Software Engineering, Washington: IEEE Computer Society Press, 2006, 502–511

    Google Scholar 

  12. Balbo G, Bruell S C, Ghanta S. Combing queueing networks and generalized stochastic Petri nets for the solution of complex models of system behavior. IEEE Transactions on Computers, 1988, 37(10): 1251–1268

    Article  MATH  Google Scholar 

  13. Xu D X, Kendall E Nygard. Treat-driven modeling and verification of secure software using aspect-oriented Petri nets. IEEE Transactions on Software Engineering, 2006, 32(4): 265–278

    Article  Google Scholar 

  14. Valk R. Petri nets as token objects: an introduction to elementary Object nets. In: Proceedings of the 19th International Conference on Application and Theory of Petri Nets (ICATPN), Berlin: Springer, 1998, 1–25

    Google Scholar 

  15. Murata T. Petri nets: properties, analysis and applications. In: Proceedings of the IEEE, 1989, 77(4): 541–580

    Article  Google Scholar 

  16. Colyer A, Clement A, Harley G et al. Eclipse aspectJ: aspectoriented programming with aspectJ and the eclipse aspect J development tools. USA: Addison Wesley, 2004, 110–221

    Google Scholar 

  17. Ge J D, Hu H Y, Lu P et al. Translation of nets within nets in cross-organizational software process modeling. In: Proceedings of the International Software Process Workshop (ISPW), USA: CSREA Press, 2005, 360–375

    Google Scholar 

  18. Lakos C. From coloured Petri nets to Object Petri nets. In: Proceedings of the 16th International Conference on Application and Theory of Petri Nets (ICATPN), Lecture Notes in Computer Science, Vol 935, Berlin: Springer, 1995, 278–297

    Google Scholar 

  19. Rumbaugh J, Blaha M, Premerlani W et al. Object-oriented modeling and design. USA: Prentice-Hall, 1991, 1–500

    Google Scholar 

  20. Stein D, Hanenberg S, Unland R. A UML-based aspectoriented design notation for aspectJ. In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development. New York: ACM Press, 2002, 106–112

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210093, China

    Lianwei Guan, Xingyu Li, Hao Hu & Jian Lu

Authors
  1. Lianwei Guan
    View author publications

    Search author on:PubMed Google Scholar

  2. Xingyu Li
    View author publications

    Search author on:PubMed Google Scholar

  3. Hao Hu
    View author publications

    Search author on:PubMed Google Scholar

  4. Jian Lu
    View author publications

    Search author on:PubMed Google Scholar

Corresponding author

Correspondence to Lianwei Guan.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Guan, L., Li, X., Hu, H. et al. A Petri net-based approach for supporting aspect-oriented modeling. Front. Comput. Sci. China 2, 413–423 (2008). https://doi.org/10.1007/s11704-008-0041-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-008-0041-8

Keywords