Strongly consistent transformation of partial scenarios

Juliana Kuster Filipe Bowles, Dulani Apeksha Meedeniya

Research output: Contribution to journalArticlepeer-review


We present a formal approach for partial transformation of scenario-based specifications. Scenarios are captured as sequence diagrams (SDs) and (partially) transformed into coloured Petri nets (CPNs). Partial transformation is of interest for local analysis, or within an incremental development approach where interaction specifications are built incrementally and combined with previous iteration models. In previous work we defined a strongly consistent trans- formation from SDs to CPNs. In this paper, we extend the approach for partial transformation whilst preserving the strongly consistent nature of the transformation.
Original languageEnglish
Number of pages8
JournalACM SIGSOFT Software Engineering Notes
Issue number4
Publication statusPublished - Jul 2012


Dive into the research topics of 'Strongly consistent transformation of partial scenarios'. Together they form a unique fingerprint.

Cite this