A Graphical Tool for Event Refinement Structures in Event-B
暂无分享,去创建一个
The Event Refinement Structures ERS approach provides a graphical extension of the Event-B formal method to represent event decomposition and control-flow explicitly. In this paper we present an improved version of the ERS plug-in, which provides a graphical environment for the ERS approach within the Event-B tool, Rodin. The improved ERS plug-in is based on the available frameworks that are developed to support Event-B with an EMF framework, language extensions and generic diagram extensions.
[1] Michael J. Butler,et al. Language and tool support for event refinement structures in Event-B , 2015, Formal Aspects of Computing.
[2] Colin Snook,et al. An EMF Framework for Event-B , 2010 .
[3] Michael Butler,et al. UML-B and Event-B: an integration of languages and tools , 2008, ICSE 2008.
[4] Frank Budinsky,et al. EMF: Eclipse Modeling Framework 2.0 , 2009 .