Towards Dynamic Semantics for Synthesizing Interpreted DSMLs

Author(s):  
Peter J. Clarke ◽  
Yali Wu ◽  
Andrew A. Allen ◽  
Frank Hernandez ◽  
Mark Allison ◽  
...  

Domain-specific languages (DSLs) provide developers with the ability to describe applications using language elements that directly represent concepts in the application problem domains. Unlike general-purpose languages, domain concepts are embedded in the semantics of a DSL. In this chapter, the authors present an interpreted domain-specific modeling language (i-DSML) whose models are used to specify user-defined communication services, and support the users’ changing communication needs at runtime. These model changes are interpreted at runtime to produce events that are handled by the labeled transition system semantics of the i-DSML. Specifically, model changes are used to produce scripts that change the underlying communication structure. The script-producing process is called synthesis. The authors describe the semantics of the i-DSML called the Communication Modeling Language (CML) and its use in the runtime synthesis process, and briefly describe how the synthesis process is implemented in the Communication Virtual Machine (CVM), the execution engine for CML models.

2014 ◽  
pp. 1439-1466
Author(s):  
Peter J. Clarke ◽  
Yali Wu ◽  
Andrew A. Allen ◽  
Frank Hernandez ◽  
Mark Allison ◽  
...  

Domain-specific languages (DSLs) provide developers with the ability to describe applications using language elements that directly represent concepts in the application problem domains. Unlike general-purpose languages, domain concepts are embedded in the semantics of a DSL. In this chapter, the authors present an interpreted domain-specific modeling language (i-DSML) whose models are used to specify user-defined communication services, and support the users' changing communication needs at runtime. These model changes are interpreted at runtime to produce events that are handled by the labeled transition system semantics of the i-DSML. Specifically, model changes are used to produce scripts that change the underlying communication structure. The script-producing process is called synthesis. The authors describe the semantics of the i-DSML called the Communication Modeling Language (CML) and its use in the runtime synthesis process, and briefly describe how the synthesis process is implemented in the Communication Virtual Machine (CVM), the execution engine for CML models.


2021 ◽  
Vol 11 (12) ◽  
pp. 5476
Author(s):  
Ana Pajić Simović ◽  
Slađan Babarogić ◽  
Ognjen Pantelić ◽  
Stefan Krstović

Enterprise resource planning (ERP) systems are often seen as viable sources of data for process mining analysis. To perform most of the existing process mining techniques, it is necessary to obtain a valid event log that is fully compliant with the eXtensible Event Stream (XES) standard. In ERP systems, such event logs are not available as the concept of business activity is missing. Extracting event data from an ERP database is not a trivial task and requires in-depth knowledge of the business processes and underlying data structure. Therefore, domain experts require proper techniques and tools for extracting event data from ERP databases. In this paper, we present the full specification of a domain-specific modeling language for facilitating the extraction of appropriate event data from transactional databases by domain experts. The modeling language has been developed to support complex ambiguous cases when using ERP systems. We demonstrate its applicability using a case study with real data and show that the language includes constructs that enable a domain expert to easily model data of interest in the log extraction step. The language provides sufficient information to extract and transform data from transactional ERP databases to the XES format.


Author(s):  
Bahman Zamani ◽  
Shiva Rasoulzadeh

This article describes how experience in domain specific modeling can be captured and abstracted in a domain specific modeling language (DSML). Modeling with a DSML results in quality models. Patterns of enterprise application architecture (PofEAA) is a rich set of patterns that can be used by designers when designing (modeling) web-based enterprise applications. This article aims at defining a DSML based on PofEAA patterns, as well as providing tool support for designing web-based enterprise applications that use these patterns. The authors have built a DSML using the profile extension mechanism of UML, by defining stereotypes. In addition to the proposed profile, this article has implemented the structure and behavior of PofEAA patterns in Rational Software Architecture (RSA) which is resulted in a tool that facilitates the design of software for designers. To show the usefulness of the tool, it is used for modeling two small systems based on the PofEAA patterns. The results show that many of the design is automated and the modeling speed is increased.


Author(s):  
Alexander Bartel ◽  
Georg Hagel ◽  
Christian Wolff

This contribution describes the Emendo toolchain which enables the effective creation and implementation of gamified learning arrangements for online learning settings based on the domain-specific modeling approach. The components of Emendo are a domain-specific modeling language, a generator which transforms models based on the language into source code as well as the embedding of the latter in a learning management system. Scenarios for the usage of Emendo for teaching and learning are presented with respect to the functionalities of the toolchain. In addition, a qualitative evaluation concerning Emendo’s goals, concept and insights on the results is given. The evaluation shows that Emendo reaches high acceptance for teaching purposes and can serve as a promising means for the digitisation of teaching and learning.


2010 ◽  
Vol 20 ◽  
pp. 80-87
Author(s):  
Loïc Besnard ◽  
Thierry Gautier ◽  
Julien Ouy ◽  
Jean-Pierre Talpin ◽  
Jean-Paul Bodeveix ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document