Maybe interesting:
Begin forwarded message:
> From: "Achim D. Brucker" <brucker_at_spamfence.net>
> Subject: [FOM] Second Call for Papers: OCL 2014
> Date: 13. Juni 2014 21:39:35 MESZ
> To: fom_at_cs.nyu.edu
> Reply-To: Foundations of Mathematics <fom_at_cs.nyu.edu>
>
> (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/
> _______________________________________________
> FOM mailing list
> FOM_at_cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
--
Read the whole topic here: livecode:
http://lurk.org/r/topic/lcUVUKOVkI2eqLSyzqEw4
To leave livecode, email livecode_at_group.lurk.org with the following email subject: unsubscribe
Received on Sat Jun 14 2014 - 07:17:24 BST