UML-B and Event-B: an integration of languages and tools
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, Innsbruck, AT, 12 - 14 Feb 2008.
- Accepted Version
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)|
|Keywords:||visual modelling languages, formal, uml, event-b|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||05 Dec 2007 17:21|
|Last Modified:||25 Apr 2012 10:35|
|Contributors:||Snook, Colin (Author)
Butler, Michael (Author)
|Date:||14 February 2008|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)