Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

Mosteller, David; Haustermann, Michael; Moldt, Daniel; Schmitz, Dennis

doi:10.1007/978-3-662-60651-3_4

Cited by 3 publications

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Business operations are associated with executable elements, and executed before, during, or after the execution of the targeted element. David Mosteller et al present a simulation environment for prototyping and running DSMLs, providing a simulation feedback through a graphical view [37]. Ábel Hegedüs et al present a generic replay mechanism for execution traces of dynamic modeling languages [28].…”

Section: Related Workmentioning

confidence: 99%

Annotating executable DSLs with energy estimation formulas

Fosse

Tisi

Mottu

et al. 2020

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering

View full text Add to dashboard Cite

Reducing the energy consumption of a complex, especially cyber-physical, system is a cross-cutting concern through the system layers, and typically requires long feedback loops between experts in several engineering disciplines. Having an immediate automatic estimation of the global system consumption at design-time would significantly accelerate this process, but cross-layer tools are missing in several domains.Executable domain-specific modeling languages (xDSLs) can be used to design several layers of the system under development in an integrated view. By including the behavioral specification for software and physical components of the system, they are an effective source artifact for cross-layer energy estimation.In this paper we propose EEL, a language for annotating xDSL primitives with energy-related properties, i.e. how their execution would contribute to the energy consumption on a specific runtime platform. Given an xDSL, energy specialists create EEL models of that xDSL for each considered runtime platform. The models are used at design time, to predict the energy consumption of the real systems. This avoids the need of energetic analysis by deployment and measurement on all runtime platforms, that is slow and expensive.We augment an existing language workbench for xDSLs with an editor for EEL models and a component that computes energy-consumption estimations during model editing. The evaluation shows that EEL can be used to represent

show abstract

Section: Related Workmentioning

confidence: 99%

Annotating executable DSLs with energy estimation formulas

Fosse

Tisi

Mottu

et al. 2020

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering

View full text Add to dashboard Cite

show abstract

Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets

Haustermann

Mosteller

Moldt

2021

Application and Theory of Petri Nets and Concurrency

View full text Add to dashboard Cite

SCLang: Graphical Domain-Specific Modeling Language for Stream Cipher

Qassir

Gaata

Sadiq

2023

Cybernetics and Information Technologies

View full text Add to dashboard Cite

A Stream Cipher (SC) is a symmetric-key encryption type that scrambles each piece of data in clear text to conceal it from hackers. Despite its advantages, it has a substantial challenge. Correct handwriting of the script code for the cipher scheme is a challenge for programmers. In this paper, we propose a graphical Domain-Specific Modeling Language (DSML) to make it easier for non-technical users and domain specialists to implement an SC domain. The proposed language, SCLang, offers great expressiveness and flexibility. Six different methods of keystream generation are provided to obtain a random sequence. In addition, fifteen tests in the NIST suite are provided for random statistical analysis. The concepts of the SC domain and their relationships are presented in a meta-model. The evaluation of SCLang is based on qualitative analysis and is presented to demonstrate its effectiveness and efficiency.

show abstract

Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

Cited by 3 publications

References 26 publications

Annotating executable DSLs with energy estimation formulas

Annotating executable DSLs with energy estimation formulas

Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets

SCLang: Graphical Domain-Specific Modeling Language for Stream Cipher

Contact Info

Product

Resources

About