Maintenance-Oriented Classifications of EFSM Transitions
2Jordan University, Computer Science Department, Jordan.
Abstract—Extended Finite State Machine modeling is a widely used technique to model state-based systems. Although EFSM models are usually mainly used to simplify the design and implementation of the systems, their use can be extended to enhance and speed up system maintenance (e.g. Error localization, performance enhancement, change management, etc.). In this paper we present a classification approach for EFSM transitions based on their criticality during maintenance. The purpose of this classification is to give the system maintenance team a tool for estimating criticality level for each transition in the EFSM model and consequently to allow them to better plan and manage the change process according the identified criticality of the transitions involved in the required change. Our classification approach is based on transitions’ complexity as well as the dependencies between the transitions in the model. An empirical study shows that the classification can be used to enhance and speed up the maintenance process for a required change.
Index Terms—Extended finite state machine, system modeling, state-based modeling, transition classification, criticality analysis.
Cite: Nada Almasri, Luay Tahat, Mohammad Alshraideh, "Maintenance-Oriented Classifications of EFSM Transitions," Journal of Software vol. 11, no. 1, pp. 64-79, 2016.
May 03, 2016 News!
Papers published in JSW Vol. 11, No. 1- Vol. 11, No. 11 have been indexed by DBLP. [Click]
Jan 05, 2017 News!
[CFP] 2017 the annual meeting of JSW Editorial Board, ICCSM 2017, will be held in Maldives, July 4-6, 2017. [Click]
Jan 12, 2017 News!
Vol 11, No. 12 has been published with online version 9 original aritcles from 4 countries are published in this issue. [Click]
Sep 21, 2016 News!
Vol.11, No.8 has been indexed by EI (Inspec). [Click]
Nov 17, 2015 News!
Welcome Prof. Karim El Guemhioui from Canada to join the Editorial board of JSW. [Click]