|تعداد مشاهده مقاله||2,477,200|
|تعداد دریافت فایل اصل مقاله||1,746,024|
|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. Rahmanian1؛ R. Nassiri* 2؛ M. Mohsenzadeh1؛ R. Ravanmehr2|
|1Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran.|
|2Department 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|
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
 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.
تعداد مشاهده مقاله: 332
تعداد دریافت فایل اصل مقاله: 160