1 / 16

Welcome and Introduction to the 2nd International Workshop on Model Transformation Verification (VOLT'13)

The 2nd International Workshop on the Verification of Model Transformations (VOLT'13) aims to enhance software quality through the use of modeling and transforming artifacts. This workshop will focus on (semi-)formal methods that can be applied in industrial contexts, with a keen emphasis on verifying and validating model transformations. Notable organizers include experts from the University of Luxembourg, Hasso Plattner Institute, University of Alabama, and Vienna University of Technology. Participants will engage with a variety of presentations, brainstorming sessions, and discussions on current challenges and future directions in model transformation verification.

yamka
Télécharger la présentation

Welcome and Introduction to the 2nd International Workshop on Model Transformation Verification (VOLT'13)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Volt 2013 Welcome & Introduction W

  2. Welcome • Tothe 2nd International Workshop on theVerificationOfmodeL Transformation (VOLT‘13) • Objective • Improve quality of software by modeling and transforming artifacts • Using (semi-)formal methods • Applicable in industrial context • Verify & validate model transformations

  3. Welcome • Organizers • Moussa Amrani, University of Luxembourg, Luxembourg • Leen Lambers, HassoPlattnerInstitut, Germany • Eugene Syriani, University of Alabama, USA • Manuel Wimmer, Vienna University of Technology, Austria

  4. Welcome • ProgramCommittee • Márk Asztalos, Budapest University of Eco. Sc., Hungary • Didier Buchs, University of Geneva, Swiss • Marsha Chechik, University of Toronto, Canada • Antonio Cicchetti, Malardalen University, Sweden • BenoîtCombemale, University of Rennes, France • Jürgen Dingel, Queen’s University, Canada • Franck Fleurey, SINTEF, Norway • Holger Giese, HassoPlattner Institute, Germany • Martin Gogolla, University of Bremen, Germany • Jeff Gray, University of Alabama, USA • Frank Hermann, University of Luxembourg, Luxembourg • AkramIdani, Grenoble INP, France • TihamérLevendovsky, Vanderbilt University, USA

  5. Welcome • ProgramCommittee (cont.) • Levi Lúcio, McGill University, Canada • ArendRensink, University of Twente, Netherlands • Rick Salay, University of Toronto, Canada • Gabriele Taentzer, University of Marburg, Germany • Antonio Vallecillo, University of Málaga, Spain • Hans Vangheluwe, University of Antwerp, Belgium - McGill University, Canada • Stephan Weißleder, Fraunhofer FIRST, Germany

  6. Volt The PAST W

  7. VOLT 2012 • Co-located with the International Conference on Software Testing, Verification, and Validation (ICST), Montreal, Canada April 21,2012 • Organized by • Levi Lúcio, McGill University, Canada • Eugene Syriani, University of Alabama, USA • Stephan Weißleder, Fraunhofer FIRST, Germany

  8. VOLT 2012Presentations • Keynote by Pieter Mosterman: Model Transformations and Testing in Model-Based Design of Cyber-Physical Systems • Levi Lucio, Moussa Amrani, Juergen Dingel, GehanSelim, Benoit Combemale, Hans Vangheluwe, Yves Letraon and James R. Cordy: A Tridimensional Approach for Studying the Formal Verification of Model Transformations • HanhNhi Tran and Christian Percebois: Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations • TamásMészáros and TihamérLevendovsky: Verified Operational Patterns with Graph Transformation • Eugene Syriani and Jeff Gray: Challenges for Addressing Quality Factors in Model Transformation • Rick Salay, Marsha Chechik and Jan Gorzny: Towards a Methodology for Verifying Partial Model Refinements

  9. VOLT 2012Discussiontopics (excerpt) • Ensuring correctness by-design • With patterns? • With verifiable constructs? • At which extent program/model verificationcan be transported into model transformation verification? • What impact has transformation’s intention on • Properties to prove; • Techniques to use? • Which impact has the transformation language paradigm onto the formal verificationtechnique? • What are the requirements for a model transformation and how to validate them?

  10. Volt The PRESENT W

  11. Program - Outline • Morning: • Short andlongpresentations • Brainstorming phases after eachpresentation • Wrapupofdiscussiontopics • Afternoon: • Start withinvited talk • Discussions in workinggroups • Presentationofresultsandconclusion

  12. Program - Presentations Long Presentations (25’ + 5’): A Classification of Model Checking-Based Verification Approaches for Software ModelsSebastian Gabmeyer, Petra Brosch and Martina Seidl Model Transformations to Verify Model TransformationsLevi Lucio and Hans Vangheluwe Short Presentations (10‘ + 5‘): Validating Transformations for Semantic AnchoringTihamerLevendovszky, IstvánMadari and Janos SztipanovitsOn the Realization of TractsToolL. Burgueño, M. Wimmer, J. Troya, A. Vallecillo Keynote by DánielVarró (60’): ???

  13. Program - Discussion Topics MotivationWhy do weneeddedicated model transformationverificationtechniques? How do theydifferfromclassicalprogram/compilerverificationtechniques? State-of-the-artWhataresuccesful model transformationverificationapproachesandwhy? Future Whatiscurrentlylackingandatthe same time urgentlyneeded in the model transformationverificationfield? TODO addsomemorequestions/discussiontopicshere, maybederivedfromcurrentsubmissionsas a firstproposal TODO thislistcanbecomelongerduringbrainstormingphasesbefore lunch

  14. Program Session 1 09:00 - 10:15 Welcome & Introduction 09:00 - 09:30 A Classification of Model Checking-Based Verification Approaches for Software Models Sebastian Gabmeyer, Petra Brosch and Martina Seidl 09:30 - 10:00 Brainstorming* 10:00 - 10:15 Morning Break 10:15-10:45 Session 2 10:45 - 12:15 Model Transformations to Verify Model TransformationsLevi Lucio and Hans Vangheluwe 10:45 - 11:15 Brainstorming 11:15 - 11:25 Validating Transformations for Semantic AnchoringTihamerLevendovszky, IstvánMadari and Janos Sztipanovits 11:25 - 11:40 Brainstorming 11:40 - 11:50 On the Realization of TractsToolL. Burgueño, M. Wimmer, J. Troya, A. Vallecillo 11:50 - 12:05 Brainstorming & Summary 12:05 - 12:15 Lunch 12:15 - 14:00 Session 3 14:00 - 15:30 Keynote by DánielVarró: ???14:00 - 15:00Building of working groups & Initiating discussions 15:00 - 15:30 Afternoon Break 15:30 - 16:00 Session 4 16:00 - 18:00 Discussions in working groups 16:00 - 17:00Presentation of results of working groups & Closure 17:00 - 18:00

  15. Volt The FUTURE W

  16. VOLT Special Section @ JOT • Revised papers will be published in a special section of JOT • JOT - The Journal of Object Technology (http://www.jot.fm) • Closed call for VOLT 2012 & 2013 authors, invited speakers, and participants • Extended versions should contain at least “30% new content” • All revised papers will go through a full review process • Format • Standard JOT template (http://www.jot.fm/authors.html) • No fixed page limit for JOT articles • Recommendation: < 25 pages with the standard JOT template • If justified, longer submissions can be considered • Procedure • Upload abstract and register paper in Easychair • https://www.easychair.org/conferences/?TODO • Deadline: 1st of September, 2013 • Upload revised version (PDF) • https://www.easychair.org/conferences/?TODO • Deadline: 1st of November, 2013

More Related