Home » Modeling » OCL » [Announce] OCL 2013
| [Announce] OCL 2013 [message #1062080] |
Wed, 05 June 2013 18:45 |
 Ed Willink
Messages: 7655
Registered: July 2009 |
Senior Member |
|
|
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="foswikiTopic">
<div style="text-align: center; font-weight: bold; font-size:
16px;"> 13th International Workshop on OCL,<br>
Model Constraint and Query Languages<br>
(OCL 2013) </div>
<div style="text-align: justify;">
<p align="center"><em>Miami, Florida - USA<br>
30 September 2013</em> </p>
<p align="center">Co-located with ACM/IEEE 16th International
Conference on
Model Driven Engineering Languages and Systems (MODELS 2013)<br>
<a href="http://ocl2013.inf.mit.bme.hu">http://ocl2013.inf.mit.bme.hu</a></p>
<h4>Call for Papers</h4>
<a name="CFP"></a>
<p>UML and its precursors exemplify the use of a graphical
notation for
modeling. 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.</p>
<p>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. The close interaction will enable researchers and
practitioners to identify common interests and options for
potential
cooperation.</p>
<h4>Topics</h4>
<a name="Topics"></a>
<p>
Topics of interest include (but are not limited to):</p>
<ul>
<li>Mappings between textual modeling languages and other
languages/formalisms</li>
<li>Algorithms, evaluation strategies and optimizations in the
context of textual modeling languages for
<ul>
<li>validation, verification, and testing, </li>
<li>model transformation and code generation, </li>
<li>metamodeling and DSLs, and </li>
<li>query and constraint specifications </li>
</ul>
</li>
<li>Alternative graphical/textual notations for textual
modeling languages</li>
<li>Evolution, transformation and simplification of textual
modeling expressions</li>
<li>Modularization, libraries, APIs, templates and patterns
for textual modeling languages</li>
<li>Complexity results for textual modeling languages</li>
<li>Quality models and benchmarks for comparing and evaluating
textual modeling tools and algorithms</li>
<li>Successful applications of textual modeling languages</li>
<li>Case studies on industrial applications of textual
modeling languages</li>
<li>Experience reports
<ul>
<li>usage of textual modeling languages and tools in
complex domains, </li>
<li>usability of textual modeling languages and tools for
end-users </li>
</ul>
</li>
<li>Empirical studies about the benefits and drawbacks of
textual modeling languages</li>
<li>Innovative textual modeling tools</li>
<li>Comparison, evaluation and integration of modeling
languages</li>
<li>Correlation between modeling languages and modeling tasks</li>
<li>Extending or realizing the OCL analysis tool benchmark</li>
</ul>
<p>If there are any questions concerning the CfP, please contact
one of the organizers.</p>
<h4>Workshop Format</h4>
<a name="Format"></a>
<p>The workshop will include short (about 15 min) presentations
followed
by discussions after each group of similarly themed papers.</p>
<h4>Submissions</h4>
<a name="Submissions"></a>
<p>Two types of papers will be considered: Short papers (up to 6
pages) and
full papers (up to 10 pages) in LNCS format (<a
href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0">guidelines</a>).
Additionally,
camera ready publication constraints impose a minimum length
of 3 pages for short papers and 8 pages for full papers.
</p>
<p>
Submissions should be uploaded to the Submission system in <a
href="https://www.easychair.org/account/signin.cgi?conf=ocl2013">EasyChair</a>.
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.
Publication of all
workshop proceedings will be in <a href="http://ceur-ws.org">CEUR</a>,
which is indexed by DBLP. Each workshop
will have its own volume, with the common ISSN of the CEUR
series.</p>
<h4>Important Dates</h4>
<a name="Dates"></a>
<ul>
<li>Submission of papers: July 15, 2013</li>
<li>Notification: August 15, 2013</li>
<li>Workshop date: September 30 2013</li>
</ul>
<h4>Organizers</h4>
<a name="Organizers"></a>
<ul>
<li><a href="http://jordicabot.com">Jordi Cabot</a>,
INRIA-Ecole des Mines de Nantes, France</li>
<li><a
href="http://www.db.informatik.uni-bremen.de/%7Egogolla/">Martin
Gogolla</a>, University of Bremen, Germany</li>
<li><a href="http://www.inf.mit.bme.hu/en/members/rath">Istvan
Rath</a>, Budapest University of Technology and Economics,
Hungary</li>
<li><a href="http://www.willink.me.uk">Edward Willink</a>,
Willink Transformations Ltd., UK</li>
</ul>
<h4>Programme Committee</h4>
<a name="PC"></a>
<ul>
<li>Thomas Baar, University of Applied Sciences Berlin,
Germany</li>
<li>Mira Balaban, Ben-Gurion University of the Negev, Israel</li>
<li>Tricia Balfe, Nomos Software, Ireland</li>
<li>Fabian Buettner, Ecole des Mines de Nantes, France</li>
<li>D. Achim Brucker, SAP Research, Germany</li>
<li>Yoonsik Cheon, University of Texas, USA</li>
<li>Dan Chiorean, Babes-Bolyai University, Romania</li>
<li>Robert Clariso, Universitat Oberta de Catalunya, Spain</li>
<li>Tony Clark, Middlesex University, UK</li>
<li>Manuel Clavel, Universidad Complutense de Madrid, Spain</li>
<li>Birgit Demuth, Technische Universitat Dresden, Germany</li>
<li>Marina Egea, Atos Research, Madrid, Spain</li>
<li>Pieter Van Gorp, Eindhoven University of Technology, The
Netherlands</li>
<li>Heinrich Hussmann, LMU Munchen, Germany</li>
<li>Tihamer Levendovszky, Vanderbilt University, USA</li>
<li>Shahar Maoz, RWTH Aachen University, Germany</li>
<li>Shane Sendall, Snowie Research SA, Switzerland</li>
<li>Michael Wahler, ABB Switzerland Ltd Corporate Research,
Switzerland</li>
<li>Claas Wilke, Technische Universitat Dresden, Germany</li>
<li>Burkhart Wolff, Univ Paris-Sud, France</li>
<li>Steffen Zschaler, King's College, London, UK</li>
</ul>
<h4>Venue</h4>
<a name="Venue"></a>
<p>The workshop will be organized as a part of MODELS 2013
Conference in
Miami, USA. 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)
and Innsbruck (2012). 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.</p>
<h4>Previous Editions</h4>
<a name="PreviousEditions"></a>
<p>Websites of the previous edtions can be found as enlisted
below.</p>
<ul>
<li><a href="http://st.inf.tu-dresden.de/OCL2012/">OCL 2012</a>,
Innsbruck</li>
<li><a href="http://gres.uoc.edu/OCL2011/">OCL 2011</a>,
Zurich</li>
<li><a
href="http://modeling-languages.com/events/OCLWorkshop2010/">OCL
2010</a>, Oslo</li>
<li><a
href="http://modeling-languages.com/events/OCLWorkshop2009/">OCL
2009</a>, Colorado</li>
<li><a href="http://fots.ua.ac.be/events/ocl2008/">OCL 2008</a>,
Toulouse</li>
<li><a href="http://st.inf.tu-dresden.de/Ocl4All2007/">OCL
2007</a>, Nashville</li>
<li><a href="http://st.inf.tu-dresden.de/OCLApps2006/">OCL
2006</a>, Genova</li>
<li><a
href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.175.1503&rep=rep1&type=pdf">OCL
2005</a>, Montego Bay</li>
<li><a
href="http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/">OCL
2004</a>, Lisbon</li>
<li><a
href="http://www.informatik.uni-trier.de/%7Eley/db/journals/entcs/entcs102.html#Schmitt04">OCL
2003</a>, San Francisco</li>
<li><a href="http://www.cs.toronto.edu/uml2001/workshop.html">OCL
2001</a>, Toronto</li>
<li><a
href="http://www.comp.brad.ac.uk/research/OCL2000/index.html">OCL
2000</a>, York</li>
</ul>
<h4>Registration</h4>
<a name="Registration"></a>
<p>As the OCL 2013 Workshop belongs to the MODELS 2013 satellite
events,
the registration is organized via the conference web site. Fur
further
information please check out the <a
href="http://models2013.lcc.uma.es/">MODELS 2013 conference
web site.</a>
For each paper accepted to the workshop it is required that at
least one
author registers for the workshop (it may be the student fee).
</p>
</div>
</div>
</body>
</html>
|
|
|
Goto Forum:
Current Time: Fri Apr 19 14:44:28 GMT 2024
Powered by FUDForum. Page generated in 0.01903 seconds |
] 
Search
Help
Register
Login
Home
