On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

Front Matter ....Pages I-XXX
Front Matter ....Pages 1-2
 Digitization of Government Services: Digitization Process Mapping  (Heloise Acco Tives Leão, Edna Dias Canedo, João Carlos Felix Souza)....Pages 3-20
 Modeling Process Interactions with Coordination Processes  (Sebastian Steinau, Kevin Andrews, Manfred Reichert)....Pages 21-39
 Blockchain-Based Collaborative Development of Application Deployment Models  (Ghareeb Falazi, Uwe Breitenbücher, Michael Falkenthal, Lukas Harzenetter, Frank Leymann, Vladimir Yussupov)....Pages 40-60
 Evaluating Multi-tenant Live Migrations Effects on Performance  (Guillaume Rosinosky, Chahrazed Labba, Vincenzo Ferme, Samir Youcef, François Charoy, Cesare Pautasso)....Pages 61-77
 Probability Based Heuristic for Predictive Business Process Monitoring  (Kristof Böhmer, Stefanie Rinderle-Ma)....Pages 78-96
 Indulpet Miner: Combining Discovery Algorithms  (Sander J. J. Leemans, Niek Tax, Arthur H. M. ter Hofstede)....Pages 97-115
 Towards Event Log Querying for Data Quality  (Robert Andrews, Suriadi Suriadi, Chun Ouyang, Erik Poppe)....Pages 116-134
 Towards a Collective Awareness Platform for Privacy Concerns and Expectations  (Giorgos Flouris, Theodore Patkos, Ioannis Chrysakis, Ioulia Konstantinou, Nikolay Nikolov, Panagiotis Papadakos et al.)....Pages 135-152
 Shadow Testing for Business Process Improvement  (Suhrid Satyal, Ingo Weber, Hye-young Paik, Claudio Di Ciccio, Jan Mendling)....Pages 153-171
 A DevOps Implementation Framework for Large Agile-Based Financial Organizations  (Anitha Devi Nagarajan, Sietse J. Overbeek)....Pages 172-188
 Utilizing Twitter Data for Identifying and Resolving Runtime Business Process Disruptions  (Alia Ayoub, Amal Elgammal)....Pages 189-206
 Semantic IoT Gateway: Towards Automated Generation of Privacy-Preserving Smart Contracts in the Internet of Things  (Faiza Loukil, Chirine Ghedira-Guegan, Khouloud Boukadi, Aïcha Nabila Benharkat)....Pages 207-225
 Crowdsourcing Task Assignment with Online Profile Learning  (Silvana Castano, Alfio Ferrara, Stefano Montanelli)....Pages 226-242
 Distributed Collaborative Filtering for Batch and Stream Processing-Based Recommendations  (Kais Zaouali, Mohamed Ramzi Haddad, Hajer Baazaoui Zghal)....Pages 243-260
 Detecting Constraints and Their Relations from Regulatory Documents Using NLP Techniques  (Karolin Winter, Stefanie Rinderle-Ma)....Pages 261-278
 Empirical Analysis of Sentence Templates and Ambiguity Issues for Business Process Descriptions  (Thanner Soares Silva, Lucinéia Heloisa Thom, Aline Weber, José Palazzo Moreira de Oliveira, Marcelo Fantinato)....Pages 279-297
 Evolution of Instance-Spanning Constraints in Process Aware Information Systems  (Conrad Indiono, Walid Fdhila, Stefanie Rinderle-Ma)....Pages 298-317
 Process Histories - Detecting and Representing Concept Drifts Based on Event Streams  (Florian Stertz, Stefanie Rinderle-Ma)....Pages 318-335
 Lifecycle-Based Process Performance Analysis  (Bart F. A. Hompes, Wil M. P. van der Aalst)....Pages 336-353
 A Relevance-Based Data Exploration Approach to Assist Operators in Anomaly Detection  (Ada Bagozi, Devis Bianchini, Valeria De Antonellis, Alessandro Marini)....Pages 354-371
 Exploiting Smart City Ontology and Citizens’ Profiles for Urban Data Exploration  (Devis Bianchini, Valeria De Antonellis, Massimiliano Garda, Michele Melchiori)....Pages 372-389
 Design and Performance Analysis of Load Balancing Strategies for Cloud-Based Business Process Management Systems  (Michael Adams, Chun Ouyang, Arthur H. M. ter Hofstede, Yang Yu)....Pages 390-406
 Towards Cooperative Semantic Computing: A Distributed Reasoning Approach for Fog-Enabled SWoT  (Nicolas Seydoux, Khalil Drira, Nathalie Hernandez, Thierry Monteil)....Pages 407-425
 Enhancing Business Process Flexibility by Flexible Batch Processing  (Luise Pufahl, Dimka Karastoyanova)....Pages 426-444
 Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation  (Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel)....Pages 445-462
 Designing Process Diagrams – A Framework for Making Design Choices When Visualizing Process Mining Outputs  (Marit Sirgmets, Fredrik Milani, Alexander Nolte, Taivo Pungas)....Pages 463-480
 A Viewpoint for Integrating Costs in Enterprise Architecture  (João Miguens, Miguel Mira da Silva, Sérgio Guerreiro)....Pages 481-497
 Coop-DAAB: Cooperative Attribute Based Data Aggregation for Internet of Things Applications  (Sana Belguith, Nesrine Kaaniche, Mohamed Mohamed, Giovanni Russello)....Pages 498-515
 On Cancellation of Transactions in Bitcoin-Like Blockchains  (Önder Gürcan, Alejandro Ranchal Pedrosa, Sara Tucci-Piergiovanni)....Pages 516-533
 Spam Detection Approach for Cloud Service Reviews Based on Probabilistic Ontology  (Emna Ben-Abdallah, Khouloud Boukadi, Mohamed Hammami)....Pages 534-551
 Formal Modelling and Verification of Cloud Resource Allocation in Business Processes  (Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul)....Pages 552-567
 Integrating Digital Identity and Blockchain  (Francesco Buccafurri, Gianluca Lax, Antonia Russo, Guillaume Zunino)....Pages 568-585
 Context-Aware Predictive Process Monitoring: The Impact of News Sentiment  (Anton Yeshchenko, Fernando Durier, Kate Revoredo, Jan Mendling, Flavia Santoro)....Pages 586-603
 Deadlock-Freeness Verification of Cloud Composite Services Using Event-B  (Aida Lahouij, Lazhar Hamel, Mohamed Graiet)....Pages 604-622
 A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics  (Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul)....Pages 623-642
 Change Detection in Event Logs by Clustering  (Agnes Koschmider, Daniel Siqueira Vidal Moreira)....Pages 643-660
 Dimensions for Scoping e-Government Enterprise Architecture Development Efforts  (Agnes Nakakawa, Flavia Namagembe, Erik H. A. Proper)....Pages 661-679
Back Matter ....Pages 681-683