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

This double volumes LNCS 10573-10574 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2017, Ontologies, Databases, and Applications of Semantics, ODBASE 2017, and Cloud and Trusted Computing, C&TC, held as part of OTM 2017 in October 2017 in Rhodes, Greece. The 61 full papers presented together with 19 short papers were carefully reviewed and selected from 180 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing. 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