OOASP：连接面向对象和逻辑编程
OOASP: Connecting Object-oriented and Logic Programming
摘要：
大多数现代软件系统都是使用面向对象的方法实现的。建模阶段--软件工程师使用某种建模语言分析未来系统的需求--是开发过程的重要组成部分，因为建模错误通常很难识别和纠正。在本文中，我们提出了一个框架，它允许集成的答案集编程到面向对象的软件开发过程。OOASP支持面向对象软件模型及其实例化的推理。在CSL Studio，这是西门子内部建模环境的产品配置器，OOASP应用程序的初步结果表明，它可以作为一个轻量级的方法来验证，创建和转换实例的对象模型在运行时，并支持软件开发过程中的设计和测试。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
