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 |