SIGMA

The documentation is under construction, for more information please contact us.

About

Sigma, a family of internal DSLs embedded in Scala for EMF model manipulation. Currently it consists of DSLs for model consistency checking, model-to-model (M2M) and model-to-text (M2T) transformation. All these DSLs are build on a common infrastructure that provides a convenient model navigation and modification operations. It combines the benefits of external model manipulation DSLs with general-purpose programming taking full advantage of Scala versatility, performance and tool support.

Publications

• Filip Křikava, Philippe Collet and Robert France. “Manipulating Models Using Internal Domain-Specific Languages” in Proceedings of the 29th Symposium On Applied Computing (SAC), 2014.
• Filip Křikava and Philippe Collet. “On the Use of an Internal DSL for Enriching EMF Models” in Proceedings of the 2012 International Workshop on OCL and Textual Modelling (OCL), 2012.

Who is using Sigma

• The ACTRESS project
• The YourCast project

Presentation

• Filip Křikava. Enriching EMF Models with Scala (quick overview), EclipseCon’12 Europe Modeling Symposium, October 2012

• Filip Křikava, Philippe Collet. On the Use of an Internal DSL for Enriching EMF Models, OCL’12 Workshop, September 2012

Contact

SIGMA is being developed by the MODALIS team from I3S Laboratory and SPIRALS team from INRIA Lille.

For further information, please contact:

• Philippe Collet
• Filip Křikava
• or visit SIGMA github project

Acknowledgement

This work has been partly funded by the ANR SALTY project under contract ANR-09-SEGI-012.

Documentation

Model Navigation and Modification

The common infrastructure facilitating model navigation and modification operations.

Model Delegates

Support for implementing derived features and operation bodies directly in Scala.

Model Consistency Checking

A DSL for model consistency checking.

M2M Transformation

A DSL for model-to-model transformation.

M2T Transformation

A DSL for model-to-text transformation.

Model Workflow Orchestration

A DSL for orchestrating model manipuation workflows.