Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

✍ Scribed by Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2012
• Tongue: English
• Leaves: 445
• Series: Lecture Notes in Computer Science 7320 : Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.

✦ Table of Contents

Front Matter....Pages -
The Less Well Known UML....Pages 1-20
MDE Basics with a DSL Focus....Pages 21-57
Object Constraint Language (OCL): A Definitive Guide....Pages 58-90
Model Transformations....Pages 91-136
Graph Transformations for MDE, Adaptation, and Models at Runtime....Pages 137-191
Abstractions for Validation in Action....Pages 192-218
Software Performance Modeling....Pages 219-262
Model Transformations in Non-functional Analysis....Pages 263-289
Software Performance Antipatterns: Modeling and Analysis....Pages 290-335
An Introduction to Model Versioning....Pages 336-398
Formal Specification and Testing of Model Transformations....Pages 399-437
Back Matter....Pages -

✦ Subjects

Software Engineering; Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl. Internet); Management of Compu