Modeling Control Flow of Event-B Using State Transition System
Abstract:There are some limitations of Event-B method in expressing the event order of system. In order to solve this problem, event refinement structure method was proposed to model the system refinement structure and control flow. However, the event refinement structure diagram cannot directly map to a behavioral semantic model such as communication sequence process or labeled transition system, and is inconvenient to verify the behavior properties of system. In this paper, we propose a general method to model the co… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.