Reification -changing viewpoint but preserving truth

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1130, Issue , 1996, Pages 182-199

  Denker, G ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Action refinement; Formal specification language; Information system design; Object orientation; Reification; Temporal logic; Transaction

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; FORMAL SPECIFICATION; INFORMATION SYSTEMS; OBJECT ORIENTED PROGRAMMING; RECONFIGURABLE HARDWARE; SOFTWARE DESIGN; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC;

ACTION REFINEMENT; EVOLUTIONARY ASPECTS; LINEAR TEMPORAL LOGIC; OBJECT ORIENTATION; OBJECT-ORIENTED SPECIFICATIONS; REIFICATION; SOFTWARE DESIGN PROCESS; TRANSACTION;

ABSTRACT DATA TYPES;

EID: 84958643392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61629-2_43     Document Type: Conference Paper

References (29)

1. Booch, G.: Object-Oriented Analysis and Design with Applications. Ben-jamin/Cummings, Redwood City, CA, 2 edition, 1994.
2. Coad, P., Yourdon, E.: Object-Oriented Analysis. Prentice Hall, Englewood Cliffs, NJ, 2 edition, 1991.
3. Dahl, O.-J., Owe, O.: Formal Development with ABEL. Technical Report 159, University of Oslo, 1991
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.
5. Denker, G.: Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen. PhD thesis, TU Braunschweig, Abt. Datenbanken, Postfach 3329, D-38023 Braunschweig, 1995
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.
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.
8. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs, N.J., 1976.
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.
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.
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
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
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
14. Gouveia, P., Jungclaus, R., Saake, G., Sernadas, C: Feasible Object Certification. Technical Report 14/95, Instituto Superior Technico (1ST), Dept. Mathematica, Av. Roviso Pais, 1096 Lisboa Codex, Portugal, 1995.
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, Technis-che Universitat Braunschweig, 1994.
16. Huhn, M.: On Semantic, Logical, and Syntactic Refinement of Actions. Internal Report, Universitat Hildesheim, Institut fur Informatik, Postfach 101363, 31113 Hildesheim, 1996. To appear.
17. Huhn, M., Wehrheim, H., Denker, G.: Action Refinement - An Application of Process Theory on Object-Oriented Specification. Technischer Report 40/95, Universitat Hildesheim, Institut fur Informatik, Postfach 101363, D-31113 Hildesheim, November 1995.
18. Jungclaus, R.: Modeling of Dynamic Object Systems-A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993
19. Lamport, L.: Specifying Concurrent Program Modules. ACM Trans, on Programming Languages and Systems, 5:190-222, 1983.
20. Lano, K.: Z++: An Object-Oriented Extension to Z. In Proc. Z User Meeting. Springer, Workshops in Computer Science, 1991
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.
22. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems -Specification. Springer-Verlag, 1992
23. Rapanotti, L., Socorro, A.: Introducing FOOPS. Technical Report Report PRG-TR-28-92, Programming Research Group, Oxford University Computing Laboratory, 1992.
24. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991
25. Saake, G.: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, 6(l):47-74, 1991. North-Holland
26. Sernadas, A., Ramos, J.: The GNOME Language: Syntax, Semantics and Calculus. Technical Report, Instituto Superior Technico (1ST), Dept. Mathematica, Av. Roviso Pais, 1096 Lisboa Codex, Portugal, 1994.
27. Sernadas, A., Sernadas, C, Costa, J.F.: Object Specification Logic. Journal of Logic and Computation, 5(5):603-630, October 1995.
28. Sernadas, A., Sernadas, C, Gouveia, P., Resende, P., Gouveia, J.: OBLOG -Object-Oriented Logic: An Informal Introduction. Technical Report, INESC, Lisbon, 1991.
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