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
Preview
Unable to display preview. Download preview PDF.
References
L. Aceto and M. Hennessy. Towards Action-Refinement in Process Algebras. Information and Computation, 103:204–269, 1993.
H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen — Eine Einführung in die Theorie. Teubner, Stuttgart, 1989.
A.K. Elmagarmid, editor. Database Transaction Models for Advanced Applications. Data Management Systems. Morgan Kaufmann, San Mateo, California, 1992.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990.
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.
H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. This volume.
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.
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.
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.
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.
C.A.R. Hoare. Proof of Correctness of Data Representations. Acta Information, 1:271–281, 1972.
C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666–677, 1978.
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.
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.
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.
N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Data Management Systems. Morgan Kaufmann, San Mateo, California, 1994.
R. Milner. A Calculus of Communicating Systems. Springer, Berlin, 1980.
T. Nipkow. Nondeterministic data types: models and implementations. Acta Informatica, 22:629–661, 1986.
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.
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.
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.
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.
D. Sannella and A. Tarlecki. Towards formal development of programs from algebraic specifications: implementations revisited. Acta Informatica, 25:233–281, 1988.
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.
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.
W. Vogler. Bisimulation and Action Refinement. Technical Report SFB 342/10/90 A, Technische Universität München, Mai 1990.
H. Wehrheim. Parametric Action Refinement. Technical Report 18, Universität Hildesheim, Institut für Informatik, Postfach 101363, 31113 Hildesheim, November 1993. Hildesheimer Informatik Berichte.
Author information
Authors and Affiliations
Editor information
Rights 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