Skip to main content
Springer Nature Link
Log in

Reification — Changing viewpoint but preserving truth

  • Contributions
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1995, COMPASS 1995)

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

Abstract

The aim of our work is the modelling and design of information systems in the object-oriented setting. An object-oriented specification covers structural as well as behavioural aspects of the system. A possibility to describe system dynamics is to use a temporal logic as it is done in the formal object-oriented specification language Troll. Temporal logics is particularly suited to deal with temporal behaviour and evolutionary aspects of systems.

Reification techniques have been developed to break down the software design process in pieces with reduced complexity. We support action reification, i.e., actions are reified by complex processes or so-called transactions. Thus, reification corresponds to a change of viewpoint: what has been atomic from the abstract point of view may become compound from the reified point of view. Problems arise when reification is considered in conjunction with temporal logic. Temporal formulae which incorporate action symbols have to be treated carefully under the presence of reification.

In this paper we propose the so-called reification logic by extending a linear temporal logic by the concept of transaction. A transaction is a logical unit of a specific abstraction level which is composed of several actions of a more concrete level. We propose an appropriate translation of Troll concepts in reification logic which is compatible with reification. This way, we establish a framework which has the capability to deal with reification in object-oriented specification.

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.

Similar content being viewed by others

References

  1. Booch, G.: Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, Redwood City, CA, 2 edition, 1994.

    Google Scholar 

  2. Coad, P., Yourdon, E.: Object-Oriented Analysis. Prentice Hall, Englewood Cliffs, NJ, 2 edition, 1991.

    Google Scholar 

  3. Dahl, O.-J., Owe, O.: Formal Development with ABEL. Technical Report 159, University of Oslo, 1991.

    Google Scholar 

  4. Denker, G.: Transactions in Object-Oriented Specifications. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, Selected papers, pages 203–218. Springer, Berlin, LNCS 906, 1995.

    Google Scholar 

  5. Denker, G.: Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen. PhD thesis, TU Braunschweig, Abt. Datenbanken, Postfach 3329, D-38023 Braunschweig, 1995.

    Google Scholar 

  6. Denker, G., Ehrich, H.-D.: Action Reification In Object Oriented Specification. In R. J. Wieringa and R. B. Feenstra, editors, Information Systems — Correctness and Reusability, Selected Papers from the IS-CORE Workshop, pages 103–118. World Scientific, 1995.

    Google Scholar 

  7. Denker, G., Ehrich, H.-D.: An Event-Based Semantics for Transactions. In G. Bernot and M. Aiguier, editors, Proc. Intern. Workshop on Information Systems — Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995, pages 57–72, Bd des Coquibus, F-91025 Evry Cedex, France, 1995. Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique.

    Google Scholar 

  8. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs, N.J., 1976.

    Google Scholar 

  9. Dubois, E., Du Bois, P., Petit, M., Wu, S.: ALBERT: A Formal Agent-Oriented Requirements Language for Distributed Composite Systems. In E. Dubois, P. Hartel, and G. Saake, editors, Proc. Workshop on Formal Methods for Information System Dynamics, preceding the CAiSE'94 conference, Utrecht, 6–7 June, 1994, pages 25–38. University of Twente, 1994. Memoranda Informatica 94-33.

    Google Scholar 

  10. Duke, R., King, P., Rose, G., Smith, G.: The Object-Z Specification Language. In Proc. Technology of Object-Oriented Languages and Systems (TOOLS), pages 465–483, 1991.

    Google Scholar 

  11. Ehrich, H.-D., Sernadas, A.: Local Specification of Distributed Families of Sequential Objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers, pages 219–235. Springer, Berlin, LNCS 906, 1995.

    Google Scholar 

  12. Ehrich, H.-D., Sernadas, A., Saake, G., Sernadas, C.: 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 

  13. Fiadeiro, J.L., Maibaum, T.: 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 

  14. Gouveia, P., Jungclaus, R., Saake, G., Sernadas, C.: Feasible Object Certification. Technical Report 14/95, Instituto Superior Téchnico (IST), Dept. Mathemática, Av. Roviso Pais, 1096 Lisboa Codex, Portugal, 1995.

    Google Scholar 

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

    Google Scholar 

  16. Huhn, M.: On Semantic, Logical, and Syntactic Refinement of Actions. Internal Report, Universität Hildesheim, Institut für Informatik, Postfach 101363, 31113 Hildesheim, 1996. To appear.

    Google Scholar 

  17. Huhn, M., Wehrheim, H., Denker, G.: Action Refinement — An Application of Process Theory on Object-Oriented Specification. Technischer Report 40/95, Universität Hildesheim, Institut für Informatik, Postfach 101363, D-31113 Hildesheim, November 1995.

    Google Scholar 

  18. Jungclaus, R.: Modeling of Dynamic Object Systems—A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993.

    Google Scholar 

  19. Lamport, L.: Specifying Concurrent Program Modules. ACM Trans. on Programming Languages and Systems, 5:190–222, 1983.

    Google Scholar 

  20. Lano, K.: Z++: An Object-Oriented Extension to Z. In Proc. Z User Meeting. Springer, Workshops in Computer Science, 1991.

    Google Scholar 

  21. Lodaya, K., Ramanujam, R., Thiagarajan, P.S.: Temporal Logics for Communicating Sequential Agents. Int. Journal of Foundations of Computer Science, 3(2):117–159, 1992.

    Google Scholar 

  22. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems — Specification. Springer-Verlag, 1992.

    Google Scholar 

  23. Rapanotti, L., Socorro, A.: Introducing FOOPS. Technical Report Report PRG-TR-28-92, Programming Research Group, Oxford University Computing Laboratory, 1992.

    Google Scholar 

  24. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.

    Google Scholar 

  25. Saake, G.: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, 6(1):47–74, 1991. North-Holland.

    Google Scholar 

  26. Sernadas, A., Ramos, J.: The GNOME Language: Syntax, Semantics and Calculus. Technical Report, Instituto Superior Téchnico (IST), Dept. Mathemática, Av. Roviso Pais, 1096 Lisboa Codex, Portugal, 1994.

    Google Scholar 

  27. Sernadas, A., Sernadas, C., Costa, J.F.: Object Specification Logic. Journal of Logic and Computation, 5(5):603–630, October 1995.

    Google Scholar 

  28. Sernadas, A., Sernadas, C., Gouveia, P., Resende, P., Gouveia, J.: OBLOG — Object-Oriented Logic: An Informal Introduction. Technical Report, INESC, Lisbon, 1991.

    Google Scholar 

  29. Wieringa, R.J.: A Conceptual Model Specification Language (CMSL, Version 2). Technical Report IR-248, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Braunschweig, Informatik, Abt. Datenbanken, 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

Magne Haveraaen Olaf Owe Ole-Johan Dahl

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Denker, G. (1996). Reification — Changing viewpoint but preserving truth. In: Haveraaen, M., Owe, O., Dahl, OJ. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1995 1995. Lecture Notes in Computer Science, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61629-2_43

Download citation

  • DOI: https://doi.org/10.1007/3-540-61629-2_43

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-70642-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics