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

Front Matter ....Pages I-XXVII
Front Matter ....Pages 1-2
 Characterizing Regulatory Documents and Guidelines Based on Text Mining  (Karolin Winter, Stefanie Rinderle-Ma, Wilfried Grossmann, Ingo Feinerer, Zhendong Ma)....Pages 3-20
 A Scalable Smart Meter Data Generator Using Spark  (Nadeem Iftikhar, Xiufeng Liu, Sergiu Danalachi, Finn Ebertsen Nordbjerg, Jens Henrik Vollesen)....Pages 21-36
 Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers  (Hana Teyeb, Nejib Ben Hadj-Alouane, Samir Tata)....Pages 37-44
 Finding Process Variants in Event Logs  (Alfredo Bolt, Wil M. P. van der Aalst, Massimiliano de Leoni)....Pages 45-52
 Interactive and Incremental Business Process Model Repair  (Abel Armas Cervantes, Nick R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Luciano García-Bañuelos)....Pages 53-74
 Control Flow Structure Preservation During Process Fragment Anonymization  (Kristof Böhmer, Stefanie Rinderle-Ma)....Pages 75-83
 Diversity-Aware Continuous Top-k Queries in Social Networks  (Abdulhafiz Alkhouli, Dan Vodislav)....Pages 84-92
 Modeling and Discovering Cancelation Behavior  (Maikel Leemans, Wil M. P. van der Aalst)....Pages 93-113
 Introducing Collaboration for Locating Features in Models: Approach and Industrial Evaluation  (Francisca Pérez, Ana C. Marcén, Raúl Lapeña, Carlos Cetina)....Pages 114-131
 Context-Aware Access Control with Imprecise Context Characterization Through a Combined Fuzzy Logic and Ontology-Based Approach  (A. S. M. Kayes, Wenny Rahayu, Tharam Dillon, Elizabeth Chang, Jun Han)....Pages 132-153
 Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information  (Xixi Lu, Dirk Fahland, Robert Andrews, Suriadi Suriadi, Moe T. Wynn, Arthur H. M. ter Hofstede et al.)....Pages 154-174
 Cloud of Things Modeling for Efficient and Coordinated Resources Provisioning  (Elie Rachkidi, Djamel Belaïd, Nazim Agoulmine, Nada Chendeb)....Pages 175-193
 A Framework for Integrating Real-World Events and Business Processes in an IoT Environment  (Sankalita Mandal, Marcin Hewelt, Mathias Weske)....Pages 194-212
 Methodological Support for Coordinating Tasks in Global Product Software Engineering  (Carolus B. Widiyatmoko, Sietse J. Overbeek, Sjaak Brinkkemper)....Pages 213-231
 Enhancing Process Models to Improve Business Performance: A Methodology and Case Studies  (Marcus Dees, Massimiliano de Leoni, Felix Mannhardt)....Pages 232-251
 TraDE - A Transparent Data Exchange Middleware for Service Choreographies  (Michael Hahn, Uwe Breitenbücher, Frank Leymann, Andreas Weiß)....Pages 252-270
 Building the Most Creative and Innovative Collaborative Groups Using Bayes Classifiers  (Gabriela Moise, Monica Vladoiu, Zoran Constantinescu)....Pages 271-283
 A New Collaborative Paradigm of Computer Science Student Contests: An Experience  (Monica Vladoiu, Zoran Constantinescu, Gabriela Moise)....Pages 284-297
 Ranking-Based Evaluation of Process Model Matching  (Elena Kuss, Henrik Leopold, Christian Meilicke, Heiner Stuckenschmidt)....Pages 298-305
 Analysis and Re-configuration of Decision Logic in Adaptive and Data-Intensive Processes (Short Paper)  (Lina Ochoa, Oscar González-Rojas)....Pages 306-313
 Contingency Management for Event-Driven Business Processes  (John Wondoh, Georg Grossmann, Markus Stumptner)....Pages 314-333
 Dynamic Change Propagation for Process Choreography Instances  (Conrad Indiono, Stefanie Rinderle-Ma)....Pages 334-352
 A Service-Oriented Architecture Design of Decision-Aware Information Systems: Decision as a Service  (Faruk Hasić, Johannes De Smedt, Jan Vanthienen)....Pages 353-361
 Advancing Open Innovation Capabilities Through a Flexible Integration of ICT Tools  (Emmanuel Adamides, Nikos Karacapilidis)....Pages 362-369
 SmartGC: Online Memory Management Prediction for PaaS Cloud Models  (José Simão, Sérgio Esteves, Luís Veiga)....Pages 370-388
 A Model-Driven Tool Chain for OCCI  (Faiez Zalila, Stéphanie Challita, Philippe Merle)....Pages 389-409
 Knowledge Is at the Edge! How to Search in Distributed Machine Learning Models  (Thomas Bach, Muhammad Adnan Tariq, Ruben Mayer, Kurt Rothermel)....Pages 410-428
 Big Data Summarisation and Relevance Evaluation for Anomaly Detection in Cyber Physical Systems  (Ada Bagozi, Devis Bianchini, Valeria De Antonellis, Alessandro Marini, Davide Ragazzi)....Pages 429-447
 STRATModel: Elasticity Model Description Language for Evaluating Elasticity Strategies for Business Processes  (Aicha Ben Jrad, Sami Bhiri, Samir Tata)....Pages 448-466
 Boosting Aided Approaches to QoS Prediction of IT Maintenance Tickets  (Raghav Sonavane, Suman Roy, Durga Prasad Muni)....Pages 467-487
 From VM to Container: A Linear Program for Outsourcing a Business Process to Cloud Containers  (Khouloud Boukadi, Rima Grati, Molka Rekik, Hanêne Ben Abdallah)....Pages 488-504
 Using Colored Petri Nets for Verifying RESTful Service Composition  (Lara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau)....Pages 505-523
 Detecting Process Concept Drifts from Event Logs  (Canbin Zheng, Lijie Wen, Jianmin Wang)....Pages 524-542
 Multi-objective Cooperative Scheduling for Smart Grids  (Khouloud Salameh, Richard Chbeir, Haritza Camblong)....Pages 543-551
 Privacy-Aware in the IoT Applications: A Systematic Literature Review  (Faiza Loukil, Chirine Ghedira-Guegan, Aïcha Nabila Benharkat, Khouloud Boukadi, Zakaria Maamar)....Pages 552-569
 Self-adaptive Decision Making for the Management of Component-Based Applications  (Nabila Belhaj, Djamel Belaïd, Hamid Mukhtar)....Pages 570-588
 On the Bitcoin Limitations to Deliver Fairness to Users  (Önder Gürcan, Antonella Del Pozzo, Sara Tucci-Piergiovanni)....Pages 589-606
 Scalable Conformance Checking of Business Processes  (Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes)....Pages 607-627
 Domain-Independent Monitoring and Visualization of SLA Metrics in Multi-provider Environments  (Robert Engel, Bryant Chen, Shashank Rajamoni, Heiko Ludwig, Alexander Keller, Mohamed Mohamed et al.)....Pages 628-638
 Efficient Service Variant Analysis with Markov Updates in Monte Carlo Tree Search (Short Paper)  (Fuguo Wei, Alistair Barros, Rune Rasmussen, Adambarage Anuruddha Chathuranga De Alwis)....Pages 639-647
 A Framework for Evaluating Anti Spammer Systems for Twitter  (Kenny Ho, Veronica Liesaputra, Sira Yongchareon, Mahsa Mohaghegh)....Pages 648-662
 Formal Model and Method to Decompose Process-Aware IoT Applications  (Samir Tata, Kais Klai, Rakesh Jain)....Pages 663-680
 Towards an Automatic Enrichment of Semantic Web Services Descriptions  (Mohamed Lamine Mouhoub, Daniela Grigori, Maude Manouvrier)....Pages 681-697
 ProLoD: An Efficient Framework for Processing Logistics Data  (Mohammad AlShaer, Yehia Taher, Rafiqul Haque, Mohand-Saïd Hacid, Mohamed Dbouk)....Pages 698-715
 Ubiquity: Extensible Persistence as a Service for Heterogeneous Container-Based Frameworks  (Mohamed Mohamed, Amit Warke, Dean Hildebrand, Robert Engel, Heiko Ludwig, Nagapramod Mandagere)....Pages 716-731
 A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud  (Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman)....Pages 732-750
 An Optimization-Based Approach for Cloud Solution Design  (Aly Megahed, Ahmed Nazeem, Peifeng Yin, Samir Tata, Hamid Reza Motahari Nezhad, Taiga Nakamura)....Pages 751-764
Back Matter ....Pages 765-767