posted by user: dblcdblu || 2415 views || tracked by 3 users: [display]

OCL 2012 : 12th International Workshop on OCL and Textual Modeling

FacebookTwitterLinkedInGoogle

Link: http://st.inf.tu-dresden.de/OCL2012/
 
When Sep 30, 2012 - Sep 30, 2012
Where Innsbruck
Submission Deadline Jul 26, 2012
Notification Due Sep 3, 2012
Categories    OCL   UML   modeling   software
 

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). 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

Submission of papers: July 26, 2012
Notification: September 03, 2012
Workshop date: September 30, 2012

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

Programme Committee:
Thomas Baar, Tech@Spree Berlin, Germany
D. Achim, Brucker, SAP Research, Germany
Dan Chiorean, Babes-Bolyai University, Romania
Robert Clariso, Universitat Oberta de Catalunya, Spain
Tony Clark, Middlesex University, UK
Manuel Clavel, Universidad Complutense de Madrid, Spain
Birgit Demuth, Technische Universitat Dresden, Germany
Marina Egea, Atos Research & Innovation Department, Madrid, Spain
Pieter Van Gorp, Eindhoven University of Technology, The Netherlands
Heinrich Hussmann, LMU Munchen, 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
Edward Willink, Eclipse Modeling Project, UK
Michael Wahler, ABB Switzerland Ltd Corporate Research, Switzerland
Burkhart Wolff, Univ Paris-Sud, France
Steffen Zschaler, King's College, London, UK

Related Resources

SIMUL 2025   The Seventeenth International Conference on Advances in System Modeling and Simulation
SOFE 2025   11th International Conference on Software Engineering
ICCSM--EI 2025   2025 9th International Conference on Computer, Software and Modeling (ICCSM 2025)
GENAIDOC 2024   The First International Workshop on Generative AI for Textual Document Analysis
IARIA Congress 2025   The 2025 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications
GRAPP 2025   20th International Conference on Computer Graphics Theory and Applications
BPMDS 2024   Business Process Modeling, Development, and Support
CGIIT-Maldives 2025   2025 9th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2025)
ACM ICCMS 2025   ACM--2025 The 17th International Conference on Computer Modeling and Simulation (ICCMS 2025)