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

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 aspect-aspect 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.

References

1. Kiczales G, Lamping J, Mendhekar A et al.. Aspect oriented programming. In: Proceedings of the European Conference on Object-OrientedProgramming, Berlin: Springer, 1997, 220–242
2. Douence R, Fradet P, Südholt M . Composition, reuse and interaction analysis of statefulaspects. In: Proceedings of the 3rd InternationalConference on Aspect-Oriented Software Development, New York: ACM Press, 2004, 141–150
3. Havinga W, Nagy I, Bergmans L et al.. A graph-based approachto modeling and detecting composition conflicts related to introductions. In: Proceedings of the 6th International Conferenceon Aspect-Oriented Software Development, New York: ACM Press, 2007, 85–95
4. Tessier F, Badri L, Badri M . A model-based detection of conflicts between crosscuttingconcerns: towards a formal approach. In: Proceedings of the International Workshop on Aspect-Oriented SoftwareDevelopment, New York: ACM Press, 2004, 88–95
5. Durr P, Staijen T, Bergmans L et al.. Reasoning about semanticconflicts between aspects. In: Proceedingsof Workshop on Aspects, Dependencies and Interactions (ADI), Berlin: Springer, 2006, 10–18
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
7. Fuentes L, Sanchez P . Towards executable aspect-orientedUML models. In: Proceedings of the 10thInternational Workshop on Aspect-Oriented Modeling. New York: ACM Press, 2007, 28–34
8. Schauerhuber A, Schwinger W, Kapsammer E et al.. A survey on aspect-orientedmodeling approaches. Technical Report,Vienna University of Technology, 2007
9. Wil M P Aalst van der . The application of Petrinets to workflow management. Journal ofCircuits, Systems, and Computers, 1998, 8(1): 21–66. doi:10.1142/S0218126698000043
10. Azema P, Juanole G, Sanchis E et al.. Specification andverification of distributed systems using PROLOG interpreted Petrinets. In: Proceedings of the 7th InternationalConference on Software Engineering, Washington: IEEE Computer SocietyPress, 1984, 510–518
11. Huang L G, Boehm B, Hu H et al.. Applying the value/Petriprocess to erp software development in China. In: Proceedings of the 28th International Conference on Software Engineering, Washington: IEEE Computer Society Press, 2006, 502–511
12. Balbo G, Bruell S C, Ghanta S . Combing queueing networks and generalized stochasticPetri nets for the solution of complex models of system behavior. IEEE Transactions on Computers, 1988, 37(10): 1251–1268. doi:10.1109/12.5986
13. Xu D X, Kendall E Nygard . Treat-driven modeling andverification of secure software using aspect-oriented Petri nets. IEEE Transactions on Software Engineering, 2006, 32(4): 265–278. doi:10.1109/TSE.2006.40
14. Valk R . Petrinets as token objects: an introduction to elementary Object nets. In: Proceedings of the 19th International Conferenceon Application and Theory of Petri Nets (ICATPN), Berlin: Springer, 1998, 1–25
15. Murata T . Petrinets: properties, analysis and applications. In: Proceedings of the IEEE, 1989, 77(4): 541–580. doi:10.1109/5.24143
16. Colyer A, Clement A, Harley G et al.. Eclipse aspectJ:aspect-oriented programming with aspectJ and the eclipse aspectJ developmenttools. USA: Addison Wesley, 2004, 110–221
17. Ge J D, Hu H Y, Lu P et al.. Translation of netswithin nets in cross-organizational software process modeling. In: Proceedings of the International Software ProcessWorkshop (ISPW), USA: CSREA Press, 2005, 360–375
18. Lakos C . Fromcoloured Petri nets to Object Petri nets. In: Proceedings of the 16th International Conference on Application andTheory of Petri Nets (ICATPN), Lecture Notes in Computer Science, Vol 935, Berlin: Springer, 1995, 278–297
19. Rumbaugh J, Blaha M, Premerlani W et al.. Object-oriented modelingand design. USA: Prentice-Hall, 1991, 1–500
20. Stein D, Hanenberg S, Unland R . A UML-based aspect-oriented design notation for aspectJ. In: Proceedings of the 1st International Conferenceon Aspect-Oriented Software Development. New York: ACM Press, 2002, 106–112