Output details
11 - Computer Science and Informatics
University of St Andrews
Return to search
Output 0 of 0 in the submission
Output title
Parametric Transformations for Flexible Analysis
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC '12) : Hong Kong December 4-7, 2012
Volume number
-
Issue number
-
First page of article
634
ISSN of proceedings
-
Year of publication
2012
URL
-
Number of additional authors
1
Additional information
<07>This paper enhances our earlier model transformation of sequence diagrams into coloured Petri nets (CPNs) adding real-time and stochastic parameters. We obtain a novel and very flexible framework for model transformation where the same source model is mapped onto different target models (here CPN variants) when only a subset of parameters is needed. This allows different targeted analysis on the source model to be made. In addition, our previous proof of semantic correctness for the transformation is extended, and with it our guarantee of the absence of unspecified behaviour in the target model is lifted to a completely new level.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Systems engineering
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-