Generic Model Management: Concepts and Algorithms
Book information
Description
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.
Similar books
Specification of Software Systems
2011 · PDF
Software Engineering 1: Abstraction and Modelling
2006 · PDF
Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
2012 · PDF
Answer Set Programming
2019 · PDF
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
2019 · PDF
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
2015 · PDF
Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
2015 · PDF
Logic and Algebra of Specification
1993 · DJVU