Have a personal or library account? Click to login

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

Applied Computer Systems
Volume 16 (2014): Issue 1 (December 2014)
By:
Open Access
|Jan 2015

References

  1. [1] OMG. MDA Guide Version 1.0. OMG, 2003. [Online]. Available: www.omg.org, [Accessed: Sept. 10, 2013].
    Search in Google Scholar
  2. [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. [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.52
    Search in Google Scholar
  4. [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.ch001
    Search in Google Scholar
  5. [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.ch003
    Search in Google Scholar
  6. [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.ch004
    Search in Google Scholar
  7. [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. [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. [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. [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.ch002
    Search in Google Scholar
  11. [11] W. F. Basener, Topology and Its Applications. New Jersey: John Wiley and Sons, Inc., 2006. http://dx.doi.org/10.1002/978047006794910.1002/9780470067949
    Search in Google Scholar
  12. [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_29
    Search in Google Scholar
  13. [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-2
    Search in Google Scholar
  14. [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/0003583600790088
    Search in Google Scholar
  15. [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.20
    Search in Google Scholar
  16. [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.20
    Search in Google Scholar
  17. [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-9
    Search in Google Scholar
  18. [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. [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.24143
    Search in Google Scholar
  20. [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/s100090050021
    Search in Google Scholar
  21. [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_21
    Search in Google Scholar
  22. [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_1
    Search in Google Scholar
  23. [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_18
    Search in Google Scholar
  24. [24] AIS Group. CPN Tools Homepage. [Online]. Available: http://cpntools.org/ [Accessed: Jul. 10, 2013].
    Search in Google Scholar
  25. [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/S0218126698000043
    Search in Google Scholar
  26. [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-4
    Search in Google Scholar
  27. [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_4
    Search in Google Scholar
  28. [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_11
    Search in Google Scholar
  29. [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.019
    Search in Google Scholar
  30. [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.005
    Search in Google Scholar
  31. [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.251
    Search in Google Scholar
  32. [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.002
    Search in Google Scholar
  33. [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.050
    Search in Google Scholar
DOI: https://doi.org/10.1515/acss-2014-0016 | Journal eISSN: 2255-8691 | Journal ISSN: 2255-8683
Journal RSS Feed
Language: English
Page range: 77 - 84
Published on: Jan 27, 2015
Published by: Riga Technical University
In partnership with: Paradigm Publishing Services
Publication frequency: 1 times per year
Keywords:
Control flows,
data flows,
model verification,
Petri nets,
topological functioning model
Related subjects:
Computer sciences,
Artificial intelligence,
Information technology,
Project management,
Software development

© 2015 Erika Asnina, Begoña Cristina Pelayo García-Bustelo, published by Riga Technical University
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 16 (2014): Issue 1 (December 2014)Next article