OOASP: Connecting Object-oriented and Logic Programming
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 testing.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2015
- DOI:
- 10.48550/arXiv.1508.03032
- arXiv:
- arXiv:1508.03032
- Bibcode:
- 2015arXiv150803032F
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Software Engineering
- E-Print:
- 13 pages, 4 figures, accepted for publication at LPNMR 2015