{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T21:54:57Z","timestamp":1740174897725,"version":"3.37.3"},"reference-count":15,"publisher":"Wiley","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Scientific Programming"],"published-print":{"date-parts":[[2018]]},"abstract":"<jats:p>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\u2019s 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.<\/jats:p>","DOI":"10.1155\/2018\/8765186","type":"journal-article","created":{"date-parts":[[2018,5,22]],"date-time":"2018-05-22T19:34:19Z","timestamp":1527017659000},"page":"1-11","source":"Crossref","is-referenced-by-count":3,"title":["A LTS Approach to Control in Event-B"],"prefix":"10.1155","volume":"2018","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8400-4663","authenticated-orcid":true,"given":"Han","family":"Peng","sequence":"first","affiliation":[{"name":"Northwestern Polytechnical University, Xi\u2019an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenglie","family":"Du","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University, Xi\u2019an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Rao","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University, Xi\u2019an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fu","family":"Chen","sequence":"additional","affiliation":[{"name":"Xi\u2019an Aeronautics Computing Technique Research Institute, Xi\u2019an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"year":"2010","key":"1"},{"year":"2005","key":"2"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/48022.48023"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0168064"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9226-z"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0391-z"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33600-8_31"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"year":"2000","key":"9"},{"year":"2008","key":"10"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0311-1"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24124-6_2"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003930"},{"key":"14","first-page":"87","volume":"2999","year":"2004","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.55.9"}],"container-title":["Scientific Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2018\/8765186.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2018\/8765186.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2018\/8765186.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,22]],"date-time":"2018-05-22T19:34:29Z","timestamp":1527017669000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/sp\/2018\/8765186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":15,"alternative-id":["8765186","8765186"],"URL":"https:\/\/doi.org\/10.1155\/2018\/8765186","relation":{},"ISSN":["1058-9244","1875-919X"],"issn-type":[{"type":"print","value":"1058-9244"},{"type":"electronic","value":"1875-919X"}],"subject":[],"published":{"date-parts":[[2018]]}}}