Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

18

IFM
2010
Springer

favoriteEmaildiscussreport

152views Formal Methods» more IFM 2010»

Specification and Verification of Model Transformations Using UML-RSDS

13 years 2 months ago

Specification and Verification of Model Transformations Using UML-RSDS

Download www.dcs.kcl.ac.uk

In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes, and the reflexive application of model transformations. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.

Kevin Lano, Shekoufeh Kolahdouz Rahimi

Real-time Traffic

Formal Methods | IFM 2010 | Large Case Studies | Model Transformations |

claim paper

Related Content

» Transforming Timeline Specifications into Automata for Runtime Monitoring

» A Formal Mapping between UML Static Models and Algebraic Specifications

» Enhanced Property Specification and Verification in BLAST

» Transforming sources to petri nets a way to analyze execution of parallel programs

» Putting Formal Specifications under the Magnifying Glass Modelbased Testing for Validation

» Formal verification of ASMs using MDGs

» Formal Verification for HighAssurance Behavioral Synthesis

» Transformation of B specifications into UML class diagrams and state machines

» Formalization of UML Statechart Models Using Concurrent Regular Expressions

Post Info
More Details (n/a)

Added	13 Feb 2011
Updated	13 Feb 2011
Type	Journal
Year	2010
Where	IFM
Authors	Kevin Lano, Shekoufeh Kolahdouz Rahimi

Comments (0)