OOASP: Connecting Object-oriented and Logic Programming
This addresses software engineers' need for lightweight verification and transformation tools during design and testing, though it appears incremental as it builds on existing ASP and object-oriented methods.
The paper tackles the problem of modeling errors in object-oriented software development by integrating Answer Set Programming (ASP) into the process, enabling reasoning about models and their instantiations, with preliminary results showing it can verify, create, and transform object model instantiations at runtime.
Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases -- during which software engineers analyze requirements to the future system using some modeling language -- are an important part of the development process, since modeling errors are often hard to recognize and correct. In this paper we present a framework which allows the integration of Answer Set Programming into the object-oriented software development process. OOASP supports reasoning about object-oriented software models and their instantiations. Preliminary results of the OOASP application in CSL Studio, which is a Siemens internal modeling environment for product configurators, show that it can be used as a lightweight approach to verify, create and transform instantiations of object models at runtime and to support the software development process during design and testing.