Ocl4All: Modelling Systems with OCL

Workshop at MoDELS 2007

Preliminary Programme

The workshop consists of four sessions of paper presentations and a global discussion at the end. Each paper presentation will take place in a 30-minute slot with 20 minutes allocated for the actual presentation and 10 minutes for discussions concerning the paper itself. Depending on the intensity of discussions for individual papers, discussion slots may be accumulated at the end of session to allow a discussion of all papers in the session.

09:00 -- 10:30 Session 1: Specific Language Extensions
  William Robinson Extended OCL for goal monitoring [pdf]
  Pierre Kelsen, Elke Pulvermueller, Christian Glodt A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models [pdf] [slides]
  Ke Jiang, Lei Zhang, Shigeru Miyake Using OCL in Executable UML [pdf]
10:30 -- 11:00 Coffee Break
11:00 -- 12:30 Session 2: Fundamental Language Issues
  David Akehurst, Steffen Zschaler, Gareth Howells OCL: Modularising the Language [pdf]
  Mirco Kuhlmann, Martin Gogolla Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships [pdf] [slides]
  David Akehurst, Gareth Howells, M. Scheidgen, K. McDonald-Maier C# 3.0 makes OCL redundant! [pdf]
12:30 -- 14:00 Lunch Break -- Individual Lunch
14:00 -- 15:30 Session 3: Code Generation and Standard Library Support
  Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, Vladan Devedzic Sharing OCL Constraints by Using Web Rules [pdf]
  Florian Heidenreich, Christian Wende, Birgit Demuth A Framework for Generating Query Language Code from OCL Invariants [pdf] [slides]
Best Paper Matthias Bräuer, Birgit Demuth Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support [pdf] [slides]
15:30 -- 16:00 Coffee Break
16:00 -- 16:30 Session 4: Case Studies
Best Paper Emine Aydal, Richard Paige, Jim Woodcock Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Smart Card Application [pdf] [ppt]
16:30 -- 17:30 Session 5: Discussions and Wrap-Up

Steffen Zschaler