An approach to a Z toolkit for the Reference Model of Open Distributed Processing

Computer Standards and Interfaces

Volumn 21, Issue 5, 1999, Pages 393-402

  Johnson, D Randolph ^a   Kilov, Haim ^b  

^a NATIONAL SECURITY AGENCY   (United States)

^b Business Component Modeling   (United States)

Author keywords

Fundamental concepts; General Relationship Model (GRM); Multiple typing; Reference Model for Open Distributed Processing (RM ODP); Relationships; Toolkit; Z

Indexed keywords

EID: 0347651088     PISSN: 09205489     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0920-5489(99)00012-4     Document Type: Article

References (31)

1. A.J. Alencar, J.A. Goguen, OOZE, in: S. Stepney, R. Barden, D. Cooper (Eds.), Object Orientation in Z, Workshops in Computing, Springer-Verlag, 1992, pp. 79-94.
2. ANSI Accredited Standards Committee, X3, Information Processing Systems, Object Data Management Reference Model, 1991, Document Number OODB 89-01R8, also in Computer Standards and Interfaces, Vol. 15, 1993, pp. 124-142.
3. J.P. Bowen, J.A. Hall (Eds.), Z User Workshop, Cambridge 1994, Workshops in Computing, Springer-Verlag, 1994.
4. R. Barden, S. Stepney, D. Cooper, Z in Practice, Prentice-Hall, 1994.
5. R. Duke, C. Bailes, G. Smith, A blocking model for reactive objects, Formal Aspects of Computing 8 (3) (1996) 347-368.
6. E.W. Dijkstra, Programming considered as a human activity, in: Proceedings of the IFIP Congress 65, Macmillan, 1965, pp. 213-217.
7. E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976.
8. E.W. Dijkstra, A first exploration of effective reasoning. University of Texas at Austin, EWD 1239, 1996.
9. D. Gries, The science of programming, Springer-Verlag, 1981.
10. P.R. Halmos, Naive set theory, D. Van Nostrand, 1960.
11. A. Hall, Using Z as a specification calculus for object-oriented systems, in: D. Bjorner, H. Langmaack (Eds.), Proceedings of VDM 90, number 428 in Lecture Notes in Computer Science, Springer-Verlag, 1990, pp. 290-318.
12. A. Hall, Specifying and interpreting class hierarchies in Z, in: J.P. Bowen, J.A. Hall (Eds.), Z User Workshop, Cambridge 1994, Workshops in Computing, Springer-Verlag, 1994, pp. 120-138.
13. A. Hall, ZOO Course Notes, 1994.
14. I. Hayes (Ed.), Specification Case Studies, 2nd edn., Prentice-Hall, 1993.
15. W. Harrison, H. Kilov, H. Ossher, I. Simmonds, From dynamic supertypes to objects: a natural way to specify and develop systems, IBM Systems Journal 35 (2) (1996) 244-256.
16. C.A.R. Hoare, Mathematical models for computing science, Oxford, UK, August 1994.
17. I. Hayes, L. Wildman, Towards libraries in Z, in: J.P. Bowen, J.E. Nicholls (Eds.), Z User Workshop, Springer-Verlag, 1993, pp. 37-51.
18. ISO/IEC. Open Distributed Processing - Reference Model: Part 2. Foundations, 1995, IS 10746-2/ITU-T Recommendation X.902.
19. ISO/IEC. Open Distributed Processing - Reference Model: Part 3. Architecture, 1995, IS 10746-3/ITU-T Recommendation X.903.
20. ISO/IEC. Open Distributed Processing - Reference Model: Part 4. Architectural Semantics, 1995.
21. ISO/IEC JTC1/SC21, Information Technology. Open Systems Interconnection - Management Information Services - Structure of Management Information - Part 7: General Relationship Model, 1995, ISO/IEC 10165-7.
22. ISO/IEC. Open Distributed Processing - Reference Model: Part 4. Architectural Semantics, 1998, IS 10746-4/ITU-T Recommendation X.904.
23. D.R. Johnson, H. Kilov, Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs, in: E. Najm, J.-B. Stefani (Eds.), Formal Methods for Open Object-based Distributed Systems, Chapman & Hall, 1997, pp. 391-398.
24. H. Kilov, Domains and semantic integrity, Computer Standards and Interfaces 9 (1989) 143-147.
25. H. Kilov, Business Specifications, Prentice-Hall, 1999.
26. H. Kilov, H. Mogill, I. Simmonds, Invariants in the trenches, in: H. Kilov, W. Harvey (Eds.), Object-oriented Behavioral Specifications, Kluwer Academic Publishers, 1996, pp. 77-100.
27. H. Kilov, J. Ross, Information Modeling: an Object-oriented Approach, Prentice-Hall, 1994.
28. D. Redberg, The search for the linking invariant: behavioral modeling vs. modeling behavior, in: H. Kilov, W. Harvey (Eds.), Object-oriented Behavioral Specifications, Kluwer Academic Publishers, 1996, pp. 241-264.
29. S. Stepney, R. Barden, D. Cooper (Eds.), Object Orientation in Z, Workshops in Computing, Springer-Verlag, 1992.
30. The University of Oxford. Z Notation, Version 1.2, September 1995.
31. ANSI X3T3. Recommendation for vote on DIS 10746-4.2. Information technology - Basic reference model of Open Distributed Processing - Part 4: Architectural semantics, December 1996, Document X3T3-96/131.