Looking Into the Future: A Priori Advice about Timed Declare Process Models

This post has 182 words. Reading it will take less than one minute.

GD Star Rating
loading...

Presentation I’m giving in two weeks at CoopIS¹⁾. Be there in time or I’ll hire goons to come rough you up!

The slides present this paper:

M. Westergaard and F. Maggi, “Looking into the Future: Using Timed Automata to Provide A Priori Advice about Timed Declarative Process Models,” in On the Move to Meaningful Internet Systems: OTM 2012, 2012, pp. 250-267.
[Bibtex]

@inproceedings{timeddeclare,
year={2012},
isbn={978-3-642-33605-8},
booktitle={On the Move to Meaningful Internet Systems: OTM 2012},
volume={7565},
series={Lecture Notes in Computer Science},
editor={Meersman, Robert and Panetto, Hervé and Dillon, Tharam and Rinderle-Ma, Stefanie and Dadam, Peter and Zhou, Xiaofang and Pearson, Siani and Ferscha, Alois and Bergamaschi, Sonia and Cruz, IsabelF.},
doi={10.1007/978-3-642-33606-5_16},
title={Looking into the Future: Using Timed Automata to Provide A Priori Advice about Timed Declarative Process Models},
url={http://dx.doi.org/10.1007/978-3-642-33606-5_16},
publisher={Springer Berlin Heidelberg},
keywords={declarative process modeling; metric temporal logic; error detection; operational support; timed automata; Declare},
author={Westergaard, Michael and Maggi, FabrizioMaria},
pages={250-267}
}