{"id":563,"date":"2018-09-12T09:26:47","date_gmt":"2018-09-12T09:26:47","guid":{"rendered":"https:\/\/cpm-project.inf.unibz.it\/?post_type=news&#038;p=563"},"modified":"2019-03-21T16:52:10","modified_gmt":"2019-03-21T16:52:10","slug":"best-paper-award-at-bpm-2018","status":"publish","type":"news","link":"https:\/\/cpm-project.inf.unibz.it\/index.php\/news\/best-paper-award-at-bpm-2018\/","title":{"rendered":"Best Paper Award at BPM 2018"},"content":{"rendered":"<p>The paper presented at the 16th International Conference on Business Process Management (BPM) last September 12, won the best paper award of the conference. The title of the paper is &#8220;<a href=\"https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/09\/BPM2018-CameraReady.pdf\">Construction Process Modeling: Representing Activities, Items and Their Interplay.<\/a>&#8221;<\/p>\n<h4>Abstract<\/h4>\n<p id=\"Par1\" class=\"Para\">General purpose process modeling approaches are meant to be applicable to a wide range of domains. To achieve this result, their constructs need to be general, thus failing in capturing the peculiarities of a particular application domain. One aspect usually neglected is the representation of the items on which activities are to be executed. As a consequence, the model is an approximation of the real process, limiting its reliability and usefulness in particular domains.<\/p>\n<p id=\"Par2\" class=\"Para\">We extend and formalize an existing declarative specification for process modeling mainly conceived for the construction domain. In our approach we model the activities and the items on which the activities are performed, and consider both of them in the specification of the flow of execution. We provide a formal semantics in terms of LTL over finite traces which paves the way for the development of automatic reasoning. In this respect, we investigate process model satisfiability and develop an effective algorithm to check it.<\/p>\n<h4>Presentation slides<\/h4>\n<p>The slides are available <a href=\"https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2019\/03\/v5-WebSite-Presentation.pdf\">here.<\/a><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-564\" src=\"https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-169x300.jpg\" alt=\"\" width=\"169\" height=\"300\" srcset=\"https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-169x300.jpg 169w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-768x1365.jpg 768w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-576x1024.jpg 576w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-700x1244.jpg 700w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-520x924.jpg 520w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-360x640.jpg 360w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-250x444.jpg 250w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/20180915_113938-e1538472209678-100x178.jpg 100w\" sizes=\"(max-width: 169px) 100vw, 169px\" \/><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-566\" src=\"https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-300x212.png\" alt=\"\" width=\"300\" height=\"212\" srcset=\"https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-300x212.png 300w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-768x543.png 768w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-1024x724.png 1024w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-700x495.png 700w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-520x368.png 520w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-360x255.png 360w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-250x177.png 250w, https:\/\/cpm-project.inf.unibz.it\/wp-content\/uploads\/2018\/10\/BestPaper-100x71.png 100w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The paper presented at the 16th International Conference on Business Process Management (BPM) last September 12, won the best paper award of the conference. <\/p>\n","protected":false},"author":6,"featured_media":0,"comment_status":"open","ping_status":"closed","template":"","tags":[],"news-category":[],"_links":{"self":[{"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/news\/563"}],"collection":[{"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/news"}],"about":[{"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/types\/news"}],"author":[{"embeddable":true,"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/comments?post=563"}],"version-history":[{"count":0,"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/news\/563\/revisions"}],"wp:attachment":[{"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/media?parent=563"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/tags?post=563"},{"taxonomy":"news-category","embeddable":true,"href":"https:\/\/cpm-project.inf.unibz.it\/index.php\/wp-json\/wp\/v2\/news-category?post=563"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}