Samir Tata, Kais Klai, Rakesh Jain. Formal Model and Method to Decompose Process-Aware IoT Applications. In Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike P. Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman, editors, On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I. Volume 10573 of Lecture Notes in Computer Science, pages 663-680, Springer, 2017. [doi]
Abstract is missing.