@inproceedings{ebf0a390a32b4be2808fc8b82fbc3a17,
title = "Bounded retransmission in iUML-B state machine: A case study",
abstract = "This paper presents a case study using the iUML-B state machine to model bounded retransmission protocol. The case is inspired by Abrial's treatment of this example to illustrate the practicality of modeling control flow using the iUML-B state machine. The case study contains several aspects of our approach: (1) divide the system model into component state machines and control flow state machines; (2) modeling different types of variables using the state machine; (3) refinement method based on iUML-B state machine.",
keywords = "Bounded retransmission protocol, Control flow modelling, Event-B, IUML-B state machine",
author = "Han Peng and Chenglie Du and Haobin Wang",
year = "2017",
language = "英语",
series = "2017 7th International Workshop on Computer Science and Engineering, WCSE 2017",
publisher = "International Workshop on Computer Science and Engineering (WCSE)",
pages = "1144--1149",
booktitle = "2017 7th International Workshop on Computer Science and Engineering, WCSE 2017",
note = "2017 7th International Workshop on Computer Science and Engineering, WCSE 2017 ; Conference date: 25-06-2017 Through 27-06-2017",
}