Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems

TL;DR

This paper introduces a new control model for discrete event systems to represent EFSMs for SDL, clarifying control mechanisms in SDL flow graphs through supervisory control theory.

Contribution

It proposes a novel control model for discrete event systems and transforms EFSM for SDL into this model, linking software modeling with control theory.

Findings

Transform of EFSM for SDL into control model

Clarification of control mechanisms in SDL flow graphs

Integration of supervisory control theory with software models

Abstract

This paper discusses EFSM for SDL and transforms EFSM into a novel control model of discrete event systems. We firstly propose a control model of discrete event systems, where the event set is made up of several conflicting pairs and control is implemented to select one event of the pair. Then we transform EFSM for SDL to the control model to clarify the control mechanism functioning in SDL flow graphs. This work views the EFSM for SDL in the perspective of supervisory control theory, and this contributes to the field of software cybernetics, which explores the theoretically justified interplay of software and the control.