Model and Data Engineering [[electronic resource] ] : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / / edited by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
• Edizione: 1st ed. 2016.
• Descrizione fisica: 1 online resource (XVII, 360 p. 121 illus.)
• Disciplina: 005.74
• Soggetto topico: Software engineering; Database management; Computer simulation; Management information systems; Computer science; Application software; Information storage and retrieval; Software Engineering; Database Management; Simulation and Modeling; Management of Computing and Information Systems; Information Systems Applications (incl. Internet); Information Storage and Retrieval
• Persona (resp. second.): BellatrecheLadjel; PastorÓscar; Almendros JiménezJesús M; Aït-AmeurYamine
• Note generali: Includes index.
• Nota di contenuto: Intro -- Preface -- Organization -- Invited Papers -- Towards Cyber-Physical-Social Systems - Towards a New Paradigm for Elastic Distributed Systems -- Multi-Perspective Enterprise Modelling and Future Enterprise Systems -- Contents -- Towards OntoUML for Software Engineering: Transformation of Anti-rigid Sortal Types into Relational Databases -- 1 Introduction -- 2 Background and Related Work -- 2.1 Used Methods -- 2.2 OntoUML -- 3 Running Example -- 4 Our Approach -- 4.1 Transformation of OntoUML PIM into UML PIM -- 4.2 Transformation of PIM into PSM -- 4.3 Transformation of PSM into ISM -- 5 Discussion -- 6 Conclusion -- References -- Automatic Generation of Ecore Models for Testing ATL Transformations -- 1 Introduction -- 2 Automatic Generation of Ecore Models -- 3 Testing of ATL Transformations -- 3.1 Benchmarks -- 4 Related Work -- 5 Conclusions and Future Work -- References -- Towards a Methodological Tool Support for Modeling Security-Oriented Processes -- 1 Introduction -- 2 Related Work -- 3 Approach -- 4 RCPM Concepts for Security and Reuse -- 4.1 Working Example: Simplified V-Modell XT -- 4.2 Metamodel Description -- 5 Security-Oriented Process Modeling -- 5.1 Concrete Syntax -- 5.2 Process Model Analysis and Documentation -- 5.3 Tool Support -- 6 Conclusion -- References -- ResilientStore: A Heuristic-Based Data Format Selector for Intermediate Results -- 1 Introduction -- 2 Background and Motivating Example -- 2.1 Hadoop Data Formats -- 2.2 Motivating Example -- 3 System Model and Heuristic Rules -- 4 ResilientStore -- 4.1 Materialization of Intermediate Results -- 4.2 System Architecture -- 4.3 Format Enumerator Algorithm -- 5 Experiments -- 5.1 Setup and Dataset -- 5.2 Results -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Bulk-Loading xBR+-trees -- 1 Introduction -- 2 Related Work and Motivation. ; 3 The xBR+-tree -- 4 Bulk-Loading xBR+-tree -- 5 Experimental Results -- 5.1 Experiments for Tree Building -- 5.2 Experiments for Single Dataset Spatial Queries -- 5.3 Experiments for Dual Dataset Spatial Queries -- 6 Conclusions and Future Work -- References -- A Meta-advisor Repository for Database Physical Design -- 1 Introduction -- 2 Background -- 2.1 Physical Design in Database -- 2.2 Example -- 3 Our Contribution: A Meta-advisor Approach -- 3.1 Contribution Overview -- 3.2 PhyDL: Physical Design Specific Language -- 3.3 Meta-advisor Repository -- 4 Case Study -- 4.1 Storing in the Repository -- 4.2 Searching from the Repository -- 5 Related Work -- 6 Conclusion -- References -- Linked Service Selection Using the Skyline Algorithm -- 1 Introduction -- 2 State of the Art -- 2.1 Quality of Service in Service Oriented Web -- 2.2 QoS-Based Web Service Selection -- 2.3 Analysis -- 3 Scenario and Motivation -- 4 Problem Statement -- 4.1 A Minimal QoS Model for Web Resources -- 4.2 QoS-Based Resource Selection Problem Specification -- 5 Contribution -- 5.1 On-The-Fly Selection -- 5.2 N-Periodic Selection -- 6 Discussion and Theoretical Evaluation -- 6.1 One-Periodic Selection Versus N-Periodic Selection -- 6.2 Selection Algorithms of the Skyline Set of Services -- 7 Conclusion -- References -- Toward Multi Criteria Optimization of Business Processes Design -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 Business Process Quantitative Representation -- 3.2 Reverse Process Verification Algorithm (ReProVA) -- 3.3 xNSGAII -- 3.4 Business Process Optimization Framework -- 4 Experimentation and Results -- 5 Conclusion -- References -- Semantic-Enabled and Hypermedia-Driven Linked Service Discovery -- 1 Introduction -- 2 Motivating Scenario and Research Problem -- 2.1 Scenario and Motivation. ; 2.2 Problem Statement and Research Contribution -- 3 Background Knowledge -- 3.1 Graph Search Algorithms -- 3.2 Web Resource Description -- 4 Related Work -- 4.1 Semantic Description of Resources -- 4.2 Resource Discovery and Composition -- 4.3 Analysis -- 5 Contribution -- 5.1 Semantically Annotating Descriptor Links -- 5.2 Semantic-Enabled Discovery -- 6 Evaluation and Discussion -- 7 Conclusion -- References -- Multi-level Networked Knowledge Base: DDL-Reasoning -- 1 Introduction -- 2 Motivating Example -- 3 Multi-level Networked Knowledge Base Syntax -- 3.1 Knowledge Representation Languages and Ontologies -- 3.2 Alignment Language -- 3.3 Knowledge Node -- 4 Distributed Description Logics: Preliminaries -- 4.1 Syntax -- 4.2 Semantics -- 5 Multi-level Networked Knowledge Semantics -- 6 Conclusions -- References -- Maintenance of Profile Matchings in Knowledge Bases -- 1 Introduction -- 2 Profile Matching in Knowledge Bases -- 2.1 Knowledge Representation -- 2.2 Filter-Based Matching -- 3 Matching Analysis -- 3.1 Plausibility Constraints -- 3.2 Linear Inequations -- 3.3 Derivation of Matching Measures -- 4 Conclusion -- References -- Distributed Reasoning for Mapped Ontologies Using Rewriting Logic -- 1 Introduction -- 2 Ontology Description with Rewriting Logic -- 2.1 Generation of Contextual Maude Ontologies -- 3 Distributed Reasoning for Mapped Maude Ontologies -- 3.1 Experimental Results -- 4 Conclusion -- References -- Towards a Formal Validation of ETL Patterns Behaviour -- Abstract -- 1 Introduction -- 2 Related Work -- 3 ETL Patterns: SCD-H Pattern -- 4 Conclusions and Future Work -- Acknowledgments -- References -- Building OLAP Cubes from Columnar NoSQL Data Warehouses -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Columnar NoSQL Data Warehouse -- 3.1 Formalization -- 3.2 Building OLAP Cubes -- 4 MC-CUBE Operator. ; 4.1 MC-CUBE Operator Execution Phases -- 4.2 Example -- 5 Implementation and Experiments -- 5.1 OLAP Cube Computation on a Single-Node Cluster -- 5.2 OLAP Cube Computation on a Multi-node Cluster (Scaling-up) -- 6 Conclusion -- References -- On Representing Interval Measures by Means of Functions -- 1 Introduction -- 2 Related Work -- 3 Motivation -- 4 Interval Data Model: I-OLAP -- 5 Implementation -- 6 Experimental Evaluation -- 6.1 Settings -- 6.2 Test Results -- 7 Conclusions and Future Work -- References -- Automated Data Pre-processing via Meta-learning -- 1 Introduction -- 2 Related Work -- 3 Overview -- 3.1 Data Pre-processing -- 3.2 Impact of Pre-processing -- 4 Our Solution -- 4.1 Meta-learning for Data Pre-processing -- 4.2 Solution Prototype -- 5 Evaluation -- 5.1 Experimental Setup -- 5.2 Results for the Improvements Obtained by Transformations -- 6 Conclusions and Future Work -- References -- Individual Relocation: A Fuzzy Classification Based Approach -- Abstract -- 1 Introduction -- 2 Handling Imperfect Knowledge -- 3 Fuzzy Ontology Realization: An Individual Fuzzy Classification Based Approach -- 4 Individual Relocation Process for Fuzzy Ontologies -- 4.1 Enrichment and Modification -- 4.2 Impoverishment -- 5 Conclusion -- References -- Incremental Approach for Detecting Arbitrary and Embedded Cluster Structures -- 1 Introduction -- 2 Incremental Clustering Approaches -- 3 A New Density Based Incremental Clustering -- 3.1 Calculating Cluster Membership -- 3.2 Clustering Incremental Data -- 3.3 Detecting Density Variation -- 3.4 Merging Clusters -- 3.5 InDEC: The Algorithm -- 4 Performance Evaluation -- 4.1 Dataset Used -- 4.2 Experimental Results -- 5 Conclusion -- References -- Annotation of Engineering Models by References to Domain Ontologies -- 1 Introduction -- 2 Domain Ontologies as Models for Domain Knowledge. ; 3 The NoseGear Case Study -- 4 Our Approach -- 4.1 Methodology -- 4.2 Model Annotation: Three Cases -- 4.3 Properties Expression and Verification -- 5 Application to the NoseGear Case Study -- 5.1 Step 1. a Domain Ontolgy -- 5.2 Step 2. Design Models -- 5.3 Step 3. Annotation Process -- 5.4 Step 4: Property Verification -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Unifying Warehoused Data with Linked Open Data: A Conceptual Modeling Solution -- Abstract -- 1 Introduction -- 2 Related Work -- 3 The Unified Cube Model -- 3.1 Unified Cube -- 3.2 Analysis Subject: Fact -- 3.3 Analysis Axis: Dimension -- 3.4 Analytical Granularity: Level -- 4 Implementation of Unified Cubes -- 4.1 Architecture -- 4.2 Schema Module -- 4.3 Instance Module -- 4.4 Experimental Assessments -- 5 Conclusion -- References -- Correct-by-Construction Evolution of Realisable Conversation Protocols -- 1 Introduction -- 2 Background -- 3 Correct-by-Construction Realisability -- 4 Correct-by-Construction Evolution -- 4.1 Behavioural Properties -- 4.2 Evolution Patterns -- 4.3 About Correctness -- 5 Two Illustrative Examples -- 5.1 A First Example -- 5.2 A More Complex Example -- 6 Tool Support -- 7 Related Work -- 8 Conclusion and Perspectives -- References -- White-Box Modernization of Legacy Applications -- 1 Introduction -- 2 Oracle Forms Case Study -- 2.1 Oracle Forms Concepts and Modernization Scope -- 2.2 Architecture and Target Technologies -- 3 Leveraging Target Architecture Configuration -- 3.1 Architecture Configuration Concerns -- 3.2 Technology Agnostic Metamodel -- 3.3 Technology Agnostic Metamodel Editor -- 4 Evaluation -- 4.1 Proof of Concept -- 4.2 Pilot Study -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Exploring Quality-Aware Architectural Transformations at Run-Time: The ENIA Case -- 1 Introduction -- 2 Background. ; 3 QA-aware Model Transformation Approach.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016. The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions. The papers range on a wide spectrum covering fundamental contributions, applications and tool developments and improvements in model and data engineering activities.
• Titolo autorizzato: Model and Data Engineering
• ISBN: 3-319-45547-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466261103316
• Lo trovi qui: Univ. di Salerno
• Serie: Programming and Software Engineering ; ; 9893