160 likes | 284 Views
Volt 2013 Welcome & Introduction. W. Welcome. To the 2nd International Workshop on the Verification Of modeL Transformation (VOLT‘13) Objective Improve quality of software by modeling and transforming artifacts Using (semi-)formal methods Applicable in industrial context
E N D
Volt 2013 Welcome & Introduction W
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
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
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
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
Volt The PAST W
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
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
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?
Volt The PRESENT W
Program - Outline • Morning: • Short andlongpresentations • Brainstorming phases after eachpresentation • Wrapupofdiscussiontopics • Afternoon: • Start withinvited talk • Discussions in workinggroups • Presentationofresultsandconclusion
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’): ???
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
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
Volt The FUTURE W
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