Vai al contenuto principale della pagina

On the Move to Meaningful Internet Systems. OTM 2017 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: On the Move to Meaningful Internet Systems. OTM 2017 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Edizione: 1st ed. 2017.
Descrizione fisica: 1 online resource (XXVII, 767 p. 280 illus.)
Disciplina: 004.678
Soggetto topico: Artificial intelligence
Application software
Software engineering
Computer security
Data mining
Computer communication systems
Artificial Intelligence
Information Systems Applications (incl. Internet)
Software Engineering
Systems and Data Security
Data Mining and Knowledge Discovery
Computer Communication Networks
Persona (resp. second.): PanettoHervé
DebruyneChristophe
GaaloulWalid
PapazoglouMike
PaschkeAdrian
ArdagnaClaudio Agostino
MeersmanRobert
Nota di contenuto: Intro -- General Co-chairs and Editors' Message for OnTheMove 2017 -- Organization -- OnTheMove 2017 Keynotes -- Pragmatic Semantics at Web Scale -- Evolution of the Industrial Internet of Things: Preparing for Change -- Contents - Part I -- Contents - Part II -- International Conference on Cooperative Information Systems (CoopIS) 2017 -- En -- Characterizing Regulatory Documents and Guidelines Based on Text Mining -- 1 Introduction -- 2 Methodology -- 3 Description of Documents -- 3.1 Description of ISO/IEC Documents -- 3.2 Description of Medical Document -- 4 Evaluation -- 4.1 Case Study 1: ISO Documents -- 4.2 Case Study 2: Medical Document -- 5 Limitations and Application Scenarios -- 6 Related Work -- 7 Conclusion and Future Work -- References -- A Scalable Smart Meter Data Generator Using Spark -- 1 Introduction -- 2 Methodology -- 2.1 Overview -- 2.2 Algorithm Description -- 2.3 Optimization -- 3 Implementation on Spark -- 4 Evaluation -- 4.1 Effectiveness -- 4.2 Scalability -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers -- 1 Introduction -- 2 Problem Formulation -- 2.1 Stochastic Optimization Model -- 2.2 Equivalent Optimization Formulation -- 2.3 Network-Aware Stochastic VM Placement Algorithm -- 3 Performance Evaluation -- 4 Conclusion -- References -- Finding Process Variants in Event Logs -- 1 Introduction -- 2 Preliminaries -- 3 Finding Process Variants in Event Logs -- 4 Implementation and Case Study -- 5 Related Work -- 6 Conclusions -- References -- Interactive and Incremental Business Process Model Repair -- 1 Introduction -- 2 Related Work -- 3 Behavioral Alignment -- 4 Extending Conformance Checking to Process Model Repair -- 4.1 Extension, Order and Impact of Differences -- 4.2 Visualization of Differences -- 5 Evaluation.
5.1 Experiment with Synthetic Datasets -- 5.2 Experiment with Real-Life Dataset -- 6 Conclusion -- References -- Control Flow Structure Preservation During Process Fragment Anonymization -- 1 Introduction -- 2 Control Flow Anonymization -- 3 Evaluation -- 4 Related Work -- 5 Conclusion and Discussion -- References -- Diversity-Aware Continuous Top-k Queries in Social Networks -- 1 Introduction and Related Work -- 2 Data and Processing Models -- 3 The DA-SANTA Algorithm -- 4 Experimental Evaluation -- References -- Modeling and Discovering Cancelation Behavior -- 1 Introduction -- 2 Related Work -- 2.1 Criteria for Comparison -- 2.2 Discussion of the Related Work -- 3 Event Logs and Process Trees -- 3.1 Preliminaries -- 3.2 Event Logs -- 3.3 Process Trees -- 3.4 Cancelation Process Trees -- 4 Heuristics for Error Oracle -- 5 Model Discovery -- 5.1 Directly Follows Graph and Cuts -- 5.2 Discovery Framework -- 5.3 Cancelation Discovery -- 6 Evaluation -- 6.1 Input and Methodology for Comparative Evaluation -- 6.2 Comparative Evaluation Results and Discussion -- 7 Conclusion -- References -- Introducing Collaboration for Locating Features in Models: Approach and Industrial Evaluation -- 1 Introduction -- 2 Background -- 3 Our Approach for Introducing Collaboration in FL -- 3.1 Automatic Query Reformulation -- 3.2 IR FL CORE -- 3.3 Linguistic Rules FL CORE -- 4 Evaluation -- 4.1 Definition -- 4.2 Data Set -- 4.3 Implementation Details -- 4.4 Planning and Execution -- 4.5 Results -- 4.6 Statistical Analysis -- 5 Threats to Validity -- 6 Related Work -- 7 Concluding Remarks -- References -- Context-Aware Access Control with Imprecise Context Characterization Through a Combined Fuzzy Logic and Ontology-Based Approach -- 1 Introduction -- 2 Significance of Our Research and General Requirements -- 2.1 Application Scenario -- 2.2 General Requirements.
3 Our Formal FCAAC Approach -- 3.1 Context Model -- 3.2 Policy Model -- 4 Ontology-Based FCAAC Approach -- 4.1 Modelling Contextual Conditions -- 4.2 Reasoning About Contextual Conditions -- 4.3 FCAAC Policy -- 5 Prototype and Evaluation -- 5.1 Practicality -- 5.2 Performance -- 6 Related Work and Discussion -- 7 Conclusion and Future Research -- References -- Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Patterns and Pattern Instances -- 4.1 Core-Activity, Pattern and Pattern Instance -- 4.2 Pattern Support, Confidence and Coverage -- 5 Pattern Detection and Pattern Instance Matching -- 5.1 Pattern Detection Approaches - Partially Ordered Traces to Patterns -- 5.2 Computing a Maximal Set of Pattern Instances -- 6 Evaluation and Discussion -- 7 Conclusion and Future Work -- References -- Cloud of Things Modeling for Efficient and Coordinated Resources Provisioning -- 1 Introduction -- 2 Existing Models and Standards -- 2.1 Internet of Things Environment -- 2.2 Cloud Infrastructure Management Initiatives -- 2.3 Synthesis of Existing Works on Cloud and IoT Models and Standards -- 3 Related Works -- 4 Cloud of Things Infrastructure Model -- 4.1 Network Graph Model -- 4.2 Sensor and Actuator Resources -- 4.3 Things Virtualization -- 4.4 Things Integration Patterns -- 5 Cloud of Things Platform Model -- 5.1 Cloud of Things Deployment Options -- 5.2 Data Components Sharing -- 6 Example Scenarios -- 6.1 Resources Description -- 6.2 Mapping Process -- 7 Cloud of Things Placement Problem Formulation -- 8 Simulation and Results -- 9 Conclusion and Perspectives -- References -- A Framework for Integrating Real-World Events and Business Processes in an IoT Environment -- 1 Introduction -- 2 Foundations -- 2.1 Business Process Management.
2.2 Complex Event Processing -- 3 Requirements Analysis -- 4 Related Work -- 5 Conceptual Framework -- 5.1 Event Generation and Aggregation -- 5.2 Event Binding Points -- 5.3 Event Subscription and Correlation -- 5.4 Reaction on Events -- 6 Implementation -- 6.1 Unicorn Event Processing Platform -- 6.2 Gryphon Case Modeler -- 6.3 Chimera Case Engine -- 7 Conclusion and Future Work -- References -- Methodological Support for Coordinating Tasks in Global Product Software Engineering -- 1 Introduction -- 2 Research Method: The Design Cycle -- 2.1 The Method Association Approach -- 2.2 Method Evaluation Approach -- 3 Problem Investigation -- 3.1 Literature Study -- 3.2 The Global Task Coordination Framework -- 3.3 Identifying Activity Groups -- 3.4 Identifying Method Fragments -- 4 Solution Design: Construction of a Global Task Coordination Method -- 4.1 Method Association -- 4.2 Method Assembly -- 4.3 Method Validation -- 5 Discussion -- 6 Conclusions and Future Research -- Appendix A The Global Task Coordination Method -- References -- Enhancing Process Models to Improve Business Performance: A Methodology and Case Studies -- 1 Introduction -- 2 Preliminaries -- 2.1 Petri Nets and Event Logs -- 2.2 Aligning Petri Nets and Event Logs and Repairing Event Logs -- 3 The Methodology -- 3.1 Deviation Analysis -- 3.2 Repair and Merge Log Clusters -- 3.3 Repair Model -- 4 Implementation and Evaluation -- 4.1 UWV Case Study -- 4.2 SAP Procurement Case Study -- 5 Related Work -- 6 Conclusion -- References -- TraDE - A Transparent Data Exchange Middleware for Service Choreographies -- 1 Introduction -- 2 Transparent Data Exchange Approach -- 2.1 Cross-Partner Data Objects and Cross-Partner Data Flows -- 2.2 Towards a TraDE Middleware -- 3 The TraDE Middleware -- 3.1 Metamodel -- 3.2 Architecture -- 3.3 Integration with Process Engines -- 4 Validation.
5 Evaluation -- 5.1 Evaluation Methodology and Experimental Setup -- 5.2 Experimental Results -- 6 Related Work -- 7 Conclusions and Outlook -- References -- Building the Most Creative and Innovative Collaborative Groups Using Bayes Classifiers -- Abstract -- 1 Introduction -- 2 Related Work on Collaborative Creativity -- 3 A Bayes Classifier-Based Model and Method for Building Optimally Creative and Innovative Groups -- 3.1 Bayesian Network Classifiers -- 3.2 General Model for Building "the Best" Collaborative Groups -- 3.3 Model Instantiation for Building the Most Creative Learning Groups -- 4 Case Study - A Real-World Scenario -- 5 Discussion -- 6 Conclusions and Future Work -- References -- A New Collaborative Paradigm of Computer Science Student Contests: An Experience -- Abstract -- 1 Introduction -- 2 Computer Science Contests -- 2.1 Computer Programming Contests -- 2.2 New Paradigms -- 3 Our Experience with Computer Science Contests -- 3.1 Evolution of Our Contest -- 3.2 A New Paradigm: Three-Words-from-a-Hat -- 3.3 Experiencing the New Paradigm -- 4 Is the New Paradigm Beneficial for Computer Science Education? -- 4.1 Is Competition Beneficial to Education? -- 4.2 Reflecting on the New Paradigm -- 5 Conclusions -- References -- Ranking-Based Evaluation of Process Model Matching -- 1 Introduction -- 2 Problem Statement -- 3 Probabilistic Evaluation of Process Model Matching -- 4 Evaluation Experiments -- 4.1 Setup -- 4.2 Results -- 5 Related Work -- 6 Conclusion -- References -- Analysis and Re-configuration of Decision Logic in Adaptive and Data-Intensive Processes (Short Paper) -- 1 Introduction -- 2 Challenges for Decision Logic Re-configuration: A Loan Approval Motivation Scenario -- 3 Supporting Decision Propagation in Business Processes -- 3.1 Feature-Oriented Representation of Decision Logic.
3.2 Constraint-Based Analysis of Decision Logic.
Sommario/riassunto: 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.
Titolo autorizzato: On the Move to Meaningful Internet Systems. OTM 2017 Conferences  Visualizza cluster
ISBN: 3-319-69462-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996465634603316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Programming and Software Engineering ; ; 10573