Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Applied Computer Systems

The Journal of Riga Technical University

2 Issues per year

Open Access
Online
ISSN
2255-8691
See all formats and pricing
More options …

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

Artūrs Solomencevs
Published Online: 2016-05-28 | DOI: https://doi.org/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.

Keywords: CIM to PIM transformation; formal CIM; model driven architecture; topological functioning model

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].

  • [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.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.ch001Crossref

  • [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-6Crossref

  • [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.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.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.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/0005479903640373Crossref

  • [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/0005476603770384Crossref

  • [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].

  • [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.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.75Crossref

  • [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].

  • [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.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.002Crossref

  • [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.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.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

  • [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

  • [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_31Crossref

  • [21] E. Yu, “Modelling Strategic Relationships for Process Reengineering.” Ph.D. thesis, University of Toronto, Canada, 1995.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.4483222Crossref

  • [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.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.ch003Crossref

  • [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.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.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.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.ch004Crossref

  • [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].

  • [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-0007Crossref

  • [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.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.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.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.6388054Crossref

  • [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.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.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.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/0005477703520363Crossref

  • [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.ch002Crossref

  • [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.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

About the article

Published Online: 2016-05-28

Published in Print: 2016-05-01


Citation Information: Applied Computer Systems, Volume 19, Issue 1, Pages 15–24, ISSN (Online) 2255-8691, DOI: https://doi.org/10.1515/acss-2016-0002.

Export Citation

© 2016 Riga Technical University. This work is licensed under the Creative Commons Attribution 4.0 Public License. BY 4.0

Comments (0)

Please log in or register to comment.
Log in