Abstract

Global Model Management (GMM) is a model-based approach for managing large sets ofinterrelated heterogeneous and complex MDE artifacts. Such artifacts are usually representedas models, however as many Domain Specific Languages have a textual concrete syntax,GMM also supports textual entities and model-to-text/text-to-model transformations whichare projectors that bridge the MDE technical space and the Grammarware technical space. Asthe transformations supported by GMM are executable artifacts, typing is critical forpreventing type errors during execution. We proposed the cGMM calculus which formalizesthe notion of typing in GMM. In this work, we extend cGMM with new types and rules forsupporting textual entities and projectors. With such an extension, those artifacts mayparticipate in transformation compositions addressing larger transformation problems. Weillustrate the new constructs in the context of an interoperability case study.

Highlights

  • Models have been increasingly used in the last decades by software developers for coping with the growing complexity of computer-based systems

  • Since currently the only language for that matter that is supported in Global Model Management (GMM) is Textual Concrete Syntax (TCS), we introduce the following two rules: M2TTransformation and T2MTransformation are the types of all model-to-text and text-to-model transformations respectively, regardless of the concrete realization technology

  • From an Model-Driven Engineering (MDE) technical space perspective, external representations of artifacts are in some cases needed and required

Read more

Summary

INTRODUCTION

Models have been increasingly used in the last decades by software developers for coping with the growing complexity of computer-based systems. MDE-based projects involve a variety of artifacts such as models, metamodels, transformations, and so on. Global Model Management (GMM) [1] is a model-based approach for managing MDE artifacts. Some artifacts involved in an MDE-based project may have an alternate representation which is considered to be external with respect to the realm of models. The ae representation of a could be required per se, and can be more appropriately manipulated either manually by a developer or automatically by existing external tools. In [5] we showed that such an approach cannot appropriately handle non-trivial cases, and we proposed the cGMM calculus which formally addresses typing in GMM. GMM currently supports TCS models and textual representations of artifacts; their.

BACKGROUND
EXAMPLE
IMPLEMENTATION
CONCLUSION
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.