… 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]… 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]… 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]… 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]… 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:… 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]… . 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]… 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:… 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]… , 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]… Model-based software development promises to increase productivity by offering modeling languages tailored to a problem domain. Such modeling languages … and technological progress, these modeling languages and thus their metamodels are subject …
MoDELS 2008: 645-659 [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 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:… 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]… that use domain-specifi c modeling. Domain-specifi c modeling languages (DSMLs) evolve … the Model Change Language (MCL), a language and supporting framework aimed … number of invalid instance models that are no longer compliant with the metamodel …
In The 9th OOPSLA Workshop on Domain-Specific Modeling. 2009:… development for several reasons. Domain-specific modeling languages (DSMLs) are likely … the Model Change Language (MCL), aimed at satisfying these requirements. … software formalisms, often resulting in a large number of valuable instance models …
In Model Driven Engineering Languages and Systems. 2009: [doi]… Domain-Specific Modeling offers a language-based approach to raise the level … that are applied for defining languages that enable automated variant derivation. This categorization is based on analyzing over 20 industrial cases of DSM language …
SPLC 2005: 198-209 [doi]… Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically … of modeling languages. COPE provides adequate tool support by specifying the coupled …
In CVSM '09: Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models. 2009: [doi]… OMG’s MOF standard defines a four layer modelling architecture that enables software developers to quickly design their own domain specific modelling language … offers great flexibility in choosing an adequate modelling language, once …
In Models and Human Reasoning. Wissenschaft und Technik Verlag, Berlin, 2005.