Semantic Enterprise Architecture Oriented Test Case Generation for Business process

Rahmanian, M.; Nassiri, R.; Mohsenzadeh, M.; Ravanmehr, R.

doi:10.22061/jecei.2021.8218.496

تعداد نشریات	11
تعداد شماره‌ها	237
تعداد مقالات	2,398
تعداد مشاهده مقاله	3,831,314
تعداد دریافت فایل اصل مقاله	2,775,913

	Semantic Enterprise Architecture Oriented Test Case Generation for Business process
Journal of Electrical and Computer Engineering Innovations (JECEI)
مقاله 5، دوره 10، شماره 2، مهر 2022، صفحه 311-328 اصل مقاله (870.89 K)
نوع مقاله: Original Research Paper
شناسه دیجیتال (DOI): 10.22061/jecei.2021.8218.496
نویسندگان
M. Rahmanian¹؛ R. Nassiri^* ²؛ M. Mohsenzadeh¹؛ R. Ravanmehr²
¹Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran.
²Department of Computer Engineering, Central Tehran Branch, Islamic Azad University, Tehran, Iran.
تاریخ دریافت: 19 مرداد 1400، تاریخ بازنگری: 01 آذر 1400، تاریخ پذیرش: 03 آذر 1400
چکیده
Background and Objectives: The area of enterprise architecture encompasses various domains, the most complicated of which concerns developing an enterprise business architecture. Although many state-of-the-art enterprise architecture frameworks describe the architecture by abstract levels, they still fail to provide accurate syntactic and semantic descriptions. Several previous conducted studies were looking for different objectives elaborated on modeling enterprise architectures. However, none of those studies tried to develop a modeling that generates test cases which would later be used for validation and/or verification. Therefore, the main contribution of this study is generating a set of test cases based on the descriptions yielded from enterprise business processes in early steps; then, the amount of later reviews and changes can be significantly lessened. Methods: Following the objective of accurate validation and/or verification of the enterprise business processes within an enterprise's architecture development, this paper proposes a new method based on the enterprise architecture design. Throughout the iterative cycle of the proposed method, initially, the enterprise goals will be extracted based on the TOGAF framework. Afterwards, it will be subjected to syntactical modeling based on the Archimate language. Then, semantics will be added to the syntactic model of the enterprise business processes based on the WSMO framework and formalize manually to B language by using defined transition rule. Therefore, in order to discover test cases, a set of test coverage will be tested on the formal model. Results: The proposed method has been implemented in the marketing and sales department of a petrochemical corporation, where the results show the validity and also the effectiveness of the method. Based on the implementation of our method on the selected case study, the details of the business process have been defined based on an enterprise level, the level of abstraction is decreased by syntactic and semantic modeling of enterprise architecture description, the formal descriptions created using the proposed transition rules for sampling. Conclusion: The proposed method starts from the goals of enterprises; therefore, the output samples are efficiently precise. By adding semantics to the syntactic models of enterprise architecture, the degree of abstraction has been decreased. By creating a formal model, the model can be subjected to sampling. For future work, it is suggested to use the proposed method for the automatic generation of codes.
کلیدواژه‌ها
Enterprise Architecture؛ Business Process؛ Syntactic and Semantic Modeling؛ Test Case Generation

مراجع
[1] Z. Zhou, Q. Zhi, S. Morisaki, S. Yamamoto, "A systematic literature review on enterprise architecture visualization methodologies," IEEE Access, 8(1): 96404-96427, 2020. [2] "The TOGAF® Standard, Version 9.2." accessed 1 October 2021. [3] S. Sharma, L. Raja, D. Pallavi Bhatt, "Role of ontology in software testing," J. Inf. Optim. Sci., 41(2): 641-649, 2020. [4] A. Mili, F. Tcheir, Software Testing Concepts and Operations, John Wiley & Sons, 2015. [5] K. Bouafia, B. Molnár, "Analysis approach for enterprise information systems architecture based on hypergraph to aligned business process requirements," Procedia Comput. Sci., 164: 19-24, 2019. [6] K. Hinkelmann, E. Laurenzi, A. Martin, B. Thönssen, Ontology-Based Metamodeling" Business Information Systems and Technology 4.0. Studies in Systems, Decision and Control, 141: 177-194, 2018. [7] E. Babkin, A. Ponomarev, "Analysis of the consistency of enterprise architecture models using formal verification methods," Bus. Inf., 3 (41): 30–40, 2017. [8] A. Caetano, G. Antunes, J. Pombinho, M. Bakhshandeh, J. Granjo, "Representation and analysis of enterprise models with semantic techniques: an application to ArchiMate, e3value and business model canvas," Knowledge Inf. Syst., 50: 315–346, 2016. [9] K. Hinkelmann, E. Laurenzi, B. Lammel, S. Kurjakovic, "A semantically-enhanced modelling environment for business process as a service," in Proc. 4th International Conference on Enterprise Systems, 4: 143-152, 2016. [10] K. Hinkelmann, E. Laurenzi, A. Martin, D. Montecchiari, M. Spahic, B. Thönssen, "ArchiMEO: A standardized enterprise ontology based on the ArchiMate conceptual model," in Proc. the 8th International Conference on Model-Driven Engineering and Software Development – MODELSWARD: 417-424, 2020. [11] G. Antunes, M. Bakhshandeh, R. Mayer, J. Borbinha, A. Caetano, "Using ontologies for enterprise architecture analysis," in Proc. 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 17: 361-368, 2013. [12] W. Chen, C. Hess, M. Langermeier, "Semantic enterprise architecture management," in Proc. the 15th International Conference on Enterprise Information Systems (ICEIS-2013): 318-325, 2013. [13] K. Hinkelmann, D. Karagiannis, B. Thoenssen, R. Woitsch, A. Gerber, "A new paradigm for continuous alignment of business and IT: combining enterprise architecture," Model. Enterpr. Ontol., 79: 77-86, 2015. [14] A. Yazdani Seqerloo, M.J. Amiri, S. Parsa, "Automatic test cases generation from business process models," Requirements Eng. 24: 119-132, 2019. [15] W. Zhang, S. Liu, "Supporting tool for automatic specification-based test case generation," in Proc. International Workshop on Structured Object-Oriented Formal Language and Method, 7787: 12-25, 2013. [16] A.K. Jena, S.K. Swain, D.P. Mohapatra, "A novel approach for test case generation from UML activity diagram," in Proc. International Conference on Issues and Challenges in Intelligent Computing Techniques: 621-629, 2014. [17] "The ArchiMate® Standards" accessed 1 October 2021. [18] G. Wierda, Mastering ArchiMate Edition 3.1. : R & A, 2021. [19] P. Desfray, G. Raymond, Modeling Enterprise Architecture With TOGAF. : Elsevier, 2014. [20] "Archi-Open Source ArchiMate Modelling" accessed 1 Octobr 2021. [21] "Web Service Modeling Ontology" accessed 1 October 2021. [22] D. Fensel, H. Lausen, J. Bruijn, Enabling Semantic Web Services: The Web Service Modeling Ontology. : Springer-Verlag Berlin, 2007. [23] D. Fensel, F.M. Facca, E. Simperl, I. Toma Web Service Modeling Ontology. In: Semantic Web Services. Springer, Berlin, Heidelberg, 2011. [24] M. Bures, T. Cerny, M. Klima, "Prioritized process test: More efficiency in testing of business processes and workflows," in Proc. International Conference on Information Science and Applications, 424: 585-593, 2017. [25] J. Bruijn, H. Lausen, A. Polleres, D. Fensel, “The web service modeling language WSML: An overview,” in Proc. European Semantic Web Conference: 590-604, 2006. [26] J. Bruijn, D. Fensel, U. Keller, "Using the web service modeling ontology to enable semantic e-Business," Commun. ACM, 8(12): 43-47, 2005. [27] F. Christina, P. Axel, D. Roman, D. John, " Towards intelligent web services: the web service modeling ontology (WSMO)," in Proc. International Conference on Intelligent Computing (ICIC'05): 23-26, 2005. [28] "The Programming Language B" accessed 1 October 2021. [29] K. Lano, The B Language and Method: A Guide to practical Formal development. : Springer Verlog, 1996. [30] M. Leuschel, M. Butler, "ProB: a model checker for B," in Proc. International Symposium of Formal Methods Europe Springer, Berlin-Hei- delberg: 855–874, 2003.
آمار تعداد مشاهده مقاله: 664 تعداد دریافت فایل اصل مقاله: 492

سامانه مدیریت نشریات علمی. طراحی و پیاده سازی از سیناوب

پیوندهای مفید

آمار

Semantic Enterprise Architecture Oriented Test Case Generation for Business process