Topological Functioning Model for Software Development within MDA (Survey)

Arturs Solomencevs

Abstract

The approach called Topological Functioning Modeling for Model Driven Architecture (TFM4MDA) uses Topological Functioning Model (TFM) as a formal holistic problem domain model. The approach is revolutionary, because it brings formalism to the earliest stages of software development – the analysis of problem domain, and provides formal transformations to UML design models. A copious amount of effort has been put into the development of TFM4MDA. Furthermore, TFM has not always been used in software development. This paper represents a literature survey of 69 articles about TFM and its application. The goal of this work is to trace the research of TFM and TFM4MDA approach, to throw light on the results of the research, and to reveal some weaker areas of it. The goal is successfully achieved and the conclusions are made.

References

  1. Alksnis, G., Asnina, E., Osis, J., Silins, J. 2005, Formalization of Software Development: Problems and Solutions. In: Applied computer systems. Volume 22, pp.204-216. ISSN 1407-7493.
  2. Alksnis, G., Osis, J. 2002, Formalization of Software Engineering by Means of the Theory of Categories. In: Scientific Proceedings of Riga Technical University. Series - Computer Science (5), Volume 13, Riga, RTU, pp. 157-163.
  3. Alksnis, G., Osis, Ya. 2001, Category Theory and Computer Science. In: Computer Science, Applied Computer Systems, Series - Computer Science (5), Vol. 8, Scientific Proceedings of Riga Technical University, Riga, pp. 59-67.
  4. Asnina, E. 2006, The Formal Approach to Problem Domain Modelling Within Model Driven Architecture. In: Proceedings of the 9th International Conference on Information Systems Implementation and Modelling (ISIM'06), Czech Republic, Prerov, 25- 26 April, 2006. Ostrava: Jan Štefan MARQ, pp.97- 104. ISBN 80-86840-19-0.
  5. Asnina, E., Gulbis, B., Osis, J., Alksnis, G., Donins, U., Slihte, A. 2011, Backward Requirements Traceability within the Topology-based Model Driven Software Development. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 7-11 June, 2011. Lisbon: SciTePress, pp.36-45. ISBN 9789898425591.
  6. Asnina, E., Osis, J. 2002, Formalization Problems and Perspectives of the Program Development (in Latvian). In: Scientific Proceedings of Riga Technical University. Series - Computer Science (5), Volume 13, Riga, RTU, pp. 145-156.
  7. Asnina, E., Osis, J. 2006, The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing. In: Applied computer systems. Vol.26, pp.21-32. ISSN 1407-7493.
  8. Asnina, E., Osis, J. 2008, Analysis of Multifractal System Properties in Object-Oriented Software Development. In: Applied computer systems. Vol.34, pp.37-45. ISSN 1407-7493.
  9. Asnina, E., Osis, J. 2010, Computation Independent Models: Bridging Problem and Solution Domains. In: Proceedings of the 2nd InternationalWorkshop on Model-Driven Architecture and Modeling TheoryDriven Development (MDA & MTDD 2010), in conjunction with ENASE 2010, Greece, Athens, 22-24 July, 2010. Lisbon: SciTePress, pp.23-32. ISBN 9789898425164.
  10. Asnina, E., Osis, J. 2011, Topological Functioning Model as a CIM-Business Model. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions. IGI Global, Hershey - New York, pp. 40 - 64. Available from: doi: 10.4018/978-1-61692- 874-2.ch003
  11. Asnina, E., Osis, J., Jansone, A. 2012, 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, Wroclaw, 29-30 June, 2012. Lisbon: SciTePress, pp.232-240. ISBN 9789898565136.
  12. Asnina, E., Osis, J., Jansone, A. 2013, Formal Specifications of Topological Relations. In: Databases and Information Systems VII: Selected Papers from the Tenth International Baltic Conference (DB&IS 2012), Lithuania, Vilnius, 8-11 July, 2012. Amsterdam: IOS Press, pp.175-188. ISBN 978-1- 61499-160-1. e-ISBN 978-1-61499-161-8. Available from: doi:10.3233/978-1-61499-161-8-175
  13. Asnina, E., Osis, J., Kirikova, M. 2008, Design of FractalBased Systems Within MDA: Platform Independent Modelling. In: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems (SIGSANDEUROPE 2008), Germany, Marburg, 12-13 June, 2008. Marburg: Koellen-Verlag, pp.39-53. ISBN 978- 3-88579-223-9. ISSN 1617-5468.
  14. Asnina, E., Ovcinnikova, V. 2015, Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems. In: Proceedings of 10th International Conference on Evaluaton of Novel Approaches to Software Engineering, Spain, Barcelona, 29-30 April, 2015. Portugal: SciTePress, pp.364-373. ISBN 978-989-758- 100-7.
  15. Birgelis, J., Osis, J. 2005, Generalization of MDA and Software Synthesis. In: Scientific Proceedings of Riga Technical University. Series - Computer Science (5), Volume 22, Riga, RTU, pp. 217-228.
  16. Donins, U. 2010, Software Development with the Emphasis on Topology. In: Advances in Databases and Information Systems: Lecture Notes in Computer Science. Volume 5968, Berlin: Springer Berlin Heidelberg, pp. 220-228. ISBN 9783642120817.
  17. Donins, U. 2012 a, Semantics of Logical Relations in Topological Functioning Model. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wroclaw, 29-30 June, 2012. Lisbon: SciTePress, pp.217-223. ISBN 9789898565136.
  18. Donins, U., Osis, J. 2009, Reconciling Software Requirements and Architectures within MDA. In: Applied computer systems. Volume 38, pp. 84-95. ISSN 1407-7493.
  19. Donins, U., Osis, J. 2011, Topological Modeling for Enterprise Data Synchronization System: A Case Study of Topological Model-Driven Software Development. In: Proceedings of the 13th International Conference on Enterprise Information Systems. Vol.3, China, Beijing, 8-11 June, 2011. Beijing: SciTePress, pp.87-96. ISBN 9789898425553.
  20. Donins, U., Osis, J., Asnina, E., Jansone, A. 2012 a, Formal Analysis of Objects State Changes and Transitions. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wroclaw, 29-30 June, 2012. Lisbon: SciTePress, pp.249-256. ISBN 9789898565136.
  21. Donins, U., Osis, J., Asnina, E., Jansone, A. 2012 b, Using Functional Characteristics to Analyze State Changes of Objects. In: Databases and Information Systems. Tenth International Baltic Conference on Databases and Information Systems: Local Proceedings, Materials of Doctoral Consortium, Lithuania, Vilnius, 8-11 July, 2012. Vilnius: Žara, pp.94-106. ISBN 9789986342748.
  22. Donins, U., Osis, J., Slihte, A., Asnina, E., Gulbis, B. 2011, Towards the Refinement of Topological Class Diagram as a Platform Independent Model. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 8-11 June, 2011. Lisbon: SciTePress, pp.79- 88. ISBN 9789898425591.
  23. Donins, Uldis. 2012 b, Topological Unified Modeling Language: Development and Application. PhD Thesis. Riga: [RTU]. 224 p.
  24. Gelfandbain, J., Osis, J., Markovich, Z., Novozilova, N. 1990, Diagnostics on Graph Models (in Russian). In: Proceedings of conference on gas turbine engines, Moscow-Harkow, pp. 34 - 35.
  25. Ivasiuta, O., Osis, J. 1999, Methodics to Comparing Software Design Methodologies. In: Proc.of the 33rd International Conference "Modelling and Simulation of Systems" (MOSIS'99). Roznov pod Radhostem, Czech Republi, V. ISM'99, pp. 67-74.
  26. Miller, J., Mukerji, J. 2003, MDA Guide Version 1.0.1, OMG, viewed 10 September 2015, <http://www.omg.org/cgi-bin/doc?omg/03-06-01>
  27. Nahimova, M., Osis, J. 2002, Specific Features of the Modeling of Mechatronic Systems (in Latvian). In: Scientific Proceedings of Riga Technical University. Series - Computer Science (5), Volume 13, Riga, RTU, pp. 181-189.
  28. Osis, J. 1969, Topological Model of System Functioning (in Russian). In: Automatics and Computer Science, J. of Academia of Siences, Riga, Latvia, Nr. 6, pp. 44-50.
  29. Osis, J. 1972, Diagnostics of Complex Systems (in Russian). Summary of Habilitation Thesis, Latvian Academy of Sciences, Riga, 56 p.
  30. Osis, J. 1991, Topological Models in Technical and Medical Diagnostics, in Image Recognition and in Expert Systems in Latvia (in Latvian). In: World Congress of Latvian Scientists, Vol. 5. Riga.
  31. Osis, J. 1997, Development of Object-Oriented Methods for Hybrid System Analysis and Design. In: Proceed. of the 23rd Conference of the ASU. Stara Lesna, Slovakia, pp. 162-170
  32. Osis, J. 2001 a, RTU Scientific School of System Modeling (in Latvian). In: Computer Science, Applied Computer Systems, Series - Computer Science (5), Vol. 8, Scientific Proceedings of Riga Technical University, Riga, pp. 6-17.
  33. Osis, J. 2001 b, What is the Precise Relationship between Domain Modelling and Architectural Design and Modelling? In: Proceedings of the 4th ECOOP Workshop on Object-Oriented Architectural Evolution, 15th ECOOP, Budapest, Hungary, 18-22 June, pp. 9-12.
  34. Osis, J. 2001 c, Brief Survey of Object-Oriented Approach. In: Computer Science, Applied Computer Systems, Series - Computer Science (5), Vol. 8, Scientific Proceedings of Riga Technical University, Riga, pp. 23-32.
  35. Osis, J. 2001 d, Object-Oriented System Analysis - Case Processing or Construction of Formalism? (in Latvian). In: Proceedings of Plenary session of the 2nd World Congress of Latvian Scientists, Riga, pp. 596.
  36. Osis, J. 2001 e, RTU Scientific School of Modeling and Studying of Complex Systems (in Latvian). In: Proceedings of the 42nd International Conference of Riga Technical University, Riga, RTU, pp. 38 - 40.
  37. Osis, J. 2003 a, Extension of Software Development Process for Mechatronic and Embedded Systems. In: Proceedings of the 32nd International Conference on Computers and Industrial Engineering, University of Limerick, Ireland, 11 -13 August, pp. 305 - 310.
  38. Osis, J. 2003 b, Topological Functioning Model Support for Software Engineering. In: Scientific Proceedings of Riga Technical University. Series - Computer Science (5), Volume 17, Riga, RTU, pp. 31 - 42.
  39. Osis, J. 2004, 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. Volume 1, RTU, Riga, pp. 211- 220.
  40. Osis, J. 2006 a, Problem Domain Modeling at the Beginning of MDA Life Cycle By Means of Topological Functioning Model. In: Proceedings of the 7th International Baltic Conference on Databases and Information Systems (DB&IS'06). Vilnius, Lithuania, pp. 105-116.
  41. Osis, J. 2006 b, Formal Computation Independent Model within the MDA Life Cycle. In: International Transactions on Systems Science and Applications. ISSN 1751-1461 (Print), ISSN 1751-147X (CDROM), V. 1, Nr. 2, Xiaglow Institute Ltd, Glasgow, UK, pp. 159-166.
  42. Osis, J. 2006 c, Topological Functioning Model within the MDA Life Cycle. In: Scientific Proceedings of Riga Technical University. Series - Computer Science (5), Volume 26, Riga, RTU, pp. 9-20.
  43. Osis, J., Asnina, E. 2008 a, Enterprise Modeling for Information System Development within MDA. In: Proceedings of the 41st Hawaii International Conference on Systems Science (HICSS-41 2008), United States of America, Waikoloa, 7-10 January, 2008. Waikoloa: IEEE Computer Society, pp.490-490. ISSN 1530-1605. Available from: doi:10.1109/HICSS.2008.150
  44. Osis, J., Asnina, E. 2008 b, A Business Model to Make Software Development Less Intuitive. In: International Conference on Innovation in Sofware Engineering (ISE 2008), Austria, Vienna, 10-12 December, 2008. Vienna: IEEE Computer Society, pp.1240-1245. ISBN 9780769535142. Available from: doi:10.1109/CIMCA.2008.52
  45. Osis, J., Asnina, E. 2011 a, Is Modeling a Treatment for the Weakness of Software Engineering? In: ModelDriven Domain Analysis and Software Development: Architectures and Functions. IGI Global, Hershey - New York, pp. 1-14. Available from: doi: 10.4018/978-1-61692-874-2.ch001
  46. Osis, J., Asnina, E. 2011 b, Topological Modeling for Model-Driven Domain Analysis and Software Development: Functions and Architectures. In: ModelDriven Domain Analysis and Software Development: Architectures and Functions. IGI Global, Hershey - New York, pp. 15 - 39. Available from: doi: 10.4018/978-1-61692-874-2
  47. Osis, J., Asnina, E. 2011 c, Derivation of Use Cases from the Topological Computation Independent Business Model. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions. IGI Global, Hershey - New York, pp. 65 - 89. Available from: doi: 10.4018/978-1-61692-874- 2.ch004
  48. Osis, J., Asnina, E. 2015, Is Modeling a Treatment for the Weakness of Software Engineering? In: V.Díaz, J.Cueva Lovelle, B.García-Bustelo ed. Handbook of Research on Innovations in Systems and Software Engineering. Hershey, PA: IGI Global, pp.411-427. ISBN 9781466663596. e-ISBN 9781466663602. Available from: doi:10.4018/978-1-4666-6359-6
  49. Osis, J., Asnina, E., Donins, U., Garcia-Diaz, V. 2014, Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model. In: Applied Computer Systems. Vol.16, pp.5-12. ISSN 2255-8683. e-ISSN 2255-8691. Available from: doi:10.1515/acss-2014-0007
  50. Osis, J., Asnina, E., Grave, A. 2007 a, Formal Computation Independent Model of the Problem Domain within the MDA. In: Proceedings of the 10th International Conference on Information System Implementation and Modeling (ISIM 2007), Czech Republic, Hradec nad Moravici, 23-25 April, 2007. Hradec and Moravici: Jan Štefan MARQ, pp.47-54.
  51. Osis, J., Asnina, E., Grave, A. 2007 b, MDA Oriented Computation Independent Modeling of the Problem Domain. In: Proceedings of the 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007), Spain, Barcelona, 23-25 July, 2007. Barcelona: INSTICC Press, pp.66-71. ISBN 978-989-8111-10-4.
  52. Osis, J., Asnina, E., Grave, A. 2007 c, Computation Independent Modeling within the MDA. In: Proceedings of IEEE International Conference on Software, Science, Technology & Engineering (SwSTE07), Israel, Herzlia, 30-31 October, 2007. Herzlia: IEEE Computer Society, Conference Publishing Services (CPS), pp.22-34. ISBN 978-0- 7695-3021-5. Available from: doi:10.1109/SwSTE.2007.20
  53. Osis, J., Asnina, E., Grave, A. 2008 a, Computation Independent Representation of the Problem Domain in MDA. In: e-Informatica Software Engineering Journal, Vol.2, Iss.1, pp. 29.-46, ISSN 1897-7979.
  54. Osis, J., Asnina, E., Grave, A. 2008 b, Formal Problem Domain Modeling within MDA. In: Communications in Computer and Information Science (CCIS). Software and Data Technologies: Second International Conference ICSOFT/ENASE 2007: Revised Selected Papers, Germany, Berlin, 22-25 July, 2007. Berlin: Springer-Verlag Berlin Heidelberg, pp.387-398. ISBN 9783540886549. e-ISBN 9783540886556. ISSN 1865-0929. Available from: doi:10.1007/978-3-540-88655-6_29
  55. Osis, J., Beghi, L. 1997, Topological Modelling of Biological Systems. In: Proccedings of the third IFAC Symposium on Modelling and Control in Biomedical Systems (Including Biological Systems), D. A. Linkens, E. R. Carson (editors), Pergamon-Elsevier Science Publishing, Oxford, UK, pp. 337-342.
  56. Osis, J., Donins, U. 2009 a, An Innovative Model Driven Formalization of the Class Diagrams. In: Proceedings of 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2009), Italy, Milan, 9-10 May, 2009. Milan: INSTICC Press, pp. 134-145.
  57. Osis, J., Donins, U. 2009 b, Modeling Formalization of MDA Software Development at the Very Beginning of Life Cycle. In: Advances in Databases and Information Systems: 13th East-European Conference (ADBIS 2009) : Associated Workshops and Doctoral Consortium : Local Proceedings, Latvia, Riga, 7-10 September, 2009. Riga: RTU, pp.48-61. ISBN 9789984301631.
  58. Osis, J., Donins, U. 2010 a, Formalization of the UML Class Diagrams. In: Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conferences ENASE 2008/2009: Revised Selected Papers, Italy, Milan, 9-10 May, 2009. Berlin: Springer-Verlag, pp.180-192. ISBN 9783642148187. e-ISBN 9783642148194. ISSN 1865-0929. Available from: doi:10.1007/978-3-642-14819-4_13
  59. Osis, J., Donins, U. 2010 b, Platform Independent Model Development by Means of Topological Class Diagrams. In: Model-Driven Architecture and Modeling Theory-Driven Development: Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development (MDA & MTDD 2010), Greece, Athens, 22-24 July, 2010. Lisbon: SciTePress, pp.13-22. ISBN 9789898425164.
  60. Osis, J., Gelfandbain, J., Markovich, Z., Novozilova, N. 1991, Diagnostics on Graph Models (on the Examples of Aviation and Automobile Technology) (in Russian). Moscow, Transport, 244 p.
  61. Osis, J., Merkuryev, Y., Ginters, E., Teilans, A. 1996, Object Oriented Modelling and Simulation Using LATISS. In: Proceedings of the 22nd Conference of the ASU, Clermont-Ferrand, France, July, pp.136- 145.
  62. Osis, J., Silins, J. 2002, Specifics of Modelling of Embedded Systems. In: Scientific Proceedings of Riga Technical University. Series - Computer Science (5), Volume 13, Riga, RTU, pp. 173-180.
  63. Osis, J., Silins, J. 2009, Topological Function-Architecture Co-Design of Embedded Systems. In: Advances in Databases and Information Systems: 13th EastEuropean Conference (ADBIS 2009): Associated Workshops and Doctoral Consortium : Local Proceedings, Latvia, Riga, 7-10 September, 2009. Riga: RTU, pp.424-431. ISBN 9789984301631.
  64. Osis, J., Slihte, A. 2010, Transforming Textual Use Cases to a Computation Independent Model. In: ModelDriven Architecture and Modeling Theory-Driven Development: Proceedings of the 2nd International Workshop (MDA & MTDD 2010), Greece, Athens, 22- 24 July, 2010. Lisbon: SciTePress, pp.33-42. ISBN 9789898425164.
  65. Osis, J., Slihte, A., Jansone, A. 2012, Using Use Cases for Domain Modeling. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wroclaw, 29-30 June, 2012. Lisbon: SciTePress, pp.224-231. ISBN 9789898565136.
  66. Osis, J., Sukovskis, U., Teilans, A. 1997, Business Process Modeling and Simulation Based on Topological Approach. In: Proceedings of the 9th European Simulation Symposium and Exhibition, Passau, Germany, pp. 496-501.
  67. Slihte, A. 2009, The Concept of a Topological Functioning Model Construction Tool. In: Advances in Databases and Information Systems: 13th EastEuropean Conference (ADBIS 2009) : Associated Workshops and Doctoral Consortium : Local Proceedings, Latvia, Riga, 7-10 September, 2009. Riga: RTU, pp.476-484. ISBN 9789984301631.
  68. Slihte, A. 2010, The Specific Text Analysis Tasks at the Beginning of MDA Life Cycle. In: Databases and Information Systems Doctoral Consortium, Latvia, Riga, 5-7 July, 2010. Riga: SIA "Latgales druka", pp.11-22. ISBN 9789984451893.
  69. Slihte, A., Osis, J. 2014, The Integrated Domain Modeling: A Case Study. In: Databases and Information Systems: Proceedings of the 11th International Baltic Conference (DB&IS 2014), Estonia, Tallinn, 8-11 June, 2014. Tallinn: Tallinn University of Technology Press, pp.465-470. ISBN 978-9949-23-632-9. e-ISBN 978-9949-23-633-6.
  70. Slihte, A., Osis, J., Donins, U. 2011, Knowledge Integration for Domain Modeling. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 8-11 June, 2011. Lisbon: SciTePress, pp.46-56. ISBN 9789898425591.
  71. Slihte, A., Osis, J., Donins, U., Asnina, E., Gulbis, B. 2011, Advancements of the Topological Functioning Model for Model Driven Architecture Approach. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 7-11 June, 2011. Lisbon: SciTePress, pp.91- 100. ISBN 9789898425591.
  72. Slihte, Armands. 2015, The Integrated Domain Modeling: an Approach & Toolset for Acquiring a Topological Functioning Model. PhD Thesis. Riga: [RTU]. 224 p.
Download


Paper Citation


in Harvard Style

Solomencevs A. (2016). Topological Functioning Model for Software Development within MDA (Survey) . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016) ISBN 978-989-758-189-2, pages 315-326. DOI: 10.5220/0005922803150326


in Bibtex Style

@conference{mdi4se16,
author={Arturs Solomencevs},
title={Topological Functioning Model for Software Development within MDA (Survey)},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)},
year={2016},
pages={315-326},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005922803150326},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)
TI - Topological Functioning Model for Software Development within MDA (Survey)
SN - 978-989-758-189-2
AU - Solomencevs A.
PY - 2016
SP - 315
EP - 326
DO - 10.5220/0005922803150326