Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer

Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li. Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 369-374, Knowledge Systems Institute Graduate School, 2012.

Abstract

Abstract is missing.