Tech Reports Home Contact
Technical Report Series
Actions
Browse Reports
Information
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0116


Title Model-to-Model Transformation: Use Case Specification to Event-B
Authors Rajiv Murali and Andrew Ireland
Date 2017-11-29
Abstract This technical report describes the transformation from a UML/SysML model (containing use case specifications) to an Event-B project (containing context and machine components). UCS4SysML is a UML profile that allows use case specifications to have a model-based description (instead of the traditional document-based approach). This supports the use of ATL to perform model-to-model transformation to an Event-B model.
Group DSG
Notes
Download
Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer