=============================================================================== CALL FOR PAPERS OCL 2011 International Workshop on OCL and Textual Modeling Co-located with TOOLS Europe 2011, ICMT 2011, TAP 2011 and SC 2011 June 29, 2011 Zurich, Switzerland http://gres.uoc.edu/OCL2011 =============================================================================== Modelling started out with UML and its precursors as a graphical notation. However, graphical notations were found to have limitations in terms of specifying detailed aspects of a system design and in terms of processing and managing models. Limitations in using graphical languages include: specifying detailed behaviour; linking models to other traditional languages; making models executable; model transformation; extensions to modelling languages; model management. Many of these limitations have been addressed in recent years by proposals for textual modelling languages that either integrate with or replace graphical notations for modelling. Typical examples of such languages are OCL, textual MOF, Epsilon, Alloy etc. The motivation for this workshop is to bring together researchers and practitioners in textual modelling to report advances in the field, to share results, to identify common areas and potential for integration, and to identify common tools for developing textual modelling languages, with a view to advancing the state-of-the art. In particular the workshop will provide a forum for existing textual modelling standards such as OCL to be debated and the intention is that the workshop will engage with the appropriate standards bodies to disseminate practitioner requirements and to report research results. Topics ------ Topics of interest include (but are not limited to): - New and/or succesful applications of textual modelling languages - Mappings between textual modelling languages and other languages/formalisms - New algorithms, evaluation strategies and optimizations for textual modelling languages for * validation, verification, and testing, * model transformation and code generation, * metamodeling/DSLs, * query and constraint specifications - Alternative graphical/textual notations for textual modelling languages - Evolution, transformation and simplification of textual modelling expressions - Libraries, templates and patterns for textual modelling languages - Complexity results for textual modelling languages - Quality models and benchmarks for comparing and evaluating textual modelling tools and algorithms - Case studies on industrial applications of textual modelling languages - Experience reports: * usage of textual modelling languages and tools in complex domains, * usability of textual modelling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modelling languages - Innovative textual modelling tools Venue ----- The workshop will be organized as a part of TOOLS 2011 Conference in Zurich, Switzerland. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009) and Oslo (2010). Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modelling languages, as well as tools for textual modelling, and for disseminating good practice and discussing the new requirements for textual modelling. Workshop Format --------------- The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions ----------- Two types of papers will be considered: short papers (up to 10 pages) and full papers (up to 20 pages). All papers must follow the Lecture Notes in Computer Science (LNCS) guidelines (http://www.springer.com/computer/lncs) and be uploades to the Submission system (EasyChair). The program committee will review the submissions (minimum 2 reviews per paper) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be first published online in the workshop web page. It is planned that polished versions of accepted papers will be published in the Electronic Communications of the EASST (http://journal.ub.tu-berlin.de/index.php/eceasst). Furhtermore, a volume in Springer's Lecture Notes in Computer Science (LNCS) compiling the best papers of the TOOLS workshops is currently under consideration. Important Dates --------------- Submissions of papers: April 10, 2011 *Extended* Notification of acceptance: May 10, 2011 Workshop date: June 29, 2011 Organisers ---------- Jordi Cabot, Ecole des Mines de Nantes, France, jordi.cabot@inria.fr Robert Clariso, Universitat Oberta de Catalunya, Spain, rclariso@uoc.edu Martin Gogolla, University of Bremen, Germany, gogolla@informatik.uni-bremen.de Burkhart Wolff, Universite de Paris-Sud, France, Burkhart.Wolff@lri.fr Programme Committee (to be completed) ------------------- Michael Altenhofen, SAP, Germany Thomas Baar, Tech@Spree, Germany Mariano Belaunde, Orange Labs, France Behzad Bordbar, University of Birmingham, UK Achim Brucker, SAP, Germany Tony Clark, Thames Valley University, UK Manuel Clavel, IMDEA Software, Spain Dan Chiorean, University of Cluj, Romania Joanna Chimiak-Opoka, University of Innsbruck, Austria Birgit Demuth, Technical University of Dresden, Germany Miguel Garcia, Swiss Federal Institute of Technology, Switzerland Geri Georg, Colorado State University, USA Alexander Knapp, University of Augsburg, Germany Richard Paige, University of York, UK Mark Richters, Astrium Space Transportation, Germany Pieter Van Gorp, University of Eindhoven Ed Willink, Thales, UK Steffen Zschaler, King's College London, UK ===============================================================================