Martina Seidl, J. Oetsch, J. Puehrer, H. Tompits, P. Zwickl,
"VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques"
: Proceedings of the MELO 2011Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?", (2011), 6-2011
Original Titel:
VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the MELO 2011Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?", (2011)
Original Kurzfassung:
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, we 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. Its practical applicability is realised on the basis of a prototypical implementation
Forschungs-