OOASP: Connecting Object-oriented and Logic Programming
Andreas Falkner, Anna Ryabokon, Gottfried Schenner and, Kostyantyn Shchekotykhin

TL;DR
This paper introduces OOASP, a framework integrating Answer Set Programming with object-oriented modeling to improve verification, creation, and transformation of software models during development and testing.
Contribution
It presents a novel framework that connects object-oriented modeling with logic programming, enabling reasoning about models and their instantiations.
Findings
Effective in verifying object models
Supports runtime instantiation transformations
Enhances software development and testing processes
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies
