Declare 2.1.0 Released

Hot on the heels of yesterday’s release of Declare 2.0.9, we have now present Declare 2.1. This version is more or less the same as the 2.0.9 release with the added ability to switch of control from within Declare and connect to the Declare Monitor for monitoring of process health.

Of course, Declare 2.1 inherits these features form 2.0.9: This version is much faster, and can handle much larger models using the approach described in [1] and is compatible with the operational support service in ProM 6.1 described in [2]. This version is a testing release prior to the forthcoming final 2.1 release.

[1] M. Westergaard, “Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL,” in Proc. of BPM, Springer-verlag, 2011.
[Bibtex]

@incollection{improved_translation,
Author = {M. Westergaard},
Title = {{Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL}},
Year = {2011},
Publisher = {Springer-Verlag},
Series = {LNCS},
Booktitle = {{Proc. of BPM}},
}

[2]

M. Westergaard and F. Maggi, “Modeling and verification of a protocol for operational support using coloured petri nets,” in Applications and theory of petri nets, L. Kristensen and L. Petrucci, Eds., Springer berlin / heidelberg, 2011, vol. 6709, pp. 169-188.
[Bibtex]

@incollection{osprotocol,
author = {Westergaard, Michael and Maggi, Fabrizio},
affiliation = {Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands},
title = {Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets},
booktitle = {Applications and Theory of Petri Nets},
series = {Lecture Notes in Computer Science},
editor = {Kristensen, Lars and Petrucci, Laure},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-21833-0},
keyword = {Computer Science},
pages = {169-188},
volume = {6709},
doi = {10.1007/978-3-642-21834-7_10},
note = {10.1007/978-3-642-21834-7_10},
abstract = {In this paper, we describe the modeling and analysis of a protocol for operational support during workflow enactment. Operational support provides online replies to questions such as “is my execution valid?” and “how do I end the execution in the fastest/cheapest way?”, and may be invoked multiple times for each execution. Multiple applications (operational support providers) may be able to answer such questions, so a protocol supporting this should be able to handle multiple providers, maintain data between queries about the same execution, and discard information when it is no longer needed. We present a coloured Petri net model of a protocol satisfying our requirements. The model is used both to make our requirements clear by building a model-based prototype before implementation and to verify that the devised protocol is correct. We present techniques to make analysis of the large state-space of the model possible, including modeling techniques and an improved state representation for coloured Petri nets allowing explicit representation of state spaces with more than 10 8 states on a normal PC. We briefly describe our implementation in the process mining tool ProM and how we have used it to improve an existing provider.},
year = {2011}
}