Validation and Verification in Domain-Specific Modeling Method Engineering

2021 ◽  
pp. 119-133
Author(s):  
Qin Ma ◽  
Monika Kaczmarek-Heß ◽  
Sybren de Kinderen
Author(s):  
Oliver Schönherr ◽  
Falk Stefan Pappert ◽  
Oliver Rose

In this chapter, the authors present an approach for developing a simulation-tool-independent description of manufacturing systems and how to convert such a general model into simulation-tool-specific models. They show why we need standards for these discrete processes, what the state of the art is, why SysML has the chance to become a standard in modeling discrete systems, and how to use it. The authors present SysML and explain how to model discrete systems with it. For that, they explain the concept of domain-specific modeling in detail. They furthermore have a look at model-to-model transformations and its validation and verification. Finally, the authors examine different SysML modeling tools and how to improve the usability of SysML tools for engineers.


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.


Sign in / Sign up

Export Citation Format

Share Document