Publisher
Springer International Publishing
Reference29 articles.
1. Abbas, M., Ben-Yelles, C.B., Rioboo, R.: Modelling UML state machines with focalize. Int. J. Inf. Commun. Technol. 13(1), 34–54 (2018). https://doi.org/10.1504/ijict.2018.10010449
2. Lecture Notes in Computer Science;K Anastasakis,2007
3. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to alloy. Softw. Syste. Model. 9(1), 69 (2010). https://doi.org/10.1007/s10270-008-0110-3
4. Balaban, M., et al.: A comparison of textual modeling languages: OCL, alloy, FOMl. In: OCL@ MoDELS, pp. 57–72 (2016)
5. Cámara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing WSBPEL business processes using process algebra. Electron. Notes Theor. Comput. Sci. 154(1), 159–173 (2006). https://doi.org/10.1016/j.entcs.2005.12.038
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献