OCL 2012 - Call for Papers

CALL FOR PAPERS
12th International Workshop on OCL and Textual Modeling
Co-located with ACM/IEEE 15th International Conference on
Model Driven Engineering Languages & Systems (MODELS 2012)
September 30th, 2012, Innsbruck, Austria
http://st.inf.tu-dresden.de/OCL2012/

Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases.

The goal of this workshop is create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.

Topics of interest include (but are not limited to)

• Mappings between textual modeling languages and other languages/formalisms
• Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for
  • validation, verification, and testing,
  • model transformation and code generation,
  • metamodeling and DSLs, and
  • query and constraint specifications
• Alternative graphical/textual notations for textual modeling languages
• Evolution, transformation and simplification of textual modeling expressions
• Libraries, templates and patterns for textual modeling languages
• Complexity results for textual modeling languages
• Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms
• Successful applications of textual modeling languages
• Case studies on industrial applications of textual modeling languages
• Experience reports
  • usage of textual modeling languages and tools in complex domains,
  • usability of textual modeling languages and tools for end-users
• Empirical studies about the benefits and drawbacks of textual modeling languages
• Innovative textual modeling tools
• Comparison, evaluation and integration of modeling languages
• Correlation between modeling languages and modeling tasks

Venue

The workshop will be organized as a part of MODELS 2012 Conference in Innsbruck, Austria. 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), Oslo (2010) and Zurich (2011, at the TOOLs conference). 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 modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling.

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 (2 pages) and full papers (6 pages) in ACM SIGS format (guidelines in http://www.acm.org/sigs/publications/proceedings-templates, Option 1). Submissions should be uploaded to the Submission system in EasyChair (https://www.easychair.org/account/signin.cgi?conf=ocl2012). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in the workshop web page. All workshop papers will be published in the ACM Digital Library (DL) in the form of a post-proceedings.

Important Dates

Organizers

• Mira Balaban, Ben-Gurion University of the Negev, Israel
• Jordi Cabot, École des Mines de Nantes, France
• Martin Gogolla, University of Bremen, Germany
• Claas Wilke, Technische Universität Dresden, Germany

Program Committee

• Thomas Baar, Tech@Spree Berlin, Germany
• Achim D. Brucker, SAP Research, Germany
• Dan Chiorean, Babes-Bolyai University, Romania
• Robert Clarisó, Universitat Oberta de Catalunya, Spain
• Tony Clark, Middlesex University, UK
• Manuel Clavel, Universidad Complutense de Madrid, Spain
• Birgit Demuth, Technische Universität Dresden, Germany
• Marina Egea, Atos Research & Innovation Department, Madrid, Spain
• Pieter Van Gorp, Eindhoven University of Technology, The Netherlands
• Heinrich Hussmann, LMU München, Germany
• Tihamer Levendovszky, Vanderbilt University, USA
• Shahar Maoz, RWTH Aachen University, Germany
• Azzam Maraee, Ben-Gurion University of the Negev, Israel
• Shane Sendall, Snowie Research SA, Switzerland
• Michael Wahler, ABB Switzerland Ltd. Corporate Research, Switzerland
• Edward Willink, Eclipse Modeling Project, UK
• Burkhart Wolff, Univ Paris-Sud, France
• Steffen Zschaler, King's College London, UK