Email Gateway (Aug 18 2022 at 13:38): Email Gateway (Aug 18 2022 at 13:38):From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
======================================================================
OCL 2009 Workshop - The Pragmatics of OCL and other textual
specification languages
In connection with MoDELS'09, Denver, Colorado, U.S.A.
http://modeling-languages.com/events/OCLWorkshop2009/
======================================================================
In recent years, MDA and associated MDE methodologies, approaches and
languages (like QVT) emphasized the role that OCL has to play in MDE
development. Moreover, the modeling community is continuously pushing
forward the OCL. Now, OCL is used in quite different applications
domains (e.g., domain-specific languages, web semantics) and for
various purposes (e.g., model verification and validation, code
generation, test-driven development, transformations). This workshop
will focus on the challenges of using OCL on these new domains and how
the language needs to evolve to be successfully applied on them.
In particular, we are interested in discussing alternative
notations/representations for OCL that simplify its application, new
textual/graphical languages that can complement/replace OCL, new ways
of writing OCL expressions (e.g., patterns, templates and libraries),
sharing OCL expressions and OCL know-how, new domain-dependent
evaluation and optimization strategies, mappings from OCL to other
languages and formalisms (Java, SQL, Alloy, Maude, constraint
programming, ...) and, of course, the tools that will make all of this
possible. In addition, all other aspects that may facilitate a wider
adoption and support of OCL or its usability are also welcome.
Topics of interest include (but are not limited to):
Mappings between OCL and other languages/formalisms (e.g., Java,
SQL, Alloy, Maude, constraint programming)
New algorithms, evaluation strategies and optimizations for OCL for
o validation, verification, and testing,
o model transformation and code generation,
o metamodeling/DSLs,
o query and constraint specifications
Alternative graphical/textual notations for OCL
Quality models and benchmarks for comparing and evaluating OCL tools
and algorithms
Case studies on industrial applications of OCL
Experience reports:
o usage of OCL and OCL tools in complex domains,
o usability of the OCL and of the OCL tools for end-users
Empirical studies about the benefits and drawbacks of OCL
The workshop will include short (about 15 min) presentations, parallel
sessions of working groups, and sum-up discussions.
Short papers (up to 5 pages) and full papers (up to 15 pages) can be
submitted to the workshop. All papers must follow LNCS style
guidelines and be uploaded to the Submission system (EasyChair):
http://www.easychair.org/conferences/?conf=ocl09
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 published at http://www.metamodel.com/ and the OCL Portal.
As in previous editions, it is planned that polished versions of
accepted papers will be published in cooperation with an international
publisher, e.g., the Electronic Communications of the EASST.
Important dates
Paper submission: July 19, 2009
Author notification: August 28, 2009
Camera-ready papers: September 20, 2009
Workshop Organisers
Jordi Cabot, Open University of Catalonia, Spain (primary contact)
Joanna Chimiak-Opoka, University of Innsbruck, Austria
Frédéric Jouault, INRIA, France
Martin Gogolla, University of Bremen, Germany
Alexander Knapp, University of Augsburg, Germany
Programme Committee
Thomas Baar, Tech@Spree, Germany
Achim Brucker, SAP, Germany
Manuel Clavel, IMDEA Software Institute, Spain
Dan Chiorean, University of Cluj, Romania
Tony Clark, Thames Valley University, UK
Birgit Demuth, Technical University of Dresden, Germany
Remco Dijkman, Eindhoven University of Technology, The Netherlands
Robert France, University of Fort Collins, USA
Heinrich Hussmann, University of Munich, Germany
Tihamer Levendovszky, Vanderbilt University, USA
Richard Mitchell, Inferdata, UK
Richard Paige, University of York, UK
Mark Richters, Astrium Space Transportation, Germany
Shane Sendall, IBM, Switzerland
Pieter Van Gorp, University of Eindhoven
Burkhart Wolff, LRI, University Paris-Sud, France
Steffen Zschaler, Lancaster University, UK
Last updated: Nov 21 2024 at 12:39 UTC