… Domain-specific modelling languages provide modelling means tailored … such languages by modelling means as well. In this paper, we investigate structural operational semantics for domain-specific modelling languages. Thereby, we rely …
GTTSE 2007: 506-520 [doi]… , despite the availability of model query languages due to performance …-based query language for EMF models by adapting the query language of the VIATRA2 …, but to properly tailor the new query language to the modeling specificities of EMF …
ICMT 2011: 167-182… operational semantics of modelled languages. Integration is based on three bridges …, unified framework for prototyping operational semantics of modelled languages … and modelling framework. We applied our approach to integrate Abstract State …
TOOLS 2009: [doi]… We propose an approach for embedding Domain-Specific Modelling Languages (DSML) into Maude, based on representing models and metamodels as Maude specifications … modelling languages: model-to-metamodel conformance, operational semantics …
ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]… . If implemented using a general-purpose programming language, the underlying model …) has been to create a language for modelling landscape dynamics that provides … that arise in model development. Our high-level, structured language separates …
Ecological Modelling, 141(1-3):1-18, 2001. [doi]… in the integration of modeling languages, as an essential part of the globalization process. It covers the foundations of language integration, the definition … of modeling languages. …
In Globalizing {Domain}-{Specific} Languages. Volume 9400 of pages 43-69, Springer International Publishing, Cham, 2015. [doi]… modelling languages (DSML). The approach uses standard model-driven engineering … operational semantics (using model transformations). We give formal meanings to these artifacts by translating them to the Maude language: metamodels and models …
SoSyM, , 2012.… Domain Specific Modeling Languages (DSMLs) are essential elements in Model-based Engineering. Each DSML allows capturing certain properties of the system, while … of viewpoint unification, and its realization using model-driven techniques. …
In Proc. of the European Conference on Models Foundations and Applications (ECMFA 2010). 2010:… . In this paper, we present WebWorkFlow, an object-oriented workflow modeling language … development, with workflow abstractions. The extension is implemented by means of model-to-model transformations. Rather than providing an exclusive workflow language …
MoDELS 2008: 113-127 [doi]… modelling languages (DSML). The approach uses standard model-driven engineering … operational semantics (using model transformations). We give formal meanings to these artifacts by translating them to the Maude language: metamodels and models …
SoSyM, 12(4):847-869, 2013. [doi]… languages tailored to a specific domain. Such modeling languages are typically … of modeling languages. This paper introduces COPE, an integrated approach to specify … existing modeling languages. …
In ECOOP 2009 - Object-Oriented Programming. 2009: [doi]… Specific Modelling Languages (DSML) in terms of metamodels. The behaviour … language of a model checker for analysis, or general programming language … semantics, and we illustrate it on xSPEM, a timed process modelling language. …
In Seventh European Conference on Modelling Foundations and Applications. 2011:… about source code. For models and modeling languages, the concepts of reuse … modeling languages (DSLs). This paper attempts to give an overview of techniques for including support for reuse and library concepts both in the meta-model …
In LDTA '09: 9th Workshop on Language Descriptions, Tools and Applications. 2009:… Domain-specific modeling promises to increase productivity by offering modeling languages tailored to a problem domain. Such modeling languages are typically …. Manually migrating models to a new version of their corresponding metamodel …
In 1st International Workshop on Model Co-Evolution and Consistency Management. 2008:… The emergence of the model-driven development paradigm has revitalized interest in domain-specific languages. Embedding a DSL in a dynamic language facilitates … for a model-driven development tool. For this domain, it’s possible to achieve …
IEEE Software, 24(5):48-55, 2007. [doi]… We propose a formal approach for the definition of domain-specific modelling languages (DSMLs). The approach uses basic Model-Driven Engineering artifacts … model transformations). We give formal meanings to these artifacts by mapping …
Preprint 2011.… We propose a formal approach for the definition of domain-specific modelling languages (DSMLs). The approach uses basic Model-Driven Engineering artifacts … model transformations). We give formal meanings to these artifacts by mapping …
foveoos 2012: 214-231 [doi]… in practice. This paper presents a case study on the evolution of four modeling languages provided by the Graphical Modeling Framework. It investigates the following … languages are subject to change. The changes affect the language’s specification …
SLE 2009: 3-22 [doi]… modelling languages (DSML). The approach uses standard model-driven engineering … operational semantics (using model transformations). We give formal meanings to these artifacts by translating them to the Maude language: metamodels and models …
Software and Systems Modeling (Preprint) 2012.… , and potential applicability to visual and modelling languages. References …These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some …
ENTCS, 148(1):41-73, 2006. [doi]