Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition

Simko, Gabor; Lindecker, David; Levendovszky, Tihamér; Neema, Sandeep; Sztipanovits, János

doi:10.1007/978-3-642-41533-3_29

Cited by 24 publications

(15 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…ForSpec extends FORMULA with goal-driven and functional terms, semantic functions and semantic equations to provide support for operational, denotational and translational style specifications. ForSpec also has been used to specify the denotational semantics of a bond graph language, which is a physical modeling language (Simko et al, 2012), and to specify the structural and behavioral semantics of a cyberphysical system modeling language (Simko et al, 2013). In the following, we briefly introduce these extensions.…”

Section: Forspec Languagementioning

confidence: 99%

“…We combine MS DSL-Tools and an extended version of ForSpec (Simko et al, 2013), a logic-based specification language which is an extension of FORMULA developed at Microsoft Research, under the Visual Studio umbrella. This work is motivated by the lack of supporting a formal approach by DSL Tools for specifying the semantics of the DSML proposed in an experience paper (Zarrin and Baumeister, 2014).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

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: Forspec Languagementioning

confidence: 99%

Section: Introductionmentioning

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

“…Schätz discusses the verification of declarative relational model transformations using an interactive theorem prover in [Sch10]. Our work differs primarily by considering the special case where the transformation is a semantic mapping and by the use of informal design intentions as a validation basis.…”

Section: Related Workmentioning

confidence: 99%

Validating Transformations for Semantic Anchoring .

Lindecker¹,

Simko²,

Levendovszky³

et al. 2015

JOT

Self Cite

View full text Add to dashboard Cite

Making Domain-Specific Modeling Languages a part of a tool chain, a part of a proven development process, or the subject of verification cannot be achieved without the precise specification of the language and the models expressed in it. Defining formal semantics for modeling languages is a widely accepted solution to this problem. We have developed methods, techniques and processes to provide a systematic mapping -which we call semantic anchoring -that support the scaling of these formal definitions to large modeling languages. Although a semantic mapping is a definition and behaves as a set of axioms for formal verification, we argue that a semantic mapping can conflict with the informal intentions of the language designer, resulting in a counterintuitive DSML, and should therefore be validated. This paper proposes a solution that involves formalizing the language designer's intentions about the semantic mapping and validating the consistency between the two by applying model finding techniques.

show abstract

“…The interaction might have behavioral, structural, or conceptual meaning. If the semantics of the interaction is restricted only to some shared aspects of the semantics of the individual modeling languages, then the problem can be solved effectively by the specification of a model integration language [24] that includes the specification of a semantic interface for the individual modeling languages and the specification of integration constructs that are not part of either of the integrated modeling languages but support the integration of the models across the semantic interfaces. In the C2WT case study, the purpose of the model integration is the coordination of timed behavior of objects in a 3D space using various forms of communication.…”

Section: Model Integration Challengementioning

confidence: 99%

Motivating Use Cases for the Globalization of DSLs

Cheng

Degueule

Atkinson

et al. 2015

Globalizing Domain-Specific Languages

Self Cite

View full text Add to dashboard Cite

Abstract. The development of complex software-intensive systems involves many stakeholders who contribute their expertise on specific aspects of the system under construction. Domain-specific languages (DSLs) are typically used by stakeholders to express their knowledge of the system using dedicated tools and abstractions. In this chapter, we explore different scenarios that lead to the globalization of DSLs through two motivating case studies -a command and control wind tunnel and a smart emergency response system -and outline the concrete engineering challenges they raise. Finally, we list some of the general research challenges related to the globalization of DSMLs and discuss some promising approaches for addressing them.

show abstract

Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition

Cited by 24 publications

References 25 publications

An Integrated Framework to Specify Domain-Specific Modeling Languages

An Integrated Framework to Specify Domain-Specific Modeling Languages

Validating Transformations for Semantic Anchoring .

Motivating Use Cases for the Globalization of DSLs

Contact Info

Product

Resources

About