Strongly consistent transformation of partial scenarios

Authors:
Juliana Bowles;Dulani Meedeniya
Affiliations:
University of St Andrews, North Haugh, St Andrews, UK;University of St Andrews, North Haugh, St Andrews, UK
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2012

Citing 13
Cited 0

Inference of message sequence charts

Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
A workbench for synthesising behaviour models from scenarios

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Detecting implied scenarios in message sequence chart specifications

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An Automata Based Interpretation of Live Sequence Charts

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
PEPA nets: a structured performance modelling formalism

Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
A Formal Model for Integrating Multiple Views

ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
On the specification and verification of model transformations

Semantics and algebraic specification
Model interoperability via Model Driven Development

Journal of Computer and System Sciences
Formal Transformation from Sequence Diagrams to Coloured Petri Nets

APSEC '10 Proceedings of the 2010 Asia Pacific Software Engineering Conference
On the integration of UML and petri nets in software development

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Compositional semantics for UML 2.0 sequence diagrams using petri nets

SDL'05 Proceedings of the 12th international conference on Model Driven

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.