[Haskell-cafe] Second Call for Papers: OCL 2014

Achim D. Brucker brucker at spamfence.net
Fri Jun 13 19:39:51 UTC 2014


(Apologies for duplicates)

                            CALL FOR PAPERS
        14th International Workshop on OCL and Textual Modeling
                Applications and Case Studies (OCL 2014)

        Co-located with ACM/IEEE 17th International Conference on
       Model Driven Engineering Languages and Systems (MODELS 2014)
                September 28-30 (tbc), 2014, VALENCIA, SPAIN
                http://www.software.imdea.org/OCL2014/

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

This year, we particularly encourage submissions describing
applications and case studies of textual modeling as well as test
suites and benchmark collections for evaluating textual modeling
tools.

Venue
=====
The workshop will be organized as a part of MODELS 2014 Conference in
Valencia, Spain. 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), Zurich (2011, at
the TOOLs conference), 2012 in Innsbruck, and 2013 in Miami.  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 (6 pages) and 
    * full papers (10 pages) 
in LNCS format. Submissions should be uploaded to EasyChair
(https://www.easychair.org/conferences/?conf=ocl2014).  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 a pre-conference edition
of CEUR (http://www.ceur-ws.org).

Authors of selected papers will be invited to submit an extended
version of their workshop paper to a special issue of the Electronic
Communications of the EASST (http://journal.ub.tu-berlin.de/eceasst)


Important Dates
===============
Submission of papers:  July      11, 2014
Notification:          August     8, 2014
Workshop date:         one day during September 28-30, 2014

Organizers
==========
Achim D. Brucker, SAP AG, Germany
Carolina Dania, IMDEA Software Institute, Madrid, Spain
Geri Georg, Colorado State University, Fort Collins, Colorado, USA
Martin Gogolla, University of Bremen, Germany

Programme Committee (partly confirmation pending) 
===================
Michael Altenhofen, SAP AG, Germany
Thomas Baar, University of Applied Sciences Berlin, Germany
Mira Balaban, Ben-Gurion University of the Negev, Israel
Tricia Balfe, Nomos Software, Ireland
Fabian Buettner, Ecole des Mines de Nantes, France
Achim D. Brucker, SAP AG, Germany
Jordi Cabot, INRIA-Ecole des Mines de Nantes, France
Yoonsik Cheon, University of Texas, USA
Dan Chiorean, Babes-Bolyai University, Romania
Robert Clariso, Universitat Oberta de Catalunya, Spain
Tony Clark, Middlesex University, UK
Manuel Clavel, IMDEA Software Institute, Madrid, Spain
Carolina Dania, IMDEA Software Institute, Madrid, Spain
Birgit Demuth, Technische Universitat Dresden, Germany
Marina Egea, Atos Research, Madrid, Spain
Geri Georg, Colorado State University, Fort Collins, Colorado, USA
Martin Gogolla, University of Bremen, Germany
Pieter Van Gorp, Eindhoven University of Technology, The Netherlands
Heinrich Hussmann, LMU Munchen, Germany
Tihamer Levendovszky, Vanderbilt University, USA
Shahar Maoz, Tel Aviv University, Israel
Istvan Rath, Budapest University of Technology and Economics, Hungary
Bernhard Rumpe, RWTH Aachen, Germany
Shane Sendall, Snowie Research SA, Switzerland
Michael Wahler, ABB Switzerland Ltd Corporate Research, Switzerland
Claas Wilke, Technische Universitat Dresden, Germany
Edward Willink, Willink Transformations Ltd., UK
Burkhart Wolff, Univ Paris-Sud, France
Steffen Zschaler, King’s College, London, UK

-- 
Dr. Achim D. Brucker, SAP AG, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe
           Phone: +49 6227 7-52595, http://www.brucker.ch/


More information about the Haskell-Cafe mailing list