[In case you prefer a different format, this call for papers is also available in PDF format at http://modeva.itee.uq.edu.au/cfp/cfp.pdf.] ======================================================================= CALL FOR PAPERS MODEVA 2006: Perspectives on Integrating MDA and V&V http://modeva.itee.uq.edu.au in conjunction with the ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences) MoDELS 2006 ---------------------------------------------------------------------- About the Workshop ================== MDA and its related approaches (DSL, MDE, ...) primarily revolve around manual refinement and automated transformation of models. This approach is successful at quickly generating results. However, it is difficult to gauge the quality of those results. Is the result of a transformation really what the user intended? Does the computed result of a transformation really conform with its specified result? Such questions about intended and specified behaviour usually delineate the domain of Validation and Verification (V&V). V&V is an established area of research, and a transfer of ideas between V&V and MDA might help to improve quality and reliability of MDA and induce a new conceptual way of thinking in established V&V. The emergence of model-based testing can be seen as a first result of such a transfer. However, we believe important challenges in model-based testing still remain. Moreover, it is crucial to go beyond model-based testing and take a truly model-driven-development approach to V&V to reap even greater benefits. Topics ====== We invite work related to the following topics: * Integrate model-based testing in the development process e.g. experience reports, empirical evidence, life-cycle of test models. * The application of `traditional' V&V to MDA e.g. using tools like model-checkers and the corresponding semantic formalisms to analyse the behaviour of models produced in MDA tool chains. * The integration of testing tools and MDA tools e.g. automated regression testing of MDA tool chains. * The application of V&V to model transformations e.g. formalizing and testing transformation behaviour with V&V tools and languages; formalizing traceability and impact analysis of elements through a transformation chain (e.g. test case generation). * The application of `novel' V&V to MDA: e.g. creating models of specifications and requirements on MDA transformations and then using MDA to check them and insure traceability from the requirements of the system. * V&V due to the evolution of models on any level e.g. formalising and testing changes (state transition semantics) within a (meta-)model, including propagation to dependent levels and model merge. * The extension of UML in a tool-independent way to allow V&V e.g. identifying which components of the UML standard are useful for V&V (e.g. statecharts, sequence diagrams), and proposing extensions to their syntax and/or semantics where their deficiencies hinder V&V. Workshop Format =============== The workshop will be using the 1,2,3!-Format, giving space to present 12 papers grouped into four 90 minute sessions. The sessions will be grouped by topic, possibly along the areas of interest outlined above. Each session will be headed by a panel comprised of the three presenters. In this format, each of the three presenters has a fifteen minute block to present the main idea of their paper. Afterwards, the presenters stay up as panellists. To prepare for the subsequent discussion, papers will be pre-distributed to all participants by email. The discussion should be between the audience and the panel. Paper Format and Publication ============================ URL: http://www.itee.uq.edu.au/~mdavv/modeva/ Submissions should be in the form of short papers, not exceeding fifteen pages, describing complete work or work in progress. Authors should use the Springer LNCS style and procedure (http://www.springer.de/comp/lncs/authors.html). All papers will be published in a citeable volume of CEA. Best papers will be published in a special issue of SoSym, the Journal on Software and Systems Modelling. Important Dates =============== Paper submission due: 31 July 2006 Notification to authors: 14 August 2006 Organising Committee ==================== Benoit Baudry IRISA, Project Triskell (FR) David Hearnden The University of Queensland, School of ITEE (AU) Nicolas Rapin Commissariat à l'Energie Atomique (CEA), Centre de Saclay (FR) Jörn Guy Süß The University of Queensland, School of ITEE (AU) Program Committee ================= * David Akehurst The University of Kent (UK) * Gabriela Arévalo Universität Bern (CH) * Thomas Baar l'Ecole Polytechnique Fédérale de Lausanne (CH) * Fabrice Bouquet l'Université de Franche-Comté (FR) * Lionel C. Briand Carleton University (CA) * Alessandra Cavarra University of Oxford (UK) * Robert B. France Colorado State University (US) * Pascale Le Gall University of Evry (FR) * Martin Gogolla Universität Bremen (DE) * Antti Huima Conformiq (FI) * Bruno Legeard Leirios Technologies (FR) * Eda Marchetti Istituto di Scienza e Tecnologie della Informazione "A. Faedo" (IT) * Claudia Pons Universidad Nacional de La Plata (AG) * Alexander Pretschner Eidgenössische Technische Hochschule Zürich (CH) * Kerry Raymond Queensland University of Technology (AU) * Harry Robinson Google (US) * Bernhard Rumpe Technische Universität Braunschweig (DE) * Pierre-Yves Schobbens F. U. Notre-Dame de la Paix (BE) * Jim Steel IRISA, Project Triskell (FR) * Paul Strooper The University of Queensland (AU) * Mark Utting University of Waikato (NZ) * Dániel Varró Budapesti Muszaki és Gazdaságtudományi Egyetem (HU) Supported By ============ Le Commissariat à l'Energie Atomique The University of Queensland, Australia