Output details
11 - Computer Science and Informatics
University of Surrey
Article title
An integrated framework for checking the behaviour of fUML models using CSP
Type
D - Journal article
Title of journal
International Journal on Software Tools for Technology Transfer
Article number
-
Volume number
15
Issue number
4
First page of article
375
ISSN of journal
1433-2787
Year of publication
2012
URL
-
Number of additional authors
-
Additional information
<10>This is the first paper to use CSP to underpin fUML, the emerging formal UML approach standardised by the Object Management Group (OMG). The novelty is in the support for round-trip engineering to make the approach industrially relevant. Analysis is carried out in the formal tool, but feedback is translated back into the fUML framework, ensuring that an engineer need not be exposed to the formal CSP model. The impact of using asynchronous communication is exemplified using the benchmark Tokeneer case study from the Verification Grand Challenge, an aspect not considered by other attempts.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
