Surveillance Data Capturing and Compression

Yan, Wei Qi

doi:10.1007/978-3-030-10713-0_2

Cited by 1 publication

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…According to (Yan, 2017), FSM is an approach to bridging the gap between the real world and semantic space by using events. Henry (2010) articulates that state machines are "the description of a thing's lifeline" that includes different stages.…”

Section: Semantics and Fsmmentioning

confidence: 99%

Modeling the Semantics of States and State Machines

Al-Fedaghi¹

2020

Journal of Computer Science

View full text Add to dashboard Cite

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.

show abstract

Section: Semantics and Fsmmentioning

confidence: 99%

Modeling the Semantics of States and State Machines

Al-Fedaghi¹

2020

Journal of Computer Science

View full text Add to dashboard Cite

show abstract

Surveillance Data Capturing and Compression

Cited by 1 publication

References 15 publications

Modeling the Semantics of States and State Machines

Modeling the Semantics of States and State Machines

Contact Info

Product

Resources

About