| Kurzfassung
|
Developing domain-specific languages (DSLs), particularly executable DSLs (xDSLs), is a complex task. This complexity often reduces the integration of domain experts during the development of a DSL, which can result in DSLs and tools that do not fulfil the user’s requirements. To reduce the complexity of defining the execution semantics of xDSLs, this work proposes an approach to infer the operational execution semantics of a DSL in the form of OCL based on examples that could be provided by a non-language expert. The inference is done using genetic programming and is experimentally evaluated. The results indicate that the approach of this work can be used to infer simple invariants but needs further improvements to possibly infer more complex invariants.
|
