For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of St Andrews

Return to search Previous output Next output
Output 0 of 0 in the submission
Output title

Formal Transformation from Sequence Diagrams to Coloured Petri Nets

Type
E - Conference contribution
Name of conference/published proceedings
2010 17th Asia Pacific Software Engineering Conference (APSEC)
Volume number
-
Issue number
-
First page of article
216
ISSN of proceedings
-
Year of publication
2010
URL
-
Number of additional authors
1
Additional information

<07>We describe a novel formal approach to model-driven transformation of UML2 behavioural models for formal verification. The main contribution is a detailed proof of semantic correctness for the transformation of

sequence diagrams into coloured Petri nets which guarantees a one-to-one correspondence between the legal traces of both models. Semantic correctness is rarely addressed in model transformations where most work covers syntactic correctness, termination and confluence. Our result is crucial to guarantee the absence of implied (unspecified) behaviour in the target model, and enables an accurate analysis of the source model. This paper sets the foundation of more recent published work.

Interdisciplinary
-
Cross-referral requested
-
Research group
D - Systems engineering
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-