Modelling UML sequence diagrams with aspect-oriented extended Petri nets

Authors:
Nianhua Yang;Huiqun Yu;Hua Sun
Affiliations:
School of Business Information Management, Shanghai Institute of Foreign Trade, Shanghai 201620, China;Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China;School of Information Science and Engineering, Xinjiang University, Urumqi 830046, China
Venue:
International Journal of Computer Applications in Technology
Year:
2012

Citing 8
Cited 0

Supporting the development of CAM-DAOP applications: an integrated development process

Software—Practice & Experience
Aspect-oriented specification of threat-driven security requirements

International Journal of Computer Applications in Technology
A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling

TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets

IEEE Transactions on Software Engineering
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets

EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Semantic vs. syntactic compositions in aspect-oriented requirements engineering: an empirical study

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints

Proceedings of the 2009 ACM symposium on Applied Computing
Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets

GCIS '09 Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper defines mapping rules from UML sequence diagrams to Aspect-Oriented Data Concerned Petri Nets (AODCPNs). Each mapping rule for one type of element in a sequence diagram is defined both in graphical and formal syntax forms. Algorithms for aspects automatically generating from messages events are proposed. Weaving rules are used for composing data concerned Petri nets. Composing algorithms are proposed based on aspects and weaving rules. A case study shows the applicability and feasibility of our method.