DCR Graphs

From Models Wiki
Jump to: navigation, search

Contents

Publications

2014

  • Hierarchical Declarative Modelling with Refinement and Sub-processes
    Søren Debois, Thomas Hildebrandt and Tijs Slaats
    International Conference on Business Process Management (BPM 2014), September 2014, Haifa, Israel.
  • A Case for Declarative Process Modelling: Agile Development of a Grant Application System
    Søren Debois, Thomas Hildebrandt, Morten Marquard and Tijs Slaats
    3nd International Workshop on Adaptive Case Management and other non-workflow approaches to BPM (AdaptiveCM 2014), September 2014, Ulm, Germany.

2013

  • Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management
    Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats and Morten Marquard
    2nd International Workshop on Adaptive Case Management and other non-workflow approaches to BPM (AdaptiveCM 2013), September 2013, Graz, Austria.
  • Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs
    Raghava Rao Mukkamala, Thomas Hildebrandt and Tijs Slaats
    The Enterprise Computing Conference (EDOC 2013), September 2013, Vancouver, Canada.
  • Exformatics Declarative Case Management Workflows as DCR Graphs
    Thomas Hildebrandt, Morten Marquard, Raghava Rao Mukkamala and Tijs Slaats
    International Conference on Business Process Management (BPM 2013), August 2013, Beijing, China.
  • Declarative Modeling—An Academic Dream or the Future for BPM?
    Hajo A. Reijers, Tijs Slaats and Christian Stahl
    International Conference on Business Process Management (BPM 2013), August 2013, Beijing, China.
  • Mixing Paradigms for More Comprehensible Models
    Michael Westergaard and Tijs Slaats
    International Conference on Business Process Management (BPM 2013), August 2013, Beijing, China.
  • Modular Context-Sensitive and Aspect-Oriented Processes with Dynamic Condition Response Graphs
    Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats and Francesco Zanitti
    Foundations of Aspect-Oriented Languages workshop (FOAL 2013), March 26, 2013, Fukuoka, Japan
  • Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs
    Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats and Francesco Zanitti
    Journal of Logic and Algebraic Programming Special issue on Contract Oriented Software

2011

  • Towards a Programming Language for Declarative Event-based Context-sensitive Reactive Services PDF
    Soren Debois, Thomas T. Hildebrandt, Raghava Rao Mukkamala and Francesco Zanitti
    23rd Nordic Workshop on Programming Theory (NWPT'11), October 2011, Vasteras, Sweden.
  • Declarative Modelling and Safe Distribution of Healthcare Workflows PDF
    Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats
    Post-event proceedings of International Symposium on Foundations of Health Information Engineering and Systems (FHIES'11) in LNCS volume 7151, August 2011, Johannesburg, South Africa.
  • Safe Distribution of Declarative Processes PDF
    Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats
    International Conference on Software Engineering and Formal Methods (SEFM'11), November 2011, Montevideo, Uruguay.
  • Designing a Cross-organizational Case Management System using Dynamic Condition Response Graphs PDF
    Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats
    IEEE International EDOC Conference (EDOC'11), 2011, Helsinki, Finland.
  • Nested Dynamic Condition Response Graphs PDF
    Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats
    International conference on Fundamentals of Software Engineering (FSEN'11), 2011, Tehran, Iran.

2010

  • From Dynamic Condition Response Structures to Buchi Automata PDF
    Raghava Rao Mukkamala and Thomas T. Hildebrandt
    Extended abstract for 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (Tase 2010),2010, Taipei, Taiwan.
  • Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs PDF
    Thomas T. Hildebrandt and Raghava Rao Mukkamala
    Post proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010, Paphos, Cyprus.

Teaching

Business Process Technology Thesis Projects

The Business Process Technology research lead by Thomas Hildebrandt has a number of hard problems in distributed systems, web technology, formal modelling, logic, usability, and model-checking we’d like you to solve.

Big companies and institutions work in ways that must conform to rules imposed both externally (by law) and internally (by management decisions). E.g., at the ITU, the process for giving a course exam involves defining the examination form, finding an external examiner, executing the actual termination, communicating the results to the examination office etc. This process is subject to rules: the examination form must be settled before a certain date, the external examiner must be on the list of approved people, both the examiner and the external examiner must sign the grade sheet etc.

IT systems supporting big companies and institutions try to help with such processes by automating, e.g., choosing an external examiner from the proper list, or submitting the examination grades electronically to the examination office. However, most systems do not represent explicitly the rules, nor do they guarantee that the rules are upheld.

The Process and System Models research group led by Thomas Hildebrandt focuses among other things on the very hard problem of formalising such rules and converting them automatically to functioning IT systems. The work has led to the development of the DCR Graphs technology, implemented as part of an industrial PhD project at Exformatics in a commercial modelling tool, developed in tandem with a prototype web-based research tool with bleeding-edge features and rough edges.


Project proposals

  1. [distributed systems, P2P, concurrency theory] Design and implement a distributed DCR graph processing. This project can lean to either the theoretical side (solving concurrency issues in such distribution) or the practical side (implementation).
  2. [Web technologies, distributed systems] Implementing a DCR graph process execution engine as a collection of REST-ful web services.
  3. [SQL, database technology, modelling] Data for DCR graphs. The current formulation of DCR graphs have only tenuous connections to traditional database systems. Tightening that connection is an open question we’d like you to solve: how do you connect a DCR graph to a SQL database?
  4. [Usability, Interface design, modelling, formalisation] DCR graph modelling primitives and visual interface. The DCR graph model as it currently exists have a number of very nice theoretical properties. Most importantly, it is a very small model. However, that also means that a number of things one would naturally want to express can be cumbersome to write down and quite confusing to users. Thus the model needs attention to both derived modelling primitives as well as the visual presentation of the model to users.
  5. [Open Source, engine implementation] Contribute a DCR graph layer to the open source jBPM.
  6. [Advanced computation, algorithms, model checking] Once one has a DCR model or process, it is natural to ask what are the property is guaranteed by that model. I.e., continuing the examination process example, does the model guarantee that the examination office will eventually receive a grave for every student?
  7. [Advanced computation, process mining, algorithms, open source] Instead of constructing a DCR process model by hand, one may instead try to look at the logs of an institution’s IT systems and try to reverse engineer a model from that. In this project, you will construct a plugin for the open source process mining tool ProM which takes as input such a log, and produces as output a DCR model.

Contact Thomas Hildebrandt (hilde (at) itu.dk) if you are interested.

Tools

Introduction

Tool development for DCR Graphs is happening in two branches. On the one hand Raghava Rao Mukkamala is developing an academic set of tools for DCR Graphs at ITU and in parallel Tijs Slaats is working on a set of commercial tools for Exformatics A/S. The tool-sets share a number of features and have a common XML format to facilitate interaction between the two, but their code bases are kept separate because of the proprietary nature of the tools developed by Exformatics.

XML Format

DCR Graphs/Tools/XML

Tools from ITU

DCR Exploration Tool

Tools from Exformatics

The main tools are being developed at Exformatics:

  • The DCR Portal, a web-based tool for collaborative design simulation of DCR Graphs.
  • The Process Engine, which is a set of web services facilitating execution, verification and visualization of DCR Graphs.
  • The DCR Graphs Editor, a graphical drawing tool for designing DCR Graphs.

All tools can currently be used free-of-charged for non-commercial purposes. The process engine is available at [1].

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox