Model driven engineering languages and systems

Más información sobre el libro

This comprehensive collection covers a wide range of topics in model transformation and related methodologies. It addresses bidirectional model transformations in QVT, exploring semantic issues and open questions, and reconciles TGGs with QVT. The content delves into unified transformation infrastructures and modeling constraints, emphasizing guided development across multiple domain-specific languages. It includes empirical studies on OCL specifications, meta-modeling, and a meta-driven approach to empower developers and end users. Key discussions involve improving inconsistency resolution, model composition in product lines, and automated semantic analysis of design models. The text also focuses on piecewise modeling, operation contracts derived from UML diagrams, and user interface design management. It presents a business-process-driven approach for generating e-commerce user interfaces and enhances UML extensions with operational semantics. Additional topics include domain-specific modeling methodologies, service modeling with UML2 profiles, and automatic generation of workflow-extended domain models. The analysis section covers meta- and model-level reasoning techniques and a metamodel-based approach for security-design model analysis. Lastly, it touches upon incremental modeling processes, variability in aspect-oriented modeling, and debugging support for model transformations, while also highlighting workshops and t