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

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

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

The slides present this paper:

  • [DOI] 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}
    }
  1. Yup, I’m crazy early! []

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.