Output details
11 - Computer Science and Informatics
University of Surrey
Automatic Generation of CSP || B Skeletons from xUML Models
<10>This was the first paper to demonstrate the industrial technology transfer of the York Epsilon Model Driven Engineering framework. Analysis of xUML models has traditionally focused on simulation, but the work presented here enables exploration of the full state space via model-checking. This work provides automatic generation of formal models of xUML descriptions, replacing the previous error-prone approach of producing the models by hand, and ensuring that the process is repeatable and hence available for industrial review. The metamodels developed for the approach have also been used in subsequent research: in the railway domain, and an integrated framework for fUML.