Model and Data Engineering: First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings

This book constitutes the refereed proceedings of the First International Conference on Model and Data Engineering, MEDI 2011, held in Óbidos, Portugal, in September 2011. The 18 revised full papers presented together with 8 short papers and three keynotes were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on ontology engineering; Web services and security; advanced systems; knowledge management; model specification and verification; and models engineering. Front Matter....Pages - Personalization in Web Search and Data Management....Pages 1-1 Challenges in the Digital Information Management Space....Pages 2-2 Formal Modelling of Service-Oriented Systems....Pages 3-3 Automatic Production of an Operational Information System from a Domain Ontology Enriched with Behavioral Properties....Pages 4-17 Schema, Ontology and Metamodel Matching - Different, But Indeed the Same?....Pages 18-30 A Framework Proposal for Ontologies Usage in Marketing Databases....Pages 31-41 Proposed Approach for Evaluating the Quality of Topic Maps....Pages 42-49 BH : B ehavioral H andling to Enhance Powerfully and Usefully the Dynamic Semantic Web Services Composition....Pages 50-61 Service Oriented Grid Computing Architecture for Distributed Learning Classifier Systems....Pages 62-70 Securing Data Warehouses: A Semi-automatic Approach for Inference Prevention at the Design Level....Pages 71-84 F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database....Pages 85-96 Characterization of OLTP I/O Workloads for Dimensioning Embedded Write Cache for Flash Memories: A Case Study....Pages 97-109 Toward a Version Control System for Aspect Oriented Software....Pages 110-121 AspeCis: An Aspect-Oriented Approach to Develop a Cooperative Information System....Pages 122-132 An Application of Locally Linear Model Tree Algorithm for Predictive Accuracy of Credit Scoring....Pages 133-142 Predicting Evasion Candidates in Higher Education Institutions....Pages 143-151 Search and Analysis of Bankruptcy Cause by Classification Network....Pages 152-161 Conceptual Distance for Association Rules Post-processing....Pages 162-169 Manufacturing Execution Systems Intellectualization: Oil and Gas Implementation Sample....Pages 170-177 Get Your Jokes Right: Ask the Crowd....Pages 178-185 An Evolutionary Approach for Program Model Checking....Pages 186-199 Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B....Pages 200-213 Specification and Verification of Model-Driven Data Migration....Pages 214-225 Towards a Simple Meta-model for Complex Real-Time and Embedded Systems....Pages 226-236 Supporting Model Based Design....Pages 237-248 Modeling Approach Using Goal Modeling and Enterprise Architecture for Business IT Alignment....Pages 249-261 MDA Compliant Approach for Data Mart Schemas Generation....Pages 262-269 A Methodology for Standards-Driven Metamodel Fusion....Pages 270-277 Metamodel Matching Techniques in MDA: Challenge, Issues and Comparison....Pages 278-286 Back Matter....Pages - This book constitutes the refereed proceedings of the First International Conference on Model and Data Engineering, MEDI 2011, held in Obidos, Portugal, in September 2011. The 18 revised full papers presented together with 8 short papers and three keynotes were carefully reviewed and selected from 67 submissions.