Advanced search
Publication Cover
Intelligent Automation & Soft Computing Volume 17, 2011 - Issue 6: Applications of Dependable Computing
Journal homepage
43
Views
3
CrossRef citations to date
0
Altmetric
Original Articles

Modeling Activity Diagrams with Extended Petri Nets

Nianhua Yang East China University of Science and Technology, Department of Computer Science and Engineering, Shanghai, P. R. China, 200237; Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai, China, 201112 E-mail: [email protected]@[email protected]@163.com
,
Huiqun Yu East China University of Science and Technology, Department of Computer Science and Engineering, Shanghai, P. R. China, 200237
,
Hua Sun East China University of Science and Technology, Department of Computer Science and Engineering, Shanghai, P. R. China, 200237
&
Zhilin Qian East China University of Science and Technology, Department of Computer Science and Engineering, Shanghai, P. R. China, 200237
Pages 725-735 | Published online: 01 Mar 2013

References

  • T. Murata, “Petri nets: Properties, analysis and applications”, Proceedings of the IEEE, vol. 77, no. 4, 1989, pp. 541–580.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • R. Eshuis and R. Wieringa, A formal semantics for UML activity diagrams -formalising workflow models, 13813625, University of Twente, 2001.
  • 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.
  • 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.
  • 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.
  • N. Yang, H. Yu, H. Sun and Z. Qian, “Scheduling real-time embedded systems based on TCPNIA”, Journal of Software. (in press).
  • 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).

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.