Parametric Transformations for Flexible Analysis

Juliana Kuster Filipe Bowles, Dulani Apeksha Meedeniya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)


We present an approach for flexible analysis of complex system models based on a parametric model-to-model (M2M) transformation where the target model has variants. We describe a M2M transformation from sequence diagrams (SDs) to coloured Petri nets (CPNs) with (untimed, timed, stochastic) variants enabling different forms of dependability and performance analysis. The transformation is parametric on the chosen variant with the core set of rules defining the transformation from SDs to CPNs. Moreover, the flexibility of the framework lies in the incremental nature of the transformation: given a SD (with stochastic and time annotations) and corresponding untimed CPN, we can generate other CPN variants by incrementally applying the specific variant rules. This paper contributes towards the theoretical foundations of parametric transformations, defines and proves the semantic correctness of a parametric transformation between SDs and CPN variants.
Original languageEnglish
Title of host publicationProceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC '12)
Subtitle of host publicationHong Kong December 4-7, 2012
PublisherIEEE Computer Society
Number of pages10
ISBN (Print)978-1-4673-4930-7
Publication statusPublished - Dec 2012


Dive into the research topics of 'Parametric Transformations for Flexible Analysis'. Together they form a unique fingerprint.

Cite this