Skip to main content
SpringerLink
Log in

Towards a Consistent Viewpoint on Consistency for Persistent Applications

  • Conference paper
  • First Online:
Objects and Databases (SODB 2000)

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

Included in the following conference series:

Abstract

Orthogonally persistent systems allow the use of a single object model to handle programs and data independently of their persistent condition. However, there is not yet any means to specify and control consistency in a single way, that is both program correctness and data integrity. This paper describes how the use of assertions can be extended to some important stages of the persistent application’s life cycle: design, implementation, testing and evolution. We present our on-going implementation, the NightCap system, which aims at integrating assertions, with a mapping of the Object Constraint Language to Java, into a orthogonally persistent platform, namely PJama.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. Alagić, S., Solorzano, J., Gitchell, D., Orthogonal to the Java Imperative In Proc. of the 12th European Conf. on Object Oriented Programming (ECOOP’98).

    Google Scholar 

  2. Atkinson, M. P., Daynès, L., Jordan, M. J., Printezis T., Spence S., An Orthogonally Persistent Java, ACM SIGMOD Record (25)4, December 1996.

    Google Scholar 

  3. Atkinson, M. P., Morrison, P. Orthogonally Persistent Object Systems, VLDB Journal, 4(3), 1995.

    Google Scholar 

  4. Bauzer-Medeiros, C., Pfeffer, P, Object Integrity Using Rules, In Proc. of the 5th European Conference on Object Oriented Programming (ECOOP’91).

    Google Scholar 

  5. Benzaken, V., Doucet, A., Thémis: A Database Programming Language Handling Integrity Constraints, VLDB Journal, 4(3), 1995.

    Google Scholar 

  6. Benzaken, V., Schaefer, X., Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformer. In Proc. of the 11th European Conf. on Object Oriented Programming (ECOOP’97).

    Google Scholar 

  7. Cattell, R.G.G. (ed.) The Object Database Standard: ODMG 2.0, Morgan Kaufmann Publishers, 1997.

    Google Scholar 

  8. Collet, P., The OCL-J Specification, Technical Report, I3S Laboratory. Feb. 2000.

    Google Scholar 

  9. Collet, P., Rousseau, R., Assertions are Objects Too! In Proc. of the 1st White Object-Oriented Nights (WOON’96), St-Petersburg, Martinus Nijhoff Intern., 1996.

    Google Scholar 

  10. Collet, P., Rousseau, R., Towards Efficient Support for Executing the Object Constraint Language, In Int. Conf. on Technology of Object-Oriented Languages and Systems (Tools 30, USA’99), Santa Barbara (Cal.), August 1-5, 1999, IEEE Computer Society Press.

    Google Scholar 

  11. Collet, P., Rousseau, R., Efficient Implementation Techniques for Advanced Assertion Languages, In L’Objet, 5(4), Hermès Sciences, 1999.

    Google Scholar 

  12. Diaz, O., Deriving Active Rules for Constraint Maintenance in an Object-Oriented Database. In Proc. of the 3rd Int. Conf. on Database and Expert System Applications (DEXA’92), p. 332–337, Springer-Verlag, 1992.

    Google Scholar 

  13. Dmitriev, M., Atkinson, M.P., Evolutionary Data Conversion in the PJama Persistent Language. In Proc of the Workshop on Object and Databases, in the 13th European Conf. on Object Oriented Programming (ECOOP’99).

    Google Scholar 

  14. Geppert, A., Dittrich, K. R., Specification and Implementation of Consistency Constraints in Object-Oriented Database Systems: Applying Programming-by-Contract, In Proc. of GI-Conference DatenBanksysteme in Büro, Technik and Wissenschaft (BTW). March 1995.

    Google Scholar 

  15. Hamie, A., Civello, F., Howse J., Kent S., Mitchell R., Reflections on the Object Constraint Language, In UML’98 Int. Workshop, Mulhouse (France), 3-4 June 1998.

    Google Scholar 

  16. Kramer, R., iContract-The Java Design by Contract Tool, In International Conference on Technology of Object-Oriented Languages and Systems (Tools 26, USA’98) Santa Barbara (Cal.), August 3-7, 1998, IEEE Computer Society Press.

    Google Scholar 

  17. Meyer, B., Applying Design by Contract, IEEE Computer, 25(10), Oct.1992, p. 40–51.

    Google Scholar 

  18. Oakasha, H., Conrad, S., Saake, G., Consistency Management in Object-Oriented Databases. In Proc of the Workshop on Object and Databases, in the 13th European Conf. on Object Oriented Programming (ECOOP’99).

    Google Scholar 

  19. OMG Revision Task Force, Unified Modeling Language Specification, The Object Management Group Inc. Version 1.3, June 1999.

    Google Scholar 

  20. Sun Microsystems, Block, J., Simple Assertion Facility, Java Specification Request 041, http://www.java.sun.com/aboutJava/communityProcess/jsr_041_asrt.html, 1999.

  21. Warmer, J., Kleppe, A., The Object Constraint Language: Precise Modeling with UML, Addison-Wesley Publishing Co. 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. I3S Laboratory - CNRS, University of Nice - Sophia Antipolis, Les Algorithmes - Bât. Euclide B - 2000, route des Lucioles BP 121, F-06903, Sophia Antipolis Cedex, France

    Philippe Collet

Authors
  1. Philippe Collet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Greta Vignola
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Zurich, Winterthurerstrasse 190, 8057, Zurich, Switzerland

    Klaus Dittrich

  2. Dipartimento di Informatica e Scienze dell’Informazione, Università di Genova, via Dodecaneso 35, 16146, Genova, Italy

    Giovanna Guerrini  & Isabella Merlo  & 

  3. Departament d ′Informàtica i Enginyeria Industrial, Universitat de Lleida, C.Jaume II,69, 25001, Lleida, Spain

    Marta Oliva

  4. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, MÒdul C 6,C.Jordi Girona Salgado 1-3, 08034, Barcelona, Spain

    M.Elena Rodriguez

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Collet, P., Vignola, G. (2001). Towards a Consistent Viewpoint on Consistency for Persistent Applications. In: Dittrich, K., Guerrini, G., Merlo, I., Oliva, M., Rodriguez, M. (eds) Objects and Databases. SODB 2000. Lecture Notes in Computer Science, vol 1944. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44677-X_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-44677-X_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41664-7

  • Online ISBN: 978-3-540-44677-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation