Comparing Transformation Possibilities of Topological Functioning Model and BPMN in the Context of Model Driven Architecture

Solomencevs, Artūrs

doi:10.1515/acss-2016-0002

Abstract

The approach called “Topological Functioning Model for Software Engineering” (TFM4SE) applies the Topological Functioning Model (TFM) for modelling the business system in the context of Model Driven Architecture. TFM is a mathematically formal computation independent model (CIM). TFM4SE is compared to an approach that uses BPMN as a CIM. The comparison focuses on CIM modelling and on transformation to UML Sequence diagram on the platform independent (PIM) level. The results show the advantages and drawbacks the formalism of TFM brings into the development.

References

[1] J. Miller and J. Mukerji, (2003, June 12). MDA Guide Version 1.0.1. [Online]. Available: www.omg.org/cgi-bin/doc?omg/03-06-01 [February 10, 2016].
Search in Google Scholar
[2] J. Osis, “Software Development with Topological Model in the Framework of MDA,” in Proc. of the 9th CAiSE/IFIP8.1/EUNO Int. Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD’2004) in connection with the CAiSE’2004. vol. 1, Riga: RTU, 2004, pp. 211–220.
Search in Google Scholar
[3] 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.ch001
Search in Google Scholar
[4] J. Osis and E. Asnina, “Is Modeling a Treatment for the Weakness of Software Engineering?” in Handbook of Research on Innovations in Systems and Software Engineering. Hershey, USA: IGI Global, 2015, pp. 411–427. ISBN 978-1-4666-6359-6. e-ISBN 978-1-4666-6360-2. http://dx.doi.org/10.4018/978-1-4666-6359-6
Search in Google Scholar
[5] 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, Greece, Athens, 22–24 July, 2010. Lisbon: SciTePress, 2010, pp. 23–32. ISBN 978-9-8984-2516-4.
Search in Google Scholar
[6] J. Osis, E. Asnina and A. Grave, “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, 2007, pp. 66–71. ISBN 978-989-8111-10-4.
Search in Google Scholar
[7] J. Osis, “Topological Model of System Functioning,” (in Russian). Automatics and Computer Science, J. of Academia of Sciences, Riga, Latvia, no. 6, 1969, pp. 44–50.
Search in Google Scholar
[8] E. Asnina and V. Ovcinnikova, “Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems,” in Proc, of 10th Int, Conf, on Evaluation of Novel Approaches to Software Engineering, Spain, Barcelona, 29–30 April, 2015. Portugal: SciTePress, 2015, pp. 364–373. ISBN 978-989-758-100-7. http://dx.doi.org/10.5220/0005479903640373
Search in Google Scholar
[9] V. Ovcinnikova and E. Asnina, “The Algorithm of Transformation from UML Sequence Diagrams to the Topological Functioning Model,” in Proc. of 10th Int. Conf. on Evaluation of Novel Approaches to Software Engineering, Spain, Barcelona, 29–30 April, 2015. Portugal: SciTePress, 2015, pp. 377–384. ISBN 978-989-758-100-7. http://dx.doi.org/10.5220/0005476603770384
Search in Google Scholar
[10] OMG (Object Management Group). “Business Process Model and Notation (BPMN), Version 2.0.2.” December 2013. [On-line]. Available: www.omg.org/spec/BPMN/2.0.2/PDF [February 10, 2016].
Search in Google Scholar
[11] Y. Rhazali, Y. Hadi and A. Mouloudi, “Transformation Method CIM to PIM: From Business Processes Models Defined in BPMN to Use Case and Class Models Defined in UML,” World Academy of Science, Engineering and Technology – International Journal of Computer, Electrical, Automation, Control and Information Engineering, vol. 8, no. 8, pp. 1467–1471, 2014.
Search in Google Scholar
[12] A.E. Fazziki et al. “A Service Oriented Information System: A Model Driven Approach,” in The Eighth Int. Conf. on Signal Image Technology and Internet Based Systems (SITIS), Naples, 25–29 November, 2012. IEEE, 2012, pp. 466–473. ISBN 978-1-4673-5152-2. http://dx.doi.org/10.1109/SITIS.2012.75
Search in Google Scholar
[13] OMG (Object Management Group). “Service oriented architecture Modeling Language (SoaML) Specification, Version 1.0.1.” May 2012. [Online]. Available: www.omg.org/spec/SoaML/1.0.1/PDF/ [February 10, 2016].
Search in Google Scholar
[14] C. Hahn, D. Panfilenko and K. Fischer, “A Model-Driven Approach to Close the Gap between Business Requirements and Agent-Based Execution,” in Proc. of the 4th Workshop on Agent-based Technologies and applications for enterprise interOPerability, Toronto, Canada, 10 May 2010. AAMAS 2010, Toronto, Canada, 2010, pp. 13–24.
Search in Google Scholar
[15] V. D. Castro, E. Marcos and J. M. Vara, “Applying CIM-to-PIM model transformations for the service-oriented development of information systems,” Information and Software Technology, vol. 53, issue 1, pp. 87–105, Jan. 2011. http://dx.doi.org/10.1016/j.infsof.2010.09.002
Search in Google Scholar
[16] A. Rodriguez et al. “Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach,” Information and Software Technology, vol. 52, issue 9, pp. 945–971, September 2010. ISSN 0950-5849.10.1016/j.infsof.2010.03.015
Search in Google Scholar
[17] B. Bousetta, O. El Beggar and T. Gadi, “A methodology for CIM modelling and its transformation to PIM,” in Journal of Information Engineering and Applications, vol. 3, no. 2, pp. 1–21, 2013. ISSN 2224-5782. e-ISSN 2225-0506.
Search in Google Scholar
[18] W. Zhang et al., “Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach,” in Proc. of 8th Int. Conf., MoDELS 2005, Montego Bay, Jamaica, October 2–7, 2005. Berlin, Heidelberg: Sprienger, 2005, pp. 248–263. ISBN 978-3-540-29010-0. e-ISBN 978-3-540-32057-9. http://dx.doi.org/10.1007/11557432_18
Search in Google Scholar
[19] J. J. Gutierrez et al., “Visualization of Use Cases through Automatically Generated Activity Diagrams,” in Pro. of 11th Int. Conf., MoDELS 2008, Toulouse, France, Sept. 28 – Oct. 3, 2008. Berlin, Heidelberg: Sprienger, 2008, pp. 83–96. ISBN 978-3-540-87874-2. e-ISBN 978-3-540-87875-9. http://dx.doi.org/10.1007/978-3-540-87875-9_6
Search in Google Scholar
[20] J. Mazon, J. Pardillo and J. Trujillo, “A Model-Driven Goal-Oriented Requirement Engineering Approach for Data Warehouses,” in Proc. of ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5–9, 2007. Berlin, Heidelberg: Sprienger, 2007, pp. 255–264. ISBN 978-3-540-76291-1, e-ISBN 978-3-540-76292-8. http://dx.doi.org/10.1007/978-3-540-76292-8_31
Search in Google Scholar
[21] E. Yu, “Modelling Strategic Relationships for Process Reengineering.” Ph.D. thesis, University of Toronto, Canada, 1995.
Search in Google Scholar
[22] S. Kherraf, E. Lefebvre and W. Suryn, “Transformation from CIM to PIM Using Patterns and Archetypes,” in 19th Australian Conf. on Software Engineering, ASWEC 2008, Perth, Australia, 26–28 March 2008. IEEE, 2008, pp. 338–346. ISBN 978-0-7695-3100-7. ISSN 1530-0803. http://dx.doi.org/10.1109/ASWEC.2008.4483222
Search in Google Scholar
[23] M. Kardos and M. Drozdova, “Analytical method of CIM to PIM transformation in Model Driven Architecture (MDA),” J. of Information and Organizational Sciences (JIOS), vol. 34, issue 1, pp. 89–99, 2010. ISSN 1846-3312. e-ISSN 1846-9418.
Search in Google Scholar
[24] E. Asnina and J. Osis, “Topological Functioning Model as a CIM-Business Model,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York: IGI Global, 2011, pp. 40–64. http://dx.doi.org/10.4018/978-1-61692-874-2.ch003
Search in Google Scholar
[25] J. Osis and A. Slihte, “Transforming Textual Use Cases to a Computation Independent Model,” in Model-Driven Architecture and Modeling Theory-Driven Development: Proc. of the 2nd Int. Workshop (MDA & MTDD 2010), Greece, Athens, 22–24 July, 2010. Lisbon: SciTePress, 2010, pp. 33–42. ISBN 978-9-8984-2516-4.
Search in Google Scholar
[26] A. Slihte, J. Osis and U. Donins, “Knowledge Integration for Domain Modeling,” in Proc. of the 3rd Int. Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 8–11 June, 2011. Lisbon: SciTePress, 2011, pp. 46–56. ISBN 978-9-8984-2559-1.
Search in Google Scholar
[27] A. Slihte et al., “Advancements of the Topological Functioning Model for Model Driven Architecture Approach,” in Proc. of the 3rd Int. Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 7–11 June, 2011. Lisbon: SciTePress, 2011, pp. 91–100. ISBN 978-9-8984-2559-1.
Search in Google Scholar
[28] 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: IGI Global, 2011, pp. 65–89. http://dx.doi.org/10.4018/978-1-61692-874-2.ch004
Search in Google Scholar
[29] OMG (Object Management Group). “OMG Unified Modeling Language (OMG UML), Version 2.5.” March 2015. [Online]. Available: www.omg.org/spec/UML/2.5/PDF [February 10, 2016].
Search in Google Scholar
[30] J. Osis et al., “Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model,” Applied Computer Systems, vol. 16, pp.5–12, 2014. ISSN 2255-8683. e-ISSN 2255-8691. http://dx.doi.org/10.1515/acss-2014-0007
Search in Google Scholar
[31] 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: Second Int. Conf. ICSOFT/ENASE 2007: Revised Selected Papers, Germany, Berlin, 22–25 July, 2007. Berlin: Springer-Verlag Berlin Heidelberg, 2008, pp. 387–398. ISBN 978-3-5408-8654-9. e-ISBN 978-3-5408-8655-6. ISSN 1865-0929.
Search in Google Scholar
[32] J. Osis, E. Asnina, and A. Grave, “Computation Independent Representation of the Problem Domain in MDA.” e-Informatica Software Engineering Journal, vol. 2, issue 1, pp. 29–46, 2008. ISSN 1897-7979.
Search in Google Scholar
[33] E. Asnina, “Backward Requirements Traceability within the Topology-based Model Driven Software Development,” in Proc. of the 3rd Int. Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011), China, Beijing, 7–11 June, 2011. Lisbon: SciTePress, 2011, pp. 36–45. ISBN 978-9-8984-2559-1.
Search in Google Scholar
[34] O. El Beggar, B. Bousetta and T. Gadi, “Generating methods signatures from transition state diagram: A model transformation approach,” in Information Science and Technology (CIST), 22–24 October, 2012. 2012, pp. 4–9. http://dx.doi.org/10.1109/CIST.2012.6388054
Search in Google Scholar
[35] O. El Beggar, B. Bousetta and T. Gadi, “Automatic code generation by model transformation from sequence diagram of system’s internal behavior.” Int. J. of Computer and Information Technology (IJCIT), vol. 1, issue 2, pp. 129–146, November 2012. ISSN: 2279–0764.
Search in Google Scholar
[36] B. Bousetta, O. El Beggar and T. Gadi, “Automating Software Development Process: Analysis-PIMs to Design-PIM Model Transformation,” Int. J. of Software Engineering and Its Applications, vol. 7, no. 5, SERSC, pp. 167–196, 2013. ISSN 1738-9984.10.14257/ijseia.2013.7.5.17
Search in Google Scholar
[37] B. Bousetta, O. El Beggar and T. Gadi, “Generating operations specification from domain class diagram using transition state diagram,” Int. J. of Computer and Information Technology (IJCIT), vol. 2, issue 1, pp. 29–36, January 2013. ISSN: 2279–0764.
Search in Google Scholar
[38] K. Fernandez Cespedes, J. Osis and G. Alksnis, “Lessons Learned by using the Integrated Domain Modeling Toolset.” in Proc. of the 10th Int. Conf. on Evaluation of Novel Approaches to Software Engineering, ENASE 2015, Spain, Barcelona, 28–30 April, 2015. Portugal:SciTePress, 2015, pp. 352–363. http://dx.doi.org/10.5220/0005477703520363
Search in Google Scholar
[39] J. Osis and E. Asnina, “Topological Modeling for Model-Driven Domain Analysis and Software Development: Functions and Architectures,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions, Hershey, New York: IGI Global, 2011, pp. 15–39. http://dx.doi.org/10.4018/978-1-61692-874-2.ch002
Search in Google Scholar
[40] U. Donins and J. Osis, “Topological Modeling for Enterprise Data Synchronization System: A Case Study of Topological Model-Driven Software Development,” in Proc. of the 13th Int. Conf. on Enterprise Information Systems, vol. 3, China, Beijing, 8–11 June, 2011. Beijing: SciTePress, 2011, pp.87–96. ISBN 978-9-8984-2555-3.
Search in Google Scholar
[41] J. Osis and U. Donins, “Formalization of the UML Class Diagrams,” in Evaluation of Novel Approaches to Software Engineering: 3rd and 4th Int. Conf., ENASE 2008/2009: Revised Selected Papers, Italy, Milan, 9–10 May, 2009. Berlin: Springer-Verlag, 2010, pp. 180–192. ISBN 978-3-6421-4818-7. e-ISBN 978-3-6421-4819-4. ISSN 1865-0929. http://dx.doi.org/10.1007/978-3-642-14819-4_13
Search in Google Scholar

Comparing Transformation Possibilities of Topological Functioning Model and BPMN in the Context of Model Driven Architecture

Abstract

Paradigm

My account