Affiliation:
1. Computer Engineering Department, Kuwait University, Safat, Kuwait
Abstract
This article proposes an abstract machine, known by the acronym FM, for modeling behavior currently described by finite state machines (SMs) in conjunction with related notions such as state and event. Although the SM concept was born more than 50 years ago and is widely applied in hardware design, the literature suggests it is not well understood despite its use in other application fields, especially in software system design. Several SM-based examples are remodeled in terms of the proposed machine, and they reveal a richer conception of the dynamic aspects of systems. FM enhances understanding of concepts in control modeling such as states, events, behavior, and control. The article exposes the limitations of unrefined SM features used in modeling software systems. It is suggested that FM be used as a modeling tool in the software system design process.
Subject
Artificial Intelligence,Management of Technology and Innovation,Information Systems and Management,Organizational Behavior and Human Resource Management,Strategy and Management,Information Systems
Reference28 articles.
1. Analysis and Design of Business Processes Using BPMN
2. Thing-oriented learning: application to mathematical objects.;S.Al-Fedaghi;Proceedings of the 19th IEEE International Conference on Computational Science and Engineering (CSE 2016),2016
3. Activity recognition and sensor positioning.;S.Al-Fedaghi;Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2016),2016
4. Conceptual Modeling in Simulation: A Representation that Assimilates Events
5. Toward a Philosophy of Data for Database Systems Design