Modeling activity diagrams with extended petri nets

Intelligent Automation and Soft Computing

Volumn 17, Issue 6, 2011, Pages 725-735

  Yang, Nianhua ^a,b   Yu, Huiqun ^a   Sun, Hua ^a   Qian, Zhilin ^a  

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

^b Shanghai Key Laboratory of Computer Software Evaluating and Testing   (China)

Author keywords

Activity diagram; Aspect oriented; Mapping rule; Petri net; UML

Indexed keywords

EID: 84855371302     PISSN: 10798587     EISSN: 2326005X     Source Type: Journal    
DOI: 10.1080/10798587.2011.10643182     Document Type: Article

References (16)

1. T. Murata, “Petri nets:Properties, analysis and applications”, Proceedings of the IEEE, vol. 77, no. 4, 1989, pp. 541–580.
2. D. Xu, V. Goel, K.E. Nygard and W.E. Wong, “Aspect-oriented specification of threat-driven security requirements”, International Journal of Computer Applications in Technology, vol. 31, no. 1/2, 2008, pp. 131–140.
3. R. Chitchyan, P. Greenwood, A. Sampaio, A. Rashid, A. Garcia, et al., “Semantic vs. Syntactic compositions in aspect-oriented requirements engineering:An empirical study”, Proc. the 8th ACM international conference on Aspect-oriented software development, ACM, 2009 of Conference, pp. 149–160.
4. L. Fuentes, M. Pinto and J.M. Troya, “Supporting the development of CAM/DAOP applications:An integrated development process”, Software:Practice and Experience, vol. 37, no. 1, 2007, pp. 21–64.
5. D. Xu and K.E. Nygard, “Threat-driven modeling and verification of secure software using aspect-oriented Petri nets”, IEEE Transactions on Software Engineering, vol. 32, no. 4, 2006, pp. 265–278.
6. N. Yang, H. Yu, H. Sun and Z. Qian, “Modeling UML activity diagrams with aspect oriented data concerned Petri nets”, Proc. 4th Conference on Dependable Computing (CDC 2010), TSI Press, 2010, pp. 313–318.
7. T.S. Staines, “Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets”, Proc. the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2008), IEEE Computer Society, 2008, pp. 191–200.
8. K. Jensen, L.M. Kristensen and L. Wells, “Coloured Petri nets and CPN tools for modelling and validation of concurrent systems”, International Journal on Software Tools for Technology Transfer (STTT), vol. 9, no. 3, 2007, pp. 213–254.
9. Y. Thierry-Mieg and L.-M. Hillah, “UML behavioral consistency checking using instantiable Petri nets”, Innovations in Systems and Software Engineering, vol. 4, no. 3, 2008, pp. 293–300.
10. N. Yang, H. Yu, H. Sun and Z. Qian, “Mapping UML activity diagrams to analyzable Petri net models”, Proc. the 10th International Conference on Quality Software (QSIC 2010), IEEE Computer Society, 2010, pp. 369–372.
11. R. Eshuis and R. Wieringa, A formal semantics for UML activity diagrams -formalising workflow models, 13813625, University of Twente, 2001.
12. H. Storrle, “Semantics and verification of data flow in UML 2.0 activities”, Electronic Notes in Theoretical Computer Science, vol. 127, no. 4, 2005, pp. 35–52.
13. W. Cong and W. Zhixue, “An operational semantics for UML activity diagrams”, Journal of Computer Research and Development, vol. 44, no. 10, 2007, pp. 1801–1807.
14. G. Kiczales, J. Camping, A Mendhekar, C. Maeda, C. Lopes, et al., “Aspect-oriented programming”, Proc. 11th European Conference on Object-Oriented Programming (ECOOP’97), Lecture Notes in Computer Science 1241, Springer, 1997, pp. 220–242.
15. N. Yang, H. Yu, H. Sun and Z. Qian, “Scheduling real-time embedded systems based on TCPNIA”, Journal of Software. (in press).
16. N. Yang, H. Yu and H. Sun, “Model checking timed colored Petri nets with inhibitor arcs”, Computer Science, vol. 38, no. 1, 2011, pp. 170–176. (in Chinese).