Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. (In Press)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 248Kb |
Official URL: http://eprints.ecs.soton.ac.uk/14926/
Abstract
UML-B is a graphical front end for Event-B. It adds support for class-oriented modelling but retains the Event-B concept of a closed system characterized by families of spontaneous events. UML-B is similar to UML but is essentially a new notation based on a separate meta-model. We provide tool support for UML-B, including drawing tools and a translator to generate Event-B models. The tools are closely integrated with the Event-B verification tools so that when a drawing is saved the translator automatically generates the corresponding Event-B model. The Event-B verification tools (syntax checker and prover) then run automatically providing an immediate display of problems. We introduce the UML-B notation its tool support and its integration with Event-B.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | Visual modelling languages, Formal, UML, Event-B |
| Subjects: | Tool developments > Rodin plug-ins |
| ID Code: | 3 |
| Deposited By: | Michael Butler |
| Deposited On: | 12 Dec 2007 17:15 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
