Typechecking dependent types and subtypes
Lecture notes in computer science on Foundations of logic and functional programming
A syntactic approach to type soundness
Information and Computation
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
ATL: A model transformation tool
Science of Computer Programming
Model Driven Management of Complex Systems: Implementing the Macroscope's Vision
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Modeling in the large and modeling in the small
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A type theoretic framework for formal metamodelling
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
UniTI: a unified transformation infrastructure
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Automatically Discovering Hidden Transformation Chaining Constraints
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Toward a comparable characterization for software development activities in context of MDE
Proceedings of the 2011 International Conference on Software and Systems Process
MoScript: a DSL for querying and manipulating model repositories
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Typing artifacts in megamodeling
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in MDE-based projects. Global Model Management (GMM) addresses this issue enabling the representation of artifacts, particularly transformation composition and execution, by a model called a megamodel. Typing information about artifacts can be used for preventing type errors during execution. In this work, we present a type system for GMM that improves its current typing approach and enables formal reasoning about the type of artifacts within a megamodel. This type system is able to capture non-trivial situations such as the use of higher order transformations.