Modeling the Semantics of States and State Machines

07/14/2020
by   Sabah Al-Fedaghi, et al.
0

A system s behavior is typically specified through models such as state diagrams that describe how the system should behave. According to researchers, it is not clear what a state actually represents regarding the system to be modeled. Standards do not provide adequate definitions of or sufficient guidance on the use of states. Studies show these inconsistencies can lead to poor or incomplete specifications, which in turn could result in project delays or increase the cost of the system design. This paper aims to establish a precise definition of the notion of states and state machines, a goal motivated by system modelers (e.g., requirement engineers) need to understand key concepts and vocabulary such as states and state machine, which are major behavioral modeling tools (e.g., in UML). State is the main notion of a state machine in which events drive state changes. This raises questions about the nature of these state-related notations. The semantics of these concepts is based on a new modeling methodology called the thinging machine applied to a number of examples of existing models. The thinging machine semantics is founded on five elementary actions that divide the static model into changes/states upon which events are defined.

READ FULL TEXT

page 1

page 5

page 6

page 8

page 12

research
08/11/2020

Changes, States, and Events: The Thread from Staticity to Dynamism in the Conceptual Modeling of Systems

This paper examines the concept of change in conceptual modeling. Change...
research
05/14/2022

State-Based Behavior Modeling in Software and Systems Engineering

The design of complex man-made systems mostly involves a conceptual mode...
research
06/27/2022

Conceptual Modeling of Actions

Modeling in software engineering includes constructing static, dynamic, ...
research
04/26/2017

Modeling Events as Machines

The notion of events has occupied a central role in modeling and has an ...
research
12/03/2020

Exploration in Algorithm Engineering: Modeling Algorithms

According to some algorithmicists, algorithmics traditionally uses algor...
research
10/17/2021

Semantics of Conjectures

This paper aims to expand and detail the notion of formal semantics of C...
research
10/29/2018

Concepts of Architecture, Structure and System

The current ISO standards pertaining to the Concepts of System and Archi...

Please sign up or login with your details

Forgot password? Click here to reset