VIDEAS: Supporting Answer-Set Program Development Using Model-Driven Engineering Techniques

Download Now Free registration required

Executive Summary

Recently, the techniques of Model-Driven Engineering (MDE) have been proven valuable to manage the complexity of modern software systems during the software development process. In the area of Answer-Set Programming (ASP), the focus is set so far on theoretical aspects, applications, and the development of efficient solvers, reducing the attention that is paid to the pragmatics of programming and assisting tools. To address this issue, the authors propose the MDE-based program development method VIDEAS by introducing explicit model-to-code mappings and code generation strategies ensuring compliant specification of facts and essential constraints.

  • Format: PDF
  • Size: 923 KB