LEADER 13370nam 22008775 450 001 996466261103316 005 20200702141122.0 010 $a3-319-45547-8 024 7 $a10.1007/978-3-319-45547-1 035 $a(CKB)3710000000872906 035 $a(DE-He213)978-3-319-45547-1 035 $a(MiAaPQ)EBC6306793 035 $a(MiAaPQ)EBC5591289 035 $a(Au-PeEL)EBL5591289 035 $a(OCoLC)958625363 035 $a(PPN)195510798 035 $a(EXLCZ)993710000000872906 100 $a20160906d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel and Data Engineering$b[electronic resource] $e6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings /$fedited by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVII, 360 p. 121 illus.) 225 1 $aProgramming and Software Engineering ;$v9893 300 $aIncludes index. 311 $a3-319-45546-X 327 $aIntro -- 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. 327 $a3 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. 327 $a2.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. 327 $a4.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. 327 $a3 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. 327 $a3 QA-aware Model Transformation Approach. 330 $aThis 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. 410 0$aProgramming and Software Engineering ;$v9893 606 $aSoftware engineering 606 $aDatabase management 606 $aComputer simulation 606 $aManagement information systems 606 $aComputer science 606 $aApplication software 606 $aInformation storage and retrieval 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 615 0$aSoftware engineering. 615 0$aDatabase management. 615 0$aComputer simulation. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 14$aSoftware Engineering. 615 24$aDatabase Management. 615 24$aSimulation and Modeling. 615 24$aManagement of Computing and Information Systems. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aInformation Storage and Retrieval. 676 $a005.74 702 $aBellatreche$b Ladjel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPastor$b Óscar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAlmendros Jiménez$b Jesús M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAït-Ameur$b Yamine$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466261103316 996 $aModel and Data Engineering$92239827 997 $aUNISA