The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets

[1] OMG. MDA Guide Version 1.0. OMG, 2003. [Online]. Available: www.omg.org, [Accessed: Sept. 10, 2013].Search in Google Scholar

[2] E. Asnina and J. Osis, “Computation independent models: bridging problem and solution domains,” in Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development MDA & MTDD 2010, In conjunction with ENASE 2010, Athens, Greece, July 2010. Portugal: SciTePress, 2010.Search in Google Scholar

[3] J. Osis and E. Asnina, “A Business Model to Make Software Development Less Intuitive,” in Proceedings of 2008 International Conference on Innovation in Sofware Engineering (ISE 2008). Dec. 10-12, 2008, Vienna, Austria. IEEE Computer Society Publishing, 2008.10.1109/CIMCA.2008.52Search in Google Scholar

[4] J. Osis and E. Asnina, “Is Modeling a Treatment for the Weakness of Software Engineering?” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global, 2011, pp. 1-14. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00110.4018/978-1-61692-874-2.ch001Search in Google Scholar

[5] E. Asnina and J. Osis, “Topological Functioning Model as a CIMBusiness Model,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global, 2011, pp. 40-64. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00310.4018/978-1-61692-874-2.ch003Search in Google Scholar

[6] J. Osis and E. Asnina, “Derivation of Use Cases from the Topological Computation Independent Business Model,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York: USA, IGI Global, 2011, pp. 65-89. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00410.4018/978-1-61692-874-2.ch004Search in Google Scholar

[7] J. Osis, “Topological Model of System Functioning,” in Automatics and Computer Science, J. of Acad. of Sc., no. 6, 1969, pp. 44-50.Search in Google Scholar

[8] J. Osis, “Formal Computation Independent Model within the MDA Life Cycle,” in International transactions on system science and applications, 2006, pp. 159-166.Search in Google Scholar

[9] J. Osis, “Software development with topological model in the framework of MDA,” in Proceedings of the 9th CaiSE/IFIP8.1/EUNO International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD’2004) in connection with the CaiSE’2004. Riga, Latvia: RTU, 2004.Search in Google Scholar

[10] J. Osis and E. Asnina, “Topological Modeling for Model-Driven Domain Analysis and Software Development,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York: USA, IGI Global, 2011, pp. 15-39. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00210.4018/978-1-61692-874-2.ch002Search in Google Scholar

[11] W. F. Basener, Topology and Its Applications. New Jersey: John Wiley and Sons, Inc., 2006. http://dx.doi.org/10.1002/978047006794910.1002/9780470067949Search in Google Scholar

[12] J. Osis, E. Asnina and A. Grave, “Formal Problem Domain Modeling within MDA,” in Communications in Computer and Information Science (CCIS). Software and Data Technologies. Berlin: Springer-Verlag, 2008, pp. 387-398. http://dx.doi.org/10.1007/978-3-540-88655-6_2910.1007/978-3-540-88655-6_29Search in Google Scholar

[13] J. Osis and E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61692-874-210.4018/978-1-61692-874-2Search in Google Scholar

[14] U. Donins, J. Osis, A. Slihte, E. Asnina, and B. Gulbis, “Towards the Refinement of Topological Class Diagram as a Platform Independent Model,” in Model-Driven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD, 2011, pp. 79-88.10.5220/0003583600790088Search in Google Scholar

[15] J. Osis, E. Asnina, A.Grave, “Formal Computation Independent Model of the Problem Domain within the MDA,” in Information Systems and Formal Models, Proceedings of the 10th International Conference ISIM’07. Opava, Czech Republic: Silesian University, pp. 47-54, 2007.10.1109/SwSTE.2007.20Search in Google Scholar

[16] J. Osis, E. Asnina, A. Grave, “MDA Oriented Computation Independent Modeling of the Problem Domain,” in Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007). Barcelona, Spain, pp. 66-71, 2007.10.1109/SwSTE.2007.20Search in Google Scholar

[17] J. Osis and L. Beghi, “Topological modelling of biological systems,” in D. A. Linkens and E. R. Carson (eds) Proceedings of the third IFAC Symposium on Modelling and Control in Biomedical Systems (Including Biological Systems). Oxford, UK: Elsevier Science Publishing, 1997.10.1016/S1474-6670(17)44593-9Search in Google Scholar

[18] E. Asnina, J. Osis, and A. Jansone, “System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model,” in Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wrocław, 29-30. June, 2012. Portugal: Insticc, 2012.Search in Google Scholar

[19] T. Murata, “Petri Nets: Properties, Analysis and Applications,” in Proceedings of the IEEE 77, no. 4, 1989, pp. 541-580. http://dx.doi.org/10.1109/5.2414310.1109/5.24143Search in Google Scholar

[20] L. Kristensen M. S. Christensen and K. Jensen, “The practitioners’ guide to coloured Petri nets,” in Int Journal on Software Tools for Technology Transfer, issue 2. Springer-Verlag, 1998, pp. 98-132. http://dx.doi.org/10.1007/s10009005002110.1007/s100090050021Search in Google Scholar

[21] K. Jensen, “An Introduction to the Theoretical Aspects of Coloured Petri Nets,” in A Decade of Concurrency, Lecture Notes in Computer Science, vol. 803. Springer-Verlag, 1994, pp. 230-272.10.1007/3-540-58043-3_21Search in Google Scholar

[22] Ch. Lakos, “Object Oriented Modelling with Object Petri Nets,” in Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science, Vol. 2001. Springer, 2011, pp. 1-37. http://dx.doi.org/10.1007/3-540-45397-0_110.1007/3-540-45397-0_1Search in Google Scholar

[23] L. M. Kristensen, J. B. Jørgensen and K. Jensen, “Application of Coloured Petri Nets in System Development,” in ACPN 2003, LNCS, 3098, edited by J. Desel, W. Reisig and G. Rozenberg. Springer-Verlag Berlin Heidelberg, 2004, pp. 626-685. http://dx.doi.org/10.1007/978-3-540-27755-2_1810.1007/978-3-540-27755-2_18Search in Google Scholar

[24] AIS Group. CPN Tools Homepage. [Online]. Available: http://cpntools.org/ [Accessed: Jul. 10, 2013].Search in Google Scholar

[25] W.M.P. van der Aalst, “The Application of Petri Nets to Workflow Management,” in The Journal of Circuits, Systems and Computers, vol. 8, no. 1, 1998, pp. 21-66.10.1142/S0218126698000043Search in Google Scholar

[26] L., Dongsheng, J. Wang, S. C. F. Chan, J. Sun, L. Zhang, “Modeling workflow process with colored Petri nets,” in Computers in Industry vol. 49, no. 3, 2002, pp. 267-281. http://dx.doi.org/10.1016/S0166-3615(02)00099-410.1016/S0166-3615(02)00099-4Search in Google Scholar

[27] J. Dehnert, “Four Steps Towards Sound Business Process Models, ” in Petri Net Technology for Communication-Based Systems: Advances in Petri Nets, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber, vol. LNCS 2472. Germany: Springer- Verlag Berlin Heidelberg, 2003, pp. 66-82. http://dx.doi.org/10.1007/978-3-540-40022-6_4 10.1007/978-3-540-40022-6_4Search in Google Scholar

[28] J. Desel and E. Thomas, “Quantitative Engineering of Business Processes with VIPbusiness,” in Petri Net Technology for Communication-Based Systems: Advances in Petri Nets, Vol. LNCS 2472, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber. Gernamy: Springer-Verlag Berlin Heidelberg, 2003, pp. 219-242. http://dx.doi.org/10.1007/978-3-540-40022-6_1110.1007/978-3-540-40022-6_11Search in Google Scholar

[29] V. R. L. Shen, W. Yu-Ying, Y. Cheng-Ying, and Y. Szu-Tso, “Verification of problem-based learning systems using modified petri nets,” in Expert Systems with Applications vol. 39, no. 16 (November 2012), pp. 12636-12649. http://dx.doi.org/10.1016/j.eswa.2012.05.01910.1016/j.eswa.2012.05.019Search in Google Scholar

[30] Zh. Xiao, and M. Zhong, “A method of workflow scheduling based on colored Petri nets,” in Data & Knowledge Engineering vol. 70, no. 2 (February 2011), pp. 230-247. http://dx.doi.org/10.1016/j.datak.2010.11.00510.1016/j.datak.2010.11.005Search in Google Scholar

[31] Y. Yi, “An Extended Stochastic Petri Nets Modeling Method for Collaborative Workflow Process,” in Physics Procedia vol. 33, 2012, pp. 1547-1552. http://dx.doi.org/10.1016/j.phpro.2012.05.25110.1016/j.phpro.2012.05.251Search in Google Scholar

[32] V. Valentín, H. Macià, J. J. Pardo, M. E. Cambronero, and G. Díaz, “Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets,” in Science of Computer Programming, vol. 77, no. 3 (March 2012), 2012, pp. 290-313. http://dx.doi.org/10.1016/j.scico.2011.05.00210.1016/j.scico.2011.05.002Search in Google Scholar

[33] S. Chemaa, F. Bachtarzi, and A. Chaoui, “A High-level Petri Net Based Approach for Modeling and Composition of Web Services,” in Procedia Computer Science 9, 2012, pp. 469-478. http://dx.doi.org/10.1016/j.procs.2012.04.050 10.1016/j.procs.2012.04.050Search in Google Scholar