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:

  • classical system modeling
  • techniques to see system model and behavior “alive”
  • techniques to obtain models of complex systems in a smarter way than drawing and clicking
  • techniques to improve system models and 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

  • dates April 22nd/23rd 2013
  • location Dorgelozaal, Traverse (building #12 on the TU/e campus map), Eindhoven University of Technology (TU/e)
  • getting there route description from station Eindhoven to the Traverse building


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

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

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

Scenario-Based Programing, Live Sequence Charts and Play-Out
(David Harel)

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

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

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

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

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

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
  • D. Harel, Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Programming 8 (1987), 231-274. paper 48
  • D. Harel, On Visual Formalisms, Comm. Assoc. Comput. Mach. 31:5 (1988), 514-530. paper 53
  • D. Harel and E. Gery, Executable Object Modeling with Statecharts, Computer 30:7 (July 1997), IEEE Press, 31-42 (cover feature). paper 81
  • D. Harel and H. Kugler, The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Integration of Software Specification Techniques for Applications in Engineering, (H. Ehrig et al., eds.), Lecture Notes in Computer Science, Vol. 3147, Springer-Verlag, 2004, pp. 325-354. paper 135
  • D. Harel, Statecharts in the Making: A Personal Account, Proc. 3rd ACM SIGPLAN History of Programming Languages Conference (HOPL III), June 2007. paper 149
  • D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill (258 pp.), 1998.
Artifact-Centric Modeling
  • Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and Wil M.P. van der Aalst. Many-to-many: Some observations on interactions in artifact choreographies. PDF
  • Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and Wil M.P. van der Aalst. Conformance Checking of Interacting Processes With Overlapping Instances. PDF
  • Niels Lohmann: Compliance by design for artifact-centric business processes. PDF
Declarative Modeling
  • Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst: Declarative Workflow. PDF
  • Michael Westergaard: Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. PDF
  • Michael Westergaard, Fabrizio Maria Maggi: Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. PDF
Scenario-Based Programing, Live Sequence Charts and Play-Out
  • W. Damm and D. Harel, LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design 19:1 (2001), 45-80. paper 93
  • D. Harel and R. Marelly, Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach, Software and System Modeling (SoSyM) 2 (2003), 82-107. paper 105
  • D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer-Verlag, 2003.
  • D. Harel, H. Kugler, R. Marelly and A. Pnueli, Smart Play-Out of Behavioral Requirements, Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD 2002), November 2002, pp. 378-398. paper 112
  • D. Harel, Can Programming be Liberated, Period?, IEEE Computer 41:1 (2008), 28-37. paper 174
  • S. Maoz, D. Harel and A. Kleinbort, A Compiler for Multi-Modal Scenarios: Transforming LSCs into AspectJ, ACM Trans. on Software Engineering Method. Volume 20, Issue 4. 2011. paper 198
Replaying and Conformance Checking
  • Wil M. P. van der Aalst, Arya Adriansyah, Boudewijn F. van Dongen: Replaying history on process models for conformance checking and performance analysis. PDF
  • Massimiliano de Leoni, Wil M. P. van der Aalst, Boudewijn F. van Dongen: Data- and Resource-Aware Conformance Checking of Business Processes PDF
Play-In, Natural language Play-In and Non-Visual Behavioral Programming
  • M. Gordon and D. Harel, Generating Executable Scenarios from Natural Language, Proc. 10th Int. Conf. on Comput. Linguistics and Intelligent Text Processing (CICLing'09), Lecture Notes In Computer Science, vol. 5449. Springer-Verlag, Berlin, Heidelberg, 2009, pp. 456-467. paper 190
  • M. Gordon and D. Harel, Show-and-Tell Play-In: Combining Natural Language with User Interaction for Specifying Behavior, Proc. IADIS Interfaces and Human Computer Interaction (IHCI), 2011, pp. 360-364. paper 214

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

Process Discovery
  • Wil M. P. van der Aalst: Process Mining: Discovery, Conformance and Enhancement of Business Processes link
  • Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst: On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery. PDF
Additional Topics in Behavioral Programming: Learning, Fuzziness, Patching, Verification
  • D. Harel, R. Lampert, A. Marron and G. Weiss, Model-Checking Behavioral Programs, Proc. 11th Int. Conf. on Embedded Software (EMSOFT), 2011, pp. 279-288. paper 210
  • D. Harel, A. Marron, A. Nissim and G. Weiss, A Software Engineering Framework for Switched Fuzzy Systems, Proc. IEEE International Conference on Fuzzy Systems, 2012. paper 208
  • D. Harel and A. Marron, The Quest for Runware: On Compositional, Executable and Intuitive Models, Software and System Modeling (SoSyM), 11:4 (2012), 599-608. paper 215
  • N.Eitan and D.Harel, Adaptive Behavioral Programming, Proc. 23rd IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI), 2011, pp. 685-692. paper 217
  • D. Harel, G. Katz, A. Marron and G. Weiss, Non-Intrusive Repair of Reactive Programs, Proc. 17th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS), Paris, July 2012, pp. 3-12. paper 225
Repairing Process Models and Operational Support
  • Dirk Fahland and Wil M.P. van der Aalst. Repairing process models to reflect reality. PDF
  • Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst: An Operational Decision Support Framework for Monitoring Business Constraints. PDF
  • Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge: Workflow simulation for operational decision support. PDF


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

  • Participation is free for all fully registered SIKS-PhD-students.
  • TU/e members: EUR 75
  • academic participants: EUR 250
  • non-academic participants: EUR 350

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


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