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

被引：8

作者：

Guan L. ^{[1
,2
]}

Li X.

Hu H.

Lu J.

机构：

[1] State Key Laboratory for Novel Software Technology, Nanjing University

[2] Institute of Computer Software, Nanjing University

来源：

Frontiers of Computer Science in China | 2008年 / 2卷 / 04期

基金：

中国国家自然科学基金;

关键词：

Aspect oriented modeling; Aspect-aspect conflict; Object Petri net; Petri net; Shared join point;

D O I：

10.1007/s11704-008-0041-8

中图分类号：

O144 [集合论]; O157 [组合数学（组合学）];

学科分类号：

070104 ;

摘要：

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. © 2008 Higher Education Press and Springer-Verlag GmbH.

引用

页码：413 / 423

页数：10

共 20 条

[1]

Kiczales G., Lamping J., Mendhekar A., Aspect oriented programming, Proceedings of the European Conference on Object-Oriented Programming, pp. 220-242, (1997)

[2]

Douence R., Fradet P., Sudholt M., Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, pp. 141-150, (2004)

[3]

Havinga W., Nagy I., Bergmans L., A graph-based approach to modeling and detecting composition conflicts related to introductions, Proceedings of the 6th International Conference on Aspect-Oriented Software Development, pp. 85-95, (2007)

[4]

Tessier F., Badri L., Badri M., A model-based detection of conflicts between crosscutting concerns: Towards a formal approach, Proceedings of the International Workshop on Aspect-Oriented Software Development, pp. 88-95, (2004)

[5]

Durr P., Staijen T., Bergmans L., Reasoning about semantic conflicts between aspects, Proceedings of Workshop on Aspects, Dependencies and Interactions (ADI), pp. 10-18, (2006)

[6]

Nagy I., Bergmans L., Aksit M., Composing aspects at shared join points, Proceedings of the International Conference NetObjectDays (NODe), pp. 19-38, (2005)

[7]

Fuentes L., Sanchez P., Towards executable aspect-oriented UML models, Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, pp. 28-34, (2007)

[8]

Schauerhuber A., Schwinger W., Kapsammer E., Al E., A Survey on Aspect-oriented Modeling Approaches, (2007)

[9]

Van Der Aalst W.M.P., The application of Petri nets to workflow management, Journal of Circuits, Systems, and Computers, 8, pp. 21-66, (1998)

[10]

Azema P., Juanole G., Sanchis E., Specification and verification of distributed systems using PROLOG interpreted Petri nets, Proceedings of the 7th International Conference on Software Engineering, pp. 510-518, (1984)

← 1 2 →