Abstract
We discuss the general advantages of formal specifications and the particular importance of the Z specification language and the fundamental concepts in the Reference Model for Open Distributed Processing, both of which are in the process of standardization by ISO. After discussing some of the difficulties involved, we offer suggestions on how Z can be used successfully for specifying and modeling open object-based systems.
Chapter PDF
Similar content being viewed by others
Keywords
References
Alencar A.J. and Goguen J.A. (1992) OOZE. In: Object orientation in Z (Workshops in Computing), ed. by S. Stepney, R. Barden and D. Cooper. Springer Verlag, 79–94.
Dijkstra, E.W. (1976) A discipline of programming. Prentice-Hall.
Gries, D. (1981) The science ofprogramming. Springer Verlag.
Harrison, W., Kilov, H., Ossher, H., Simmonds, I. (1996) From dynamic supertypes to objects: A natural way to specify and develop systems. IBM Systems Journal, 35, 2.
Hoare, C.A.R. (1994) Mathematical models for computing science. Oxford, UK, August 1994.
ISO (1995a) ISO/IEC JTC1/SC21, Information Technology–Open Systems Interconnection -Management Information Services–Structure of Management Information–Part 7: General Relationship Model. 10165–7. 2, 1995.
ISO (1995b) ISO/IEC, Open Distributed Processing - Reference Model. Part 2: Foundations (IS 10746–2/ITU-T Recommendation X. 902, March 1995 ).
ISO (1995e) ISO/IEC, Open Distributed Processing - Reference Model. Part 4: Architectural Semantics.
Kilov, H. (1993) Information modeling and Object Z: Specifying generic reusable associations. In: Proceedings of NGITS-93 (Next Generation Information Technology and Systems), Haifa, Israel, June 28–30, 1993, ed. by O. Etzion and A. Segev, 182–191.
Kilov, H. and Ross, J. (1994) Information Modeling: an Object-oriented Approach. Prentice-Hall.
Mac an Airchinnigh, M., Belsnes, D. and O’Regan, G. (1994) Formal Methods and Service Specification. In: Towards a Pan-European Telecommunication Service Infrastructure (Lecture Notes in Computer Science, Vol. 851 ). Ed. by H.-J.Kugler, A. Mullery, N. Niebert, Springer Verlag, 563–572.
Nicholls, J. ed. (1995) Z Notation, Version 1.2, The University of Oxford, September 1995.
OODBTG (1991) Object Data Management Reference Model. (ANSI Accredited Standards Committee. X3, Information Processing Systems.) Document Number OODB 89–01R8. 17 September 1991. (Also in: Computer Standards and Interfaces, 15 (1993), 124–142.)
Parnas, D.L., Madey, J. (1995) Functional documents for computer systems. Science of Computer Programming, 25, 1, 41–61.
Parnas, D.L. (1995). On ICSE’s “Most influential” papers. Software Engineering Notes, 20, 3, 29–32.
Redberg, D. (1994) Object-oriented information modeling techniques to specify a TMN system. In: Proceedings of the OOPSLA 84 Workshop on Precise Behavioral Specifications in 00 Information Modeling, 101–108.
Wegner, P. (1995). Models and paradigms of interaction. ECOOP-95 tutorial notes.
Workshop (1995) Proceedings of OOPSLA’95 Workshop 21: Fourth Workshop on specifica-tion of behavioral semantics. (Semantic integration in complex systems: Collective behavior in business rules and software transactions, ed. by H.Kilov, K.Tyson, and B.Harvey).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Johnson, D.R., Kilov, H. (1997). Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_28
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_28
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive