# OOASP: Connecting Object-oriented and Logic Programming

arXiv: https://arxiv.org/abs/1508.03032 · HTML: https://mlsanity.com/paper/1508.03032/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Aug 2015.

## Built on by (most cited first, 3 of 3)

- [Applying Incremental Answer Set Solving to Product Configuration](https://mlsanity.com/paper/2207.08599/) (2022)
- [Smart Expansion Techniques for ASP-based Interactive Configuration](https://mlsanity.com/paper/2507.21027/) (2025)
- [Product Configuration in Answer Set Programming](https://mlsanity.com/paper/2109.08304/) (2021)

## Abstract (arXiv)

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.