loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Quality Software (QSIC'06)
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems
Beijing, China
October 27-October 28
ISBN: 0-7695-2718-3
ASCII Text
x 
 
Peng Wang, Kai-Yuan Cai, "Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems," Quality Software, International Conference on, pp. 159-166, Sixth International Conference on Quality Software (QSIC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2006.53,
author = {Peng Wang and Kai-Yuan Cai},
title = {Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2006},
issn = {1550-6002},
pages = {159-166},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.53},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems
SN - 1550-6002
SP159
EP166
A1 - Peng Wang,
A1 - Kai-Yuan Cai,
PY - 2006
KW - null
VL - 0
JA - Quality Software, International Conference on
ER -
 
Peng Wang, Beijing University of Aeronautics and Astronautics, China
Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China
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.
Citation:
Peng Wang, Kai-Yuan Cai, "Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems," qsic, pp.159-166, Sixth International Conference on Quality Software (QSIC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.