Author:
André Étienne,Choppy Christine,Reggio Gianna
Publisher
Springer International Publishing
Reference21 articles.
1. OMG unified language superstructure specification (formal). version 2.4.1 (August 06, 2011), http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/
2. André, É., Choppy, C., Klai, K.: Formalizing non-concurrent UML state machines using colored Petri nets. ACM SIGSOFT Software Engineering Notes 37(4), 1–8 (2012)
3. André, É., Choppy, C., Reggio, G.: Activity diagrams patterns for modeling business processes (report version) (2013), http://lipn.fr/~andre/adp/
4. Bernardi, S., Merseguer, J.: Performance evaluation of UML design with stochastic well-formed nets. Journal of Systems and Software 80(11), 1843–1865 (2007)
5. Lecture Notes in Computer Science;E. Börger,2007
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献