JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for FMNET Archives


FMNET Archives

FMNET Archives


FMNET@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

FMNET Home

FMNET Home

FMNET  May 2018

FMNET May 2018

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)

From:

"Achim D. Brucker" <[log in to unmask]>

Reply-To:

Achim D. Brucker

Date:

Thu, 10 May 2018 22:53:26 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (113 lines)

(Apologies for duplicates)


                        CALL FOR PAPERS
       18th International Workshop on OCL and Textual Modeling

                       Co-located with 
       MODELS 2018: ACM/IEEE 21th International Conference on Model
              Driven Engineering Languages and System,
            October 14 (tbc), 2018, Copenhagen, Denmark
                     http://oclworkshop.github.io


Modeling started out with UML and its precursors as a graphical notation.
Such visual representations enable direct intuitive capturing of reality,
but they have weaknesses: for example, detailed visual representations bear
the risk of becoming overcrowded faster than textual models and some of
the visual features lack the level of precision required to create complete
and unambiguous specifications. These weaknesses of 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 to 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

Topics of interest include (but are not limited to):

- Mappings between textual modeling languages and other languages/formalisms
- Mathematical models and/or formal semantics for textual modeling languages
- Algorithms, evaluation strategies and optimizations in the context
  of textual modeling languages for:
  - validation, verification, and testing,
  - model transformation and code generation,
  - meta-modeling 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
- Tools that support textual modeling languages (e.g., verification of
  OCL formulae, runtime monitoring of invariants)
- Model-driven security using 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

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
This workshop will be organized as a part of MODELS 2018 Conference in 
Copenhagen, Denmark. 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 contributions (between 5 and 7 pages) describing new ideas, innovative 
  tools or position papers.
* Full papers (between 10 and 14 pages).

in LNCS format. Submissions should be uploaded to
[EasyChair](https://easychair.org/conferences/?conf=ocl2018).
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, as part of the
MODELS workshop proceedings, in [CEUR](http://www.ceur-ws.org).

## Important Dates

- Submission of papers:      July  17, 2018
- Notification:              August 17, 2018
- Workshop date:             October 14, 2018 (tbc)



-- 
Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield
               https://www.brucker.ch | https://logicalhacking.com/blog
                           @adbrucker | @logicalhacking 

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
June 2009
May 2009
April 2009
March 2009
February 2009
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager