![](/images/graphics-bg.png)
A LTS Approach to Control in Event-B
Joint Authors
Du, Chenglie
Peng, Han
Rao, Lei
Chen, Fu
Source
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-11, 11 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-05-22
Country of Publication
Egypt
No. of Pages
11
Main Subjects
Abstract EN
In Event-B, people need to use control variables to constrain the order of events, which is a time-consuming and error-prone process.
This paper presents a method of combining labeled transition system and iUML-B to complete the behavior modeling of system, which is more convenient and practical for engineers who are accustomed to using the automaton to build a system behavior model.
First, we use labeled transition system to establish the behavior model of the system.
Then we simulate and verify the event traces of the labeled transition system behavior model.
Finally, we convert labeled transition system model into iUML-B state machine and use it to generate the corresponding control flow model.
We use Abrial’s bounded retransmission protocol to demonstrate the practicality of our approach.
The simulation results show that the system behavior model generated by the iUML-B state machine has the same event trace as the corresponding labeled transition system model.
American Psychological Association (APA)
Peng, Han& Du, Chenglie& Rao, Lei& Chen, Fu. 2018. A LTS Approach to Control in Event-B. Scientific Programming،Vol. 2018, no. 2018, pp.1-11.
https://search.emarefa.net/detail/BIM-1214769
Modern Language Association (MLA)
Peng, Han…[et al.]. A LTS Approach to Control in Event-B. Scientific Programming No. 2018 (2018), pp.1-11.
https://search.emarefa.net/detail/BIM-1214769
American Medical Association (AMA)
Peng, Han& Du, Chenglie& Rao, Lei& Chen, Fu. A LTS Approach to Control in Event-B. Scientific Programming. 2018. Vol. 2018, no. 2018, pp.1-11.
https://search.emarefa.net/detail/BIM-1214769
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1214769