Object-oriented specification and open distributed systems

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

Volumn 2635, Issue , 2004, Pages 137-164

  Johnsen, Einar Broch ^a,b   Owe, Olaf ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; SPECIFICATIONS;

BLACK-BOX COMPONENTS; DISTRIBUTED SYSTEMS; OBJECT ORIENTED; OBJECT ORIENTED APPROACH; OBJECT-ORIENTED SPECIFICATIONS; OBSERVABLE BEHAVIOR; OPEN DISTRIBUTED SYSTEMS; PROGRAM SPECIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 35048886007     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39993-3_9     Document Type: Article

References (50)

1. M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507-534, May 1995.
2. G. A. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1):1-72, Jan. 1997.
3. B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21(4):181-185, Oct. 1985.
4. K. R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Systems. Texts and Monographs in Computer Science. Springer-Verlag, Berlin, 1991.
5. L. Blair and G. Blair. Composition in multi-paradigm specification techniques. In R. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pages 401-118. Kluwer Academic Publishers, Feb. 1999.
6. E. Boiten, J. Derrick, H. Bowman, and M. Steen. Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35(1):29-75, Sept. 1999.
7. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Mass., 1999.
8. M. Broy and K. Stølen. Specification and Development of Interactive Systems. Monographs in Computer Science. Springer-Verlag, 2001.
9. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 285:187-243, Aug. 2002.
10. O.-J. Dahl. Can program proving be made practical? In M. Amirchahy and D. Néel, editors, Les Fondements de la Programmation, pages 57-114. Institut de Recherche d'Informatique et d'Automatique, Toulouse, France, Dec. 1977.
11. O.-J. Dahl. Object-oriented specification. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, Series in Computer Systems, pages 561-576. The MIT Press, 1987.
12. O.-J. Dahl. Verifiable Programming. International Series in Computer Science. Prentice Hall, New York, N.Y., 1992.
13. O.-J. Dahl. The roots of object orientation: the Simula language. In M. Broy and E. Denert, editors, Software Pioneers: Contributions to Software Engineering. Springer-Verlag, June 2002.
14. O.-J. Dahl and K. Nygaard. SIMULA, an ALGOL-based simulation language. Communications of the ACM, 9(9):671-678, Sept. 1966.
15. O.-J. Dahl, B. Myhrhaug, and K. Nygaard. (Simula 67) Common Base Language. Technical Report S-2, Norsk Regnesentral (Norwegian Computing Center), Oslo, Norway, May 1968.
16. O.-J. Dahl and O. Owe. Formal development with ABEL. In S. Prehn and H. Toetenel, editors, Formal Software Development Methods (VDM'91), volume 552 of Lecture Notes in Computer Science, pages 320-362. Springer-Verlag, Oct. 1991.
17. O.-J. Dahl and O. Owe. Formal methods and the RM-ODP. Research Report 261, Department of informatics, University of Oslo, Norway, May 1998.
18. W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison, volume 47 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, New York, NY, 1998.
19. J. Derrick, H. Bowman, and M. Steen. Viewpoints and objects. In J. P. Bowen and M. G. Hinchey, editors, The Z Formal Specification Notation, 9th International Conference of Z Users (ZUM'95), volume 967 of Lecture Notes in Computer Science, pages 449-468. Springer-Verlag, Sept. 1995.
20. C. Fischer. CSP-OZ: a combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 423-438. Chapman and Hall, London, 1997.
21. C. Ghezzi and M. Jazayeri. Programming Language Concepts. John Wiley & Sons, 3rd edition, 1998.
22. J. Goguen and J. Tardo. An introduction to OBJ: A language for writing and testing formal algebraic program specifications. In N. Gehani and A. McGettrick, editors, Software Specification Techniques. Addison-Wesley, 1986.
23. J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993.
24. C. A. R. Hoare. An Axiomatic Basis of Computer Programming. Communications of the ACM, 12:576-580, 1969.
25. C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Englewood Cliffs, NJ., 1985.
26. International Telecommunication Union. Open Distributed Processing - Reference Model parts 1-4. Technical report, ISO/IEC, Geneva, July 1995.
27. B. Jacobs. Inheritance and cofree constructions. In P. Cointe, editor, 10th European Conference on Object-Oriented Programming (ECOOP'96), volume 1098 of Lecture Notes in Computer Science, pages 210-231. Springer-Verlag, July 1996.
28. E. B. Johnsen and O. Owe. Composition and refinement for partial object specifications. In Proc. 16th International Parallel & Distributed Processing Symposium (IPDPS'02), Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'02). IEEE Computer Society Press, Apr. 2002.
29. E. B. Johnsen and O. Owe. A compositional formalism for object viewpoints. In B. Jacobs and A. Rensink, editors, Proc. 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02), pages 45-60. Kluwer Academic Publishers, Mar. 2002.
30. E. B. Johnsen, O. Owe, E. Munthe-Kaas, and J. Vain. Incremental fault-tolerant design in an object-oriented setting. In Proc. Asian Pacific Conference on Quality Software (APAQS'01), pages 223-230. IEEE Computer Society Press, Dec. 2001.
31. E. B. Johnsen, W. Zhang, O. Owe, and D. B. Aredo. Combining graphical and formal development of open distributed systems. In M. Butler, L. Petre, and K. Sere, editors, Proc. Third International Conference on Integrated Formal Methods (IFM'02), volume 2335 of Lecture Notes in Computer Science, pages 319-338, Turku, Finland, May 2002. Springer-Verlag.
32. C. B. Jones. Development Methods for Computer Programmes Including a Notion of Interference. PhD thesis, Oxford University, UK, June 1981.
33. G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing 74: Proc. IFIP Congress 74, pages 471-475. IFIP, North-Holland Publishing Co., Aug. 1974.
34. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Akşit and S. Matsuoka, editors, Proc. 11th European Conference on Object-Oriented Programming (ECOOP'97), volume 1241 of Lecture Notes in Computer Science, pages 220-242. Springer-Verlag, June 1997.
35. B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, Nov. 1994.
36. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic Java classes. In E. Bertino, editor, 14th European Conference on Object-Oriented Programming (ECOOP'00), volume 1850 of Lecture Notes in Computer Science, pages 337-361. Springer-Verlag, June 2000.
37. S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 107-150. The MIT Press, Cambridge, Mass., 1993.
38. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, May 1999.
39. J. Misra and K. M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417-426, July 1981.
40. O. Nierstrasz. A survey of object-oriented concepts. In W. Kim and F. Lochovsky, editors, Object-Oriented Concepts, Databases and Applications, pages 3-21. ACM Press and Addison-Wesley, Reading, Mass., 1989.
41. K. Nygaard and O.-J. Dahl. Simula 67. In R. W. Wexelblat, editor, History of Programming Languages. ACM Press, 1981.
42. O. Owe. Partial logics reconsidered: A conservative approach. Formal Aspects of Computing, 5:208-223, 1993.
43. O. Owe and I. Ryl. A notation for combining formal reasoning, object orientation and openness. Research Report 278, Department of informatics, University of Oslo, Norway, Nov. 1999.
44. D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, Dec. 1972.
45. D. L. Parnas and Y. Wang. The trace assertion method of module interface specification. Technical Report 89-261, Department of Computing and Information Science, Queen's University at Kingston, Kingston, Ontario, Canada, Oct. 1989.
46. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
47. S. F. Smith and C. Talcott. Modular reasoning for actor specification diagrams. In R. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pages 401-418. Kluwer Academic Publishers, Feb. 1999.
48. N. Soundarajan and S. Fridella. Inheritance: From code reuse to reasoning reuse. In P. Devanbu and J. Poulin, editors, Proc. Fifth International Conference on Software Reuse (ICSR5), pages 206-215. IEEE Computer Society Press, 1998.
49. D. Walker. Objects in the π-calculus. Information and Computation, 116(2):253-271, Feb. 1995.
50. A. Wang. Generalized types in high-level programming languages. Research Report in Informatics 1, Institute of Mathematics, University of Oslo, Jan. 1974. Cand. Real thesis.