Table of Contents

Advanced SIKS Course: Come Let’s Play


David Harel and the AIS group of Eindhoven University of Technology (TU/e) organize a two day PhD level course titled “Come Let’s Play: From Modeling with Statecharts to Behavioral Programming and Process Mining”. The course will cover different techniques for designing, understanding, and improving complex computer systems:

These techniques will be presented and discussed for two different application domains: the general domains of reactive systems and of (business) processes and information systems.

This two day course is an Advanced SIKS Course supported by the Netherlands Research School for Information and Knowledge Systems (SIKS), see also SIKS Activities.

Dates and Facts

Program

Monday, April 22nd, 2013
10:00-12:30 Modeling Behavior
10:00-11:00

Visual Languages and Statecharts
(David Harel)
11:00-11:30 coffee break
11:30-12:30

Artifact-Centric Modeling, slides
(Dirk Fahland)
12:30-13:30 lunch break
13:30-16:30 Scenarios, Processes, and Play-Out
13:30-14:15

Scenario-Based Programing, Live Sequence Charts and Play-Out
(David Harel)
14:15-15:00

Replaying and conformance checking, slides
(Boudewijn F. van Dongen)
15:00-15:30 coffee break
15:30-16:30


Demos and Hands-On:
Play-Out in PlayGo
Replaying and conformance checking in ProM

We will be having a Course Dinner with all interested participants from 18:00.

Tuesday, April 23nd, 2013
10:00-12:30 Play-In, General Behavioral Programming, and Process Discovery
10:00-11:00

Play-In, Natural language Play-In and Non-Visual Behavioral Programming
(David Harel)
11:00-11:30 coffee break
11:30-12:30

Process Discovery, slides
(Wil M.P. van der Aalst)
12:30-13:30 lunch break
13:30-16:30 Evolving and Improving Models
13:30-14:30

Additional Topics in Behavioral Programming: Learning, Fuzziness, Patching, Verification
(David Harel)
14:30-15:00 coffee break
15:00-16:30

Declarative Process Modeling, slides
Operational Support, slides
(Dirk Fahland, Wil M.P. van der Aalst)

Reading Material

Most articles by David Harel are available online at his list of papers. Other articles have links to a downloadable PDF or the publisher.

Visual Languages and Statecharts
Artifact-Centric Modeling
Declarative Modeling
Scenario-Based Programing, Live Sequence Charts and Play-Out
Replaying and Conformance Checking
Play-In, Natural language Play-In and Non-Visual Behavioral Programming

D. Harel, A. Marron and G. Weiss, Behavioral Programming, Comm. Assoc. Comput. Mach. 55:7 (2012), 90-100. paper 192

Process Discovery
Additional Topics in Behavioral Programming: Learning, Fuzziness, Patching, Verification
Repairing Process Models and Operational Support

Registration

To register for the course, please send an e-mail to office@siks.nl that contains your affiliation, name of supervisor (if applicable) and details regarding dietary needs. Please note that registration fees apply depending on your affiliation.

Further details on the registration and payments will be provided by SIKS upon registration.

Accommodation

In case you would like to stay in Eindhoven from Monday 22nd to Tuesday 23rd, we can recommend the following two hotels which offer beds at a reasonable price

Course Dinner

We will organize a joint dinner with all interested course participants on Monday evening. The dinner will take place in Wok Paradijs on the Catharinaplein Eindhoven. The dinner will cost 28 EUR for food and drinks (all inclusive). Dinner costs are not included in workshop registration.

If you would like to attend the dinner, please register by email with Dirk Fahland.

Local Organization

For further questions regarding the course, please contact