A Petri net-based approach to aspect-oriented use case modeling

Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology

Volumn 36, Issue 2, 2010, Pages 248-254

  Sun, Xiao Xing ^a,b   Yu, Hui Qun ^a,b   Fan, Gui Sheng ^a  

^a EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b SHANGHAI KEY LABORATORY OF COMPUTER SOFTWARE EVALUATING AND TESTING   (China)

Author keywords

Aspect oriented; Petri net; Temporal logic; Use case

Indexed keywords

EID: 77952835463     PISSN: 10063080     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Jacobson I, Ng P W. Aspect-Oriented Software Development with Use Case [M]. Beijing: Publishing House of Electronics Industry, 2005.
2. Sousa G, Soares S, Borba P, et al. Separation of crosscutting concerns from requirements to design: Adapting the use case driven approach [C]// Proceedings of the Early Aspects Workshop at AOSD 2004. Lancaster, UK: AOSD, 2004: 93-102.
3. Sillito J, Dutchyn C, Eisenberg A, et al. Use case level pointcuts [C]// Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04). Heidelberg: Springer-Verlag, 2004: 246-268.
4. Stéphane S Somé, Pauline Anthonysamy. An approach for aspect-oriented use case modeling [C] //Proceedings of the 13th International Workshop on Software Architectures and Mobility. Leipzig, Germany: ACM Press, 2008: 27-34.
5. Jacobson I, Christerson M, Jonsson P, et al. Object Oriented Software Engineering: A Use Case Driven Approach [M]. USA: Addison-Wesley, 1992.
6. Kiczales G, Lamping J, Mendhekar A, et al. Aspect oriented programming [C]//11th European Conference on Object Oriented Programming. Finland: Springer-Verlag, 1997: 222-226.
7. Kiczales G, Hilsdale E, Hugunin J, et al. An overview of aspect [EB/OL]. http://aspectj.org. 2001.
8. Aalst W M. P van der. The application of Petri nets to workflow management [J]. Journal of Circuits, System, and Computers, 1998, 8(1): 21-66.
9. Murata T. Petri nets: Properties, analysis and applications [J]. Proceedings of the IEEE, 1989, 77(4): 541-580.
10. Manna Z, Pnueli A. Temporal Logic of Reactive and Concurrent System: Specification [M]. New York: Spinger-Verlag, 1999.