Output details
11 - Computer Science and Informatics
University of Surrey
Output title
Automatic Generation of CSP || B Skeletons from xUML Models
Type
E - Conference contribution
Name of conference/published proceedings
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Volume number
5160
Issue number
-
First page of article
364
ISSN of proceedings
0302-9743
Year of publication
2008
URL
-
Number of additional authors
-
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
