Advertisement

OOASP: Connecting Object-Oriented and Logic Programming

  • Andreas Falkner
  • Anna Ryabokon
  • Gottfried Schenner
  • Kostyantyn Shchekotykhin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9345)

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.

Keywords

Object-oriented modeling Answer set programming Product configuration Software systems 

References

  1. 1.
    Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)CrossRefGoogle Scholar
  2. 2.
    Cabot, J., Clariso, R., Riera, D.: Verification of UML/OCL class diagrams using constraint programming. In: ICST Workshop, pp. 73–80 (2008)Google Scholar
  3. 3.
    Dhungana, D., Falkner, A.A., Haselböck, A.: Generation of conjoint domain models for system-of-systems. In: GPCE, pp. 159–168 (2013)Google Scholar
  4. 4.
    Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 40–110. Springer, Heidelberg (2009) Google Scholar
  5. 5.
    Falkner, A., Schenner, G., Friedrich, G., Ryabokon, A.: Testing object-oriented configurators with ASP. In: ECAI Workshop on Configuration, pp. 21–26 (2012)Google Scholar
  6. 6.
    Falkner, A., Haselböck, A.: Challenges of knowledge evolution in practice. AI Commun. 26, 3–14 (2013)MathSciNetGoogle Scholar
  7. 7.
    Fleischanderl, G., Friedrich, G., Haselböck, A., Schreiner, H., Stumptner, M.: Configuring large systems using generative constraint satisfaction. IEEE Intell. Syst. 13(4), 59–68 (1998)CrossRefGoogle Scholar
  8. 8.
    Friedrich, G., Ryabokon, A., Falkner, A.A., Haselböck, A., Schenner, G., Schreiner, H.: (Re) configuration based on model generation. In: LoCoCo Workshop, pp. 26–35 (2011)Google Scholar
  9. 9.
    Gebser, M., Kaminski, R., König, A., Schaub, T.: Advances in gringo series 3. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 345–351. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  10. 10.
    Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: AAAI, pp. 448–453 (2008)Google Scholar
  11. 11.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming, pp. 1070–1080 (1988)Google Scholar
  12. 12.
    Oetsch, J., Pührer, J., Tompits, H.: Catching the Ouroboros: on debugging non-ground answer-set programs. TPLP 10(4–6), 513–529 (2010)MATHGoogle Scholar
  13. 13.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Boston (2005)Google Scholar
  14. 14.
    Schanda, F., Brain, M.: Using answer set programming in the development of verified software. In: ICLP, pp. 72–85 (2012)Google Scholar
  15. 15.
    Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138, 181–234 (2002)MATHCrossRefGoogle Scholar
  16. 16.
    Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML/OCL models using Boolean satisfiability. In: DATE, pp. 1341–1344 (2010)Google Scholar
  17. 17.
    Sterling, L.S., Shapiro, E.Y.: The Art of Prolog: Advanced Programming Techniques. MIT Press, Cambridge (1994)MATHGoogle Scholar
  18. 18.
    Stumptner, M., Friedrich, G., Haselböck, A.: Generative constraint-based configuration of large technical systems. AI EDAM 12, 307–320 (1998)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Andreas Falkner
    • 1
  • Anna Ryabokon
    • 2
  • Gottfried Schenner
    • 1
  • Kostyantyn Shchekotykhin
    • 2
  1. 1.Siemens AG ÖsterreichViennaAustria
  2. 2.Alpen-Adria-Universität KlagenfurtKlagenfurtAustria

Personalised recommendations