"434","Language and tool support for class and state machine refinement in UML-B","UML-B is a ?UML-like? graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-B, refinement is used to relate system models at different abstraction levels. The same abstraction-refinement concepts can also be applied in UML-B. This paper introduces the notions of refined classes and refined state machines to enable refinement of classes and state machines in UML-B. Together with these notions, a technique for moving an event between classes to facilitate abstraction is also introduced. Our work makes explicit the structures of class and state machine refinement in UML-B. The UML-B drawing tool and Event-B translator are extended to support the new refinement concepts. A case study of an auto teller machine (ATM) is presented to demonstrate application and effectiveness of refined classes and refined state machines.","http://deploy-eprints.ecs.soton.ac.uk/434/","Said, Mar Yah and Butler, Michael and Snook, Colin","UNSPECIFIED","       <span class=\"person_name\">Said, Mar Yah</span> and <span class=\"person_name\">Butler, Michael</span> and <span class=\"person_name\">Snook, Colin</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/434/\"><em>Language and tool support for class and state machine refinement in UML-B.</em></a>       In: Formal Methods 2009, November 2009, Eindhoven.           ","","2009-11"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>