2015/08/12 by Andreas Falkner, Falkner, Andreas, Anna Ryabokon +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies #Software Engineering (cs.SE) #cs.AI #cs.SE
paper · pdf · doi:10.48550/arxiv.1508.03032
13 pages, 4 figures, accepted for publication at LPNMR 2015
arxiv created 2015/08/12 · openalex publication_date 2015/08/12 · arxiv updated 2015/08/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.