Skip to main content
Springer Nature Link
Log in

Correct OO Systems in Computational Logic

  • Conference paper
Logic Based Program Synthesis and Transformation (LOPSTR 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3018))

  • 196 Accesses

Abstract

Object Oriented Design Frameworks (OOD frameworks) are groups of interacting objects. We have formalised them in computational logic as open systems of interacting objects. Our formalisation is based on steadfast logic programs in the context of open specification frameworks. However, we have considered only the static aspects, namely the specification of constraints and the correctness of queries (programs that do not update the current state). In this paper we extend this static model, by introducing actions that update the current state.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. JACM 49(5), 672–713 (2002)

    Article  MathSciNet  Google Scholar 

  2. Atkinson, C., et al.: Component-based Product Line Engineering with UML. Addison-Wesley, Reading (2002)

    Google Scholar 

  3. Bourdeau, R.H., Cheng, B.H.C.: A formal semantics for object model diagrams. IEEE Trans. Soft. Eng. 21(10), 799–821 (1995)

    Article  Google Scholar 

  4. Brucker, A., Wolff, B.: A proposal for a formal OCL semantics in Isabelle/HOL. In: Carreño, V.A., Muñoz, C.A., Tahar, S. (eds.) TPHOLs 2002. LNCS, vol. 2410, pp. 99–114. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Clark, T., Evans, A.: Foundations of the Unified Modeling Language. In: 2nd BCSFACS Northern Formal Methods Workshop, http://ewic.bcs.org/conferences/1997/papers/paper6.htm

  6. Dresden OCL Toolkit, http://dresden-ocl.sourceforge.net

  7. D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)

    Google Scholar 

  8. Ehrich, H.-D.: Object specification. In: Astesiano, E., Kreowski, H.-J., Krieg- Brückner, B. (eds.) Algebraic Foundations of Systems Specifications, ch. 12, pp. 435–465. Springer, Heidelberg (1999)

    Google Scholar 

  9. Gamma, E., Helm, R., Johnson, R., Vlissades, J.: Design Patterns – Elements of Reusable Object-Oriented Design. Addison-Wesley, Reading (1994)

    Google Scholar 

  10. Larsen, G.: Designing component-based frameworks using patterns in the UML. Comms. ACM 42(10), 38–45 (1999)

    Article  Google Scholar 

  11. Lau, K.-K., Ornaghi, M.: On specification frameworks and deductive synthesis of logic programs. In: Fribourg, L., Turini, F. (eds.) LOPSTR 1994 and META 1994. LNCS, vol. 883, pp. 104–121. Springer, Heidelberg (1994)

    Google Scholar 

  12. Lau, K.-K., Ornaghi, M.: OOD frameworks in component-based software development in computational logic. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, pp. 101–123. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  13. Lau, K.-K., Ornaghi, M.: Isoinitial semantics for logic programs. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 223–238. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  14. Lau, K.-K., Ornaghi, M.: Correct object-oriented systems in computational logic. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol. 2372, pp. 168–190. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  15. Lau, K.-K., Ornaghi, M., Tärnlund, S.-Å.: Steadfast logic programs. J. Logic Programming 38(3), 259–294 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  16. Müller-Olm, M., Schmidt, D.A., Steffen, B.: Model-checking: A tutorial introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330–354. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  17. Response to the UML 2.0 OCL RfP (ad/2000-09-03). em OMG Document ad/2003- 01-07, http://www.omg.org/docs/ad/03-01-07.pdf

  18. Richters, M., Gogolla, M.: OCL: Syntax, semantics, and tools. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 42–68. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  19. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)

    Google Scholar 

  20. Shepherdson, J.C.: Negation as failure: a comparison of Clark’s completed data base and Reiter’s closed world assumption. J. Logic Programming 1, 51–79 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  21. The precise UML group, http://www.puml.org

  22. Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)

    Google Scholar 

  23. Wirsing, M.: Algebraic specification. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 675–788. Elsevier, Amsterdam (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Manchester, Manchester, M13 9PL, UK

    Kung-Kiu Lau

  2. Dipartimento di Scienze dell’Informazione, Universita’ degli studi di Milano, Via Comelico 39/41, 20135, Milano, Italy

    Mario Ornaghi

Authors
  1. Kung-Kiu Lau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mario Ornaghi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Katholieke Universiteit Leuven, Belgium

    Maurice Bruynooghe

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lau, KK., Ornaghi, M. (2004). Correct OO Systems in Computational Logic. In: Bruynooghe, M. (eds) Logic Based Program Synthesis and Transformation. LOPSTR 2003. Lecture Notes in Computer Science, vol 3018. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25938-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25938-1_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22174-6

  • Online ISBN: 978-3-540-25938-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics