Model-to-Model Transformation: Use Case Specification to Event-B
Rajiv Murali and Andrew Ireland
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.