Generic Model Management: Concepts And Algorithms (lecture Notes In Computer Science)

Many Challenging Problems In Information Systems Engineering Involve The Manipulation Of Complex Metadata Artifacts Or Models, Such As Database Schema, Interface Specifications, Or Object Diagrams, And Mappings Between Models. Applications Solving Metadata Manipulation Problems Are Complex And Hard To Build. The Goal Of Generic Model Management Is To Reduce The Amount Of Programming Needed To Solve Such Problems By Providing A Database Infrastructure In Which A Set Of High-level Algebraic Operators Are Applied To Models And Mappings As A Whole Rather Than To Their Individual Building Blocks. This Book Presents A Systematic Study Of The Concepts And Algorithms For Generic Model Management. The First Prototype Of A Generic Model Management System Is Described, The Algebraic Operators Are Introduced And Analyzed, And Novel Algorithms For Implementing Them Are Developed. Using The Prototype System And The Operators Presented, Solutions Are Developed For Several Practically Relevant Problems, Such As Change Propagation And Reintegration. A Programming Platform For Model Management -- 1. Introduction -- 2. Conceptual Structures And Operators -- 3. Implementation And Applications -- A Semantics For Model Management Operators -- 4. State-based Semantics -- 5. Change Propagation Scenario -- 6. State-based Semantics In Rondo -- Schema Matching -- 7. Similarity Flooding Algorithm -- 8. Filters -- 9. Evaluation And Tuning -- Model Management In Perspective -- 10. Related Work -- 11. Conclusions And Outlook -- A. User Study: Gathering Intended Match Results -- B. Proofs Of Simplification Theorems. Sergey Melnik. Originally Issued As The Author's Thesis (doctoral). Includes Bibliographical References (p. [229]-238). Front Matter....Pages - Front Matter....Pages 1-1 1. Introduction....Pages 3-11 2. Conceptual Structures and Operators....Pages 13-28 3. Implementation and Applications....Pages 29-51 Front Matter....Pages 53-53 4. State-Based Semantics....Pages 55-89 5. Change Propagation Scenario....Pages 91-99 6. State-Based Semantics in Rondo....Pages 101-113 Front Matter....Pages 115-115 7. Similarity Flooding Algorithm....Pages 117-135 8. Filters....Pages 137-145 9. Evaluation and Tuning....Pages 147-159 Front Matter....Pages 161-161 10. Related Work....Pages 163-197 11. Conclusions and Outlook....Pages 199-211 A. User Study: Gathering Intended Match Results....Pages 213-220 B. Proofs of Simplification Theorems....Pages 221-228 Back Matter....Pages - "This book presents a systematic study of the concepts and algorithms for generic model management. The first prototype of a generic model management system is described, the algebraic operators are introduced and analyzed, and novel algorithms for implementing them are developed. Using the prototype system and the operators presented, solutions are developed for several practically relevant problems, such as change propagation and reintegration."--Jacket