@inbook{DeAngelis2017,
    Abstract = {We present an operational semantics for time-aware business processes, that is, processes modeling the execution of business activities, whose durations are subject to linear constraints over the integers. We assume that some of the durations are controllable, that is, they can be determined by the organization that enacts the process, while others are uncontrollable, that is, they are determined by the external world.},
    Address = {Cham},
    Author = {De Angelis, Emanuele and Fioravanti, Fabio and Meo, Maria Chiara and Pettorossi, Alberto and Proietti, Maurizio},
    BookTitle = {Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings},
    Editor = {Costantini, Stefania and Franconi, Enrico and Van Woensel, William and Kontchakov, Roman and Sadri, Fariba and Roman, Dumitru},
    File = {2017\_DFMPP\_RuleML (0) - a - a - j.pdf},
    ISBN = {978-3-319-61252-2},
    Pages = {103--118},
    Publisher = {Springer International Publishing},
    Title = {Verifying Controllability of Time-Aware Business Processes},
    URL = {https://doi.org/10.1007/978-3-319-61252-2\_8},
    Year = {2017},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-319-61252-2\_8},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-319-61252-2\_8},
    date-added = {2017-09-25 06:22:45 +0000},
    date-modified = {2017-09-25 06:22:45 +0000},
    file-2 = {R16008 (0) - a - a - j.pdf},
    doi = {10.1007/978-3-319-61252-2_8}
}

@inbook{DeAngelis2017, Abstract = {We present an operational semantics for time-aware business processes, that is, processes modeling the execution of business activities, whose durations are subject to linear constraints over the integers. We assume that some of the durations are controllable, that is, they can be determined by the organization that enacts the process, while others are uncontrollable, that is, they are determined by the external world.}, Address = {Cham}, Author = {De Angelis, Emanuele and Fioravanti, Fabio and Meo, Maria Chiara and Pettorossi, Alberto and Proietti, Maurizio}, BookTitle = {Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings}, Editor = {Costantini, Stefania and Franconi, Enrico and Van Woensel, William and Kontchakov, Roman and Sadri, Fariba and Roman, Dumitru}, File = {2017_DFMPP_RuleML (0) - a - a - j.pdf}, ISBN = {978-3-319-61252-2}, Pages = {103--118}, Publisher = {Springer International Publishing}, Title = {Verifying Controllability of Time-Aware Business Processes}, URL = {https://doi.org/10.1007/978-3-319-61252-2_8}, Year = {2017}, bdsk-url-1 = {https://doi.org/10.1007/978-3-319-61252-2_8}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-319-61252-2_8}, date-added = {2017-09-25 06:22:45 +0000}, date-modified = {2017-09-25 06:22:45 +0000}, file-2 = {R16008 (0) - a - a - j.pdf}, doi = {10.1007/978-3-319-61252-2_8} }