Project Details
Description
Exformatics A/S develops workflow management systems (WfMS), which are increasingly becoming distributed and cross-organizational. It has been recognized that the current standard imperative business process notations used for WfMS are too rigid for knowledge workers and declarative models are being put forward as an alternative. The project aims to develop technologies for declarative model-based design of distributed WfMS continuing a successful collaboration between Exformatics and ITU.
| Status | Finished |
|---|---|
| Effective start/end date | 01/08/2011 → 30/07/2014 |
Collaborative partners
- IT University of Copenhagen (lead)
- Exformatics
Funding
- Innovation Fund Denmark: DKK360,000.00
Keywords
- industrial phd
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (eds.). Springer, p. 143-160 18 p. (Lecture Notes in Computer Science, Vol. 9109).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile