Constructing Standards for Cross-Platform Operation

  • M. A. Heather
  • B. N. Rossiter
Conference paper


A universal representation is developed, based on the ISO standards for Information Resource Dictionary System (IRDS), with the aim of providing a complete definition of an information system from the physical data values held to the concepts employed for data and function description and real-world abstractions. It is discussed how such a multilevel model can provide quality software for the evolution of information systems by creating an environment where heterogeneous systems can be compared. Current trends towards more structured programming techniques and more disciplined software engineering environments lead to the potential for considerable benefits from using an IRDS approach. This potential, however, will only be realized if a formal underpinning of the IRDS standard is achieved and then only reliably if the formal is constructive and the underpinning is enabling not just supporting.


Reference Model Category Theory Level Pair Software Quality Management Standard Reference Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barr, M, Wells, C, Category Theory for Computing Science, Prentice-Hall (1990).Google Scholar
  2. 2.
    Clements, Alan, Standardization for Information Technology, BSI Catalogue no: PP 7315, at page 26 (1987).Google Scholar
  3. 3.
    Fiddian, N J, Gray, W A, Ramfos, A, Cooke, A, Database Meta-Translation Technology: Integration, Status and Application, Database Technology 4, 259–263 (1992).Google Scholar
  4. 4.
    Gradwell, D, Developments in Data Dictionary Standard, Computer Bulletin, September 1987.Google Scholar
  5. 5.
    Gray, P M D, Kulkarni, K G, Paton, N W, Object-Oriented Databases: A Semantic Data Model Approach, Prentice Hall (1992).Google Scholar
  6. 6.
    Gries, D, The Need for Education in Useful Formal Logic, IEEE Computer 29 (4) 29–30 (1996).Google Scholar
  7. 7.
    Heather, M A, Rossiter, B N, Content Self-awareness in Distributed Multimedia Publishing: the Need for a Unifying Theory, in: Third International Workshop on Principles of Document Processing (PODP’96), ed. Nicholas, C, Wood, D, Lecture Notes in Computer Science 1293 Springer-Verlag 59–86 (1997).Google Scholar
  8. 8.
    Holloway, C M, Butler, R W, Impediments to Industrial Use of Formal Methods, IEEE Computer 29(4) 25–26 (1996).Google Scholar
  9. 9.
    Information technology - Information Resource Dictionary System (IRDS) framework, Standard ISO/IEC 10027 (1990); 10728 (1993).Google Scholar
  10. 10.
    Information technology - Reference Model of Data Management,Standard ISO/IEC 10032 (1993).Google Scholar
  11. 11.
    Nelson, D A, Rossiter, B N, Prototyping a Categorical Database in P/FDM. Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995, Springer–Verlag Workshops in Computing, edd. J. Eder and L.A. Kalinichenko, ISBN 3–540–76014–8, 432 – 456 (1996).Google Scholar
  12. 12.
    Standards dealing with OSI (Open Systems Interconnection) include BS ISO/IEC TR 9571 to 9596 and BS ISO/IEC TR 10162 to 10183.Google Scholar
  13. 13.
    Parnas, D L, Mathematical Methods: What we Need and Don’t Need, IEEE Computer 29 (4) 28–29 (1996).Google Scholar
  14. 14.
    Poigné, Axel, Basic Category Theory, in: Abramsky, S, Gabbay, Dov M, Maibaum, T S E, (edd), Handbook of Logic and Computer Science, I Background: Mathematical Structures, Clarendon Press, Oxford pp. 416–640 (1992).Google Scholar
  15. 15.
    Rossiter, B N, Nelson, D A, Heather, M A, The Categorical Product Data Model as a Formalism for Object-Relational Databases, Technical Report, Computing Science, Newcastle University, no.505, 41pp (1995).Google Scholar
  16. 16.
    Rossiter, B N, Heather, M A, Data Modelling for Migrating Information Systems,chapter 1, in: Legacy to Client/Server - Have You Chosen Wisely?, ed. Booth, A, Unicorn, London 1–12 (1996).Google Scholar
  17. 17.
    Spurr, K, CASE Tools, Does the ISO Standard IRDS provide Sufficient Support? in: Fourth Generation Systems, ed. S.Holloway, Chapman and Hall, Unicorn 36–47 (1990).Google Scholar

Copyright information

© Springer-Verlag London Limited 1998

Authors and Affiliations

  • M. A. Heather
    • 1
  • B. N. Rossiter
    • 2
  1. 1.Sutherland BuildingUniversity of Northumbria at NewcastleUK
  2. 2.Computing ScienceNewcastle UniversityUK

Personalised recommendations