Denotational semantics of object specification

Acta Informatica

Volumn 35, Issue 9, 1998, Pages 729-773

  Sernadas, Amílcar ^a   Sernadas, Cristina ^a   Caleiro, Carlos ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032375623     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050141     Document Type: Article

References (53)

1. Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73-132 (1993)
2. Abadi, M., Lamport, L.: Conjoining specifications. Technical report, Digital, Systems Research Center, Palo Alto, California, USA, 1993
3. Abadi, M., Merz, S.: An abstract account of composition. In: Wiedermann, J., Hajek, P. (eds) Mathematical Foundations of Computer Science, LNCS 969. pp 499-508. Berlin Heidelberg New York: Springer, 1995
4. Abadi, M., Plotkin, G.: A logical view of composition and refinement. In: Proceedings of the 18th Annual ACM Symposium on Principles of Programming Languages, pp 323-332. ACM, 1991
5. Abadi, M., Plotkin, G.: A logical view of composition. Theoretical Computer Science, 114(1):3-30 (1993)
6. Adámek, J., Herrlich, H., Strecker, G.: Abstract and concrete categories. New York: Wiley, 1990
7. Asperti, A., Longo, G.: Categories, types, and structures. Cambridge, MA: MIT Press, 1991
8. Barr, M., Wells, C.: Category Theory for Computing Science. New York: Prentice Hall, 1990
9. Barringer, H., Kuiper, R., Pnueli, A.: Now you may compose temporal logic specifications. In: Proceedings of the 16th ACM Symposium on Theory of Computing, pp 51-63. ACM Press, 1984
10. Burstall, R., Goguen, J.: Putting theories together to make specifications. In: Reddy, R. (ed) Proceedings of the 5th International Joint Conference on Artificial Intelligence, pp 1045-1058, 1977
11. Caleiro, C.: On the relationship between operational and denotational semantics of temporal logic specification of object behaviour. In: Wieringa, R., Feenstra, R. (eds) IS-CORE'94 Selected Papers, pp 69-83. Singapore, New Jersey, London, Hong Kong: World Scientific, 1995
12. Caleiro, C.: Distributed object communities. Master's thesis, IST, Technical University of Lisbon, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal, 1996. In Portuguese - Supervised by A. Sernadas
13. Caleiro, C., Saake, G., Sernadas, A.: Deriving liveness goals from temporal logic specifications. Journal of Symbolic Computation, 22:521-553 (1996) Available as Research Report since 1995
14. Collette, P., Cau, A.: Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency. Acta Informatica, 33(2):153-176 (1996)
15. Costa, J.F., Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object interaction. In: Havel, I., Koubek, V. (eds) Mathematical Foundations of Computer Science, LNCS 629. pp 200-208. Berlin Heidelberg New York: Springer, 1992
16. Denker, G., Ramos, J., Caleiro, C., Sernadas, A.: A linear temporal logic approach to objects with transactions. In AMAST97. Berlin Heidelberg New York: Springer (1997)
17. Ehrich, H.-D., Goguen, J., Sernadas, A.: A categorial theory of objects as observed processes. In: de Bakker, J., de Roever, W.-P., Rozenberg, G. (eds) Foundations of Object-Oriented Languages, pp 203-228. Berlin Heidelberg New York: Springer, 1991
18. Ehrich, H.-D., Sernadas, A.: Algebraic implementation of objects over objects. In: de Bakker, J., de Roever, W.-P., Rozenberg, G. (eds) Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, LNCS 430. pp 239-266. Berlin Heidelberg New York: Springer, 1990
19. Ehrich, H.-D., Sernadas, A.: Local specification of distributed families of sequential objects. In: Astesiano, E., Reggio, G. (eds) Recent Trends in Data Type Specification, LNCS 906. pp 219-235. Berlin Heidelberg New York: Springer, 1995
20. Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed) Handbook of Theoretical Computer Science, pp 997-1072. Amsterdam: Elsevier, 1990
21. Fiadeiro, J.: On the emergence of properties in component-based systems. LNCS 1101. In AMAST 96, pp 421-443. Berlin Heidelberg New York: Springer, 1996
22. Fiadeiro, J., Costa, J.: Mirror, mirror in my hand: a duality between specifications and models of process behaviour. Mathematical Structures in Computer Science, 6(4):353-373 (1996)
23. Fiadeiro, J., Costa, J.F., Sernadas, A., Maibaum, T.: Process semantics of temporal logic specification. In: Bidoit, M., Choppy, C. (eds) Recent Trends in Data Type Specification, pp 236-253. Berlin Heidelberg New York: Springer, 1993
24. Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford Science Publications, 1994
25. Goguen, J.: Sheaf semantics for concurrent interacting objects. Mathematical Structures in Computer Science, 2(2):159-191 (1992)
26. Goguen, J., Burstall, R.: Introducing institutions. In: Clarke, E., Kozen, D. (eds) Proceedings of the Logics of Programming Workshop, LNCS 164. pp 221-256. Berlin Heidelberg New York: Springer, 1984
27. Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of ACM, 39(1):95-146 (1992)
28. Goldblatt, R.: Logics of time and computation. CSLI, 1987
29. Jonsson, B., Tsay, Y.-K.: Assumption/guarantee specifications in linear-time temporal logic. Theoretical Computer Science, 167:47-72 (1996)
30. Kupferman, O., Vardi, M.: Module checking. In: Proceedings of the 8th International Conference on Computer Aided Verification, LNCS 1102. pp 75-86. Berlin Heidelberg New York: Springer, 1996
31. Lodaya, K., Mukund, M., Ramanujam, R., Thiagarajan, P.: Models and logics for true concurrency. In: Some Models and Logics for True Concurrency, Advanced School on the Algebraic, Logical and Categorical Foundations of Concurrency, Gargnano del Garda, Italy, 1991
32. Lodaya, K., Ramanujam, R., Thiagarajan, P.: Temporal logics for communicating sequential agents: I. International Journal of Foundations of Computer Science, 3(2):117-159 (1992)
33. MacLane, S.: Categories for the working mathematician. Berlin Heidelberg New York: Springer, 1971
34. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: specification. Berlin Heidelberg New York: Springer, 1992
35. Meyer, B.: Object-oriented software construction. New York: Prentice-Hall (1988)
36. Mokkedem, A., Méry, D.: On using temporal logic for refinement and compositional verification of concurrent systems. Theoretical Computer Science, 140(1):95-138 (1995)
37. Penczek, W.: Branching time and partial order in temporal logics. In: Bole, L., Szalas, A. (eds) Time and Logic: A Computational Approach, pp 179-228. London: UCL Press, 1995
38. Pnueli, A.: The temporal logic of programs. In: IEEE Proceedings of the 18th Annual Symposium on Foundations of Computer Science, pp 45-57. IEEE, 1977
39. Poigné, A.: Basic category theory. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds) Handbook of Logic in Computer Science, Vol 1, pp 413-640. Oxford University Press, 1992
40. Ramos, J.: Situation and state calculus: object specification, verification and reification. PhD thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal (1997) Supervised by A. Sernadas
41. Reisig, W.: Elements of a temporal logic coping with concurrency. Technical report, Technische Universität München, Germany, 1992
42. Reiter, R.: Proving properties of states in the situation calculus. Artificial Intelligence, 64(2):337-351 (1993)
43. Sernadas, A.: Temporal aspects of logical procedure definition. Information Systems, 5:167-187 (1980)
44. Sernadas, A., Costa, J.F., Sernadas, C.: An institution of object behaviour. In: Ehrig, H., Orejas, F. (eds) Recent trends in data type specification, LNCS 785. pp 337-350. Berlin Heidelberg New York: Springer, 1994
45. Sernadas, A., Ehrich, H.-D.: What is an object, after all? In: Meersman, R., Kent, W., Khosla, S. (eds) Object Oriented Databases: Analysis, Design and Construction, pp 39-69. Amsterdam: North-Holland, 1991.
46. Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.: Abstract object types: A temporal perspective. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds) Temporal Logic in Specification, pp 324-350. Berlin Heidelberg New York: Springer, 1989
47. Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.: The basic building blocks of information systems. In: Falkenberg, E., Lindgreen, P. (eds) Information Systems Concepts: An In-Depth Analysis, pp 225-246. Amsterdam: North-Holland, 1989
48. Sernadas, A., Sernadas, C., Costa, J.F.: Object specification logic. Journal of Logic and Computation, 5(5):603-630 (1995)
49. Sernadas, A., Sernadas, C., Ramos, J.: A temporal logic approach to object certification. Journal of Data and Knowledge Engineering, 19:267-294 (1996)
50. Tarlecki, A., Burstall, R., Goguen, J.: Indexed categories as a tool for the semantics of computation. Technical report, Oxford University, England, 1989
51. Wegner, P.: Dimensions of object-oriented modelling. IEEE Trans Comput, pp 12-21 (1992)
52. Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255. pp 325-392. Berlin Heidelberg New York: Springer, 1987
53. Winskel, G., Nielsen, M.: Models of concurrency. In: Gabbay, D., Abramsky, S., Maibaum, T. (eds) Handbook of Logic in Computer Science 4, pp 1-148. Oxford Science Publications, 1995.