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
Using dependent types to express modular structure
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Typing Textual Entities and M2T/T2M Transformations in a Model Management Environment
SCCC '09 Proceedings of the 2009 International Conference of the Chilean Computer Science Society
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
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
On the customization of model management systems for file-centric IDEs
Proceedings of the 2013 ACM workshop on Domain-specific modeling
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 model-driven engineering-based projects. Global model management (GMM) addresses this issue by enabling the representation of artifacts, particularly transformation composition and execution, within a model called a megamodel. Type information about artifacts can be used for preventing type errors during execution. Built on our previous work, in this paper we present the core elements of a type system for GMM that improves its original typing approach and enables both typechecking and type inference on artifacts within a megamodel. This type system is able to deal with non-trivial situations such as the use of higher order transformations. We also present a prototypical implementation of such a type system.