Skip to main content
SpringerLink
Log in

Transactions in object-oriented specifications

  • Contributed Papers
  • Conference paper
  • First Online:
Book cover Recent Trends in Data Type Specification (ADT 1994, COMPASS 1994)

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

Abstract

The formal step by step development of implementations from specifications is necessary to allow the incremental description of large software systems and hence split the software development process in manageable portions. Due to the complex notion of objects as units of structure and behavior, the refinement process has to be reconsidered in the object-oriented framework. Apart from refining structure the behavioral part gives rise to refine actions by transactions. Referring to information systems as application domain, concurrency control aspects come into play because of shared resources. We present an approach to incorporate transactions into object-oriented specification and illustrate the main problems of synchronizing them on commonly used resources. The aim is that independent actions of different transactions, i.e., actions which are not accessing the same sources, may be arbitrarily interleaved. We envisage a denotational semantics based on event structures in which the sequential composition of transactions can be appropriately liberalized and outline the ideas by giving some examples.

Work reported here was partially supported by CEC under ESPRIT-II Basic Research Working Group No. 6112 COMPASS and by CEC under ESPRIT BRA WG 6071 IS-CORE

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L. Aceto and M. Hennessy. Towards Action-Refinement in Process Algebras. Information and Computation, 103:204–269, 1993.

    Article  Google Scholar 

  2. H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen — Eine Einführung in die Theorie. Teubner, Stuttgart, 1989.

    Google Scholar 

  3. A.K. Elmagarmid, editor. Database Transaction Models for Advanced Applications. Data Management Systems. Morgan Kaufmann, San Mateo, California, 1992.

    Google Scholar 

  4. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990.

    Google Scholar 

  5. H.-D. Ehrich and A. Sernadas. Algebraic Implementation of Objects over Objects. In J. W. deBakker, W.-P. deRoever, and G. Rozenberg, editors, Proc. REX Workshop “Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness”, pages 239–266. LNCS 430, Springer, Berlin, 1990.

    Google Scholar 

  6. H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. This volume.

    Google Scholar 

  7. H.-D. Ehrich, A. Sernadas, G. Saake, and C. Sernadas. Distributed Temporal Logic for Concurrent Object Families. In R. Wieringa and R. Feenstra, editors, Working papers of the International Workshop on Information Systems — Correctness and Reusability, pages 22–30. Vrije Universiteit Amsterdam, RapportNr. IR-357, 1994.

    Google Scholar 

  8. J. Fiadeiro and T. Maibaum. Describing, Structuring and Implementing Objects. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages (Proc. REX/FOOL Workshop, Noordwijkerhood (NL)), pages 274–310. Springer, Berlin, LNCS 489, 1990.

    Google Scholar 

  9. J.L. Fiadeiro and T. Maibaum. Sometimes “Tommorrow” is “Sometime”-Action Refinement in a Temporal Logic of Objects. In D. M. Gabbay and H. J. Ohlbach, editors, Proc. First Int. Conf. on Temporal Logic, ICTL, Bonn, Germany, July 1994, pages 48–66. Springer, 1994. LNAI 827.

    Google Scholar 

  10. J. Fiadeiro, C. Sernadas, T. Maibaum, and A. Sernadas. Describing and Structuring Objects for Conceptual Schema Development. In P. Loucopoulos and R. Zicari, editors, Concepual Modeling, Databases, and CASE: An Integrated View of Information Systems Development, pages 117–138. John Wiley & Sons, Inc., 1992.

    Google Scholar 

  11. C.A.R. Hoare. Proof of Correctness of Data Representations. Acta Information, 1:271–281, 1972.

    Article  Google Scholar 

  12. C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666–677, 1978.

    Article  Google Scholar 

  13. T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94-03, Technische Universität Braunschweig, 1994.

    Google Scholar 

  14. H. Jifeng. Various Simulations and Refinements. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, Proc. REX Workshop, Mook, The Netherlands, May/June 1989, pages 340–360. Springer, 1989. LNCS 430.

    Google Scholar 

  15. S. Katz. Global Equivalence Proof for ISTL. In D. M. Gabbay and H. J. Ohlbach, editors, Proc. First Int. Conf. on Temporal Logic, ICTL, Bonn, Germany, July 1994, pages 17–29. Springer, 1994. LNAI 827.

    Google Scholar 

  16. N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Data Management Systems. Morgan Kaufmann, San Mateo, California, 1994.

    Google Scholar 

  17. R. Milner. A Calculus of Communicating Systems. Springer, Berlin, 1980.

    Google Scholar 

  18. T. Nipkow. Nondeterministic data types: models and implementations. Acta Informatica, 22:629–661, 1986.

    Article  Google Scholar 

  19. A. Rensink and H. Wehrheim. Weak Sequential Composition in Process Algebras. In B. Jonsson and J. Parrow, editors, Proc. Fifth Int. Conf. on Concurrency Theory, Concur'94, Uppsala, Sweden, pages 226–241. Springer, August 1994. LNCS 836.

    Google Scholar 

  20. C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The Reification Dimension in Object-oriented Data Base Design. In D.J. Harper and M.C. Norrie, editors, Specifications of Database Systems, Glasgow, pages 275–298. Springer, 1991. Workshop in Computing.

    Google Scholar 

  21. C. Sernadas, P. Gouveia, and A. Sernadas. Refinement: Layered Definition of Conceptual Schemata. In E.D. Falkenberg, C. Rolland, and E.N. El-Sayed, editors, Information System Concepts: Improving the Understanding, pages 19–51. North-Holland, 1992. IFIP Transactions.

    Google Scholar 

  22. K.-D. Schewe, J.W. Schmidt, and I. Wetzel. Specification and Refinement in an Integrated Database Application Environment. In S. Prehn and W.J. Toetenel, editors, Proc. VDM'91, Formal Software Development Methods. Springer, 1991. LNCS 551/552.

    Google Scholar 

  23. D. Sannella and A. Tarlecki. Towards formal development of programs from algebraic specifications: implementations revisited. Acta Informatica, 25:233–281, 1988.

    Article  Google Scholar 

  24. P.S. Thiagarajan. A Trace Based Extension of Linear Time Temporal Logic. In Proc. 9th annual IEEE Symposium on Logic in Computer Science, CNAM, Paris, France, pages 438–447. IEEE Computer Society Press, July 4–7 1994.

    Google Scholar 

  25. R. van Glabbeck and U. Goltz. Equivalences and Refinement. In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, pages 309–333. Springer, April 1990. LNCS 469.

    Google Scholar 

  26. W. Vogler. Bisimulation and Action Refinement. Technical Report SFB 342/10/90 A, Technische Universität München, Mai 1990.

    Google Scholar 

  27. H. Wehrheim. Parametric Action Refinement. Technical Report 18, Universität Hildesheim, Institut für Informatik, Postfach 101363, 31113 Hildesheim, November 1993. Hildesheimer Informatik Berichte.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik, Abt. Datenbanken, Technische Universität Braunschweig, Postfach 3329, D-38023, Braunschweig, Germany

    G. Denker

Authors
  1. G. Denker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egidio Astesiano Gianna Reggio Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Denker, G. (1995). Transactions in object-oriented specifications. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014429

Download citation

  • DOI: https://doi.org/10.1007/BFb0014429

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59132-0

  • Online ISBN: 978-3-540-49198-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation