Using Grammarware Languages to Define Operational Semantics of Modelled Languages

Sadilek, Daniel A.; Wachsmuth, Guido

doi:10.1007/978-3-642-02571-6_20

Cited by 14 publications

(6 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the translational approaches (Chen et al, 2005;Di Ruscio et al, 2006;Romero et al, 2007;Gargantini et al, 2009;Sadilek and Wachsmuth, 2009;Simko et al, 2012;Simko, 2014), the semantics of a modeling language are specified as a mapping from the metamodel of the underlying language to a metamodel of another language which already has a wellknown semantics, e.g. abstract state machines (Gurevich, 1995).…”

Section: Formal Approaches For Semantics Specifications Of Modeling Lmentioning

confidence: 99%

An Integrated Framework to Specify Domain-Specific Modeling Languages

Zarrin

Baumeister

2018

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development

View full text Add to dashboard Cite

Abstract:In this paper, we propose an integrated framework that can be used by DSL designers to implement their desired graphical domain-specific languages. This framework relies on Microsoft DSL Tools, a meta-modeling framework to build graphical domain-specific languages, and an extension of ForSpec, a logic-based specification language. The drawback of MS DSL Tools is it does not provide a formal and rigorous approach for semantics specifications. In this framework, we use Microsoft DSL Tools to define the metamodel and graphical notations of DSLs, and an extended version of ForSpec as a formal language to define their semantics. Integrating these technologies under the umbrella of Microsoft Visual Studio IDE allows DSL designers to utilize a single development environment for developing their desired domain-specific languages.

show abstract

Section: Formal Approaches For Semantics Specifications Of Modeling Lmentioning

confidence: 99%

An Integrated Framework to Specify Domain-Specific Modeling Languages

Zarrin

Baumeister

2018

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development

View full text Add to dashboard Cite

show abstract

“…Finally, in [10,25] different approaches are taken to assign dynamic semantics of dsls in the context of mde. Here, dynamics are assigned through Abstract State Machines (asms) [4], with extensions to Prolog [30] and Scheme [15].…”

Section: Related Workmentioning

confidence: 99%

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study

Stappers

Weber

Reniers

et al. 2012

Software Language Engineering

View full text Add to dashboard Cite

Abstract. This paper describes the process of formalizing an existing, industrial domain specific language (dsl) that is based on the taskresource paradigm. Initially, the semantics of this dsl is defined informally and implicitly through an interpreter. The formalization starts by projecting the existing concrete syntax onto a formal abstract syntax that defines the language operators and process terms. Next, we define the dynamic operational semantics at the level of individual syntactical notions, using structural operational semantics (sos) as a formal metalanguage. Here, the impact of the formalization process on the dsl is considered in terms of disambiguation of underlying (semantic) language design decisions.

show abstract

“…The xText (Behrens, Clay, Efftinge, 2010) and the works of Wimmer et al (Wimmer, Kramler, 2005) and (Kunert, 2006) are examples of grammarbased approaches. Operational semantics of modelled languages in modelware TS can be described formally as well (Sadilek, Wachsmuth, 2009).…”

Section: Bridge Grammarware To Modelwarementioning

confidence: 99%

Towards the Automatic Architecture Driven Software Modernization

Birov¹,

Todorova²

2011

Proceedings of the First International Symposium on Business Modeling and Software Design

View full text Add to dashboard Cite

In this paper, we describe a strategy for implementing source code analysis, model extraction, edition and analysis and code generation tools that can be applied to a software modernization of existing legacy software intensive system. As well we present an integrated approach focused on model driven architecture for software modernizations. Started with an extraction models from source code and other available software artefacts, transforming these models in order to obtain modern structure of software, and then generate a code from these models. Bussiness modeling tools and models naturally fits in the proposed constuction. A tools implementing domain specific languages are integrated into framework in vertical pipeline toolsuite.

show abstract

Using Grammarware Languages to Define Operational Semantics of Modelled Languages

Cited by 14 publications

References 8 publications

An Integrated Framework to Specify Domain-Specific Modeling Languages

An Integrated Framework to Specify Domain-Specific Modeling Languages

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study

Towards the Automatic Architecture Driven Software Modernization

Contact Info

Product

Resources

About