Software Quality Journal

, Volume 7, Issue 2, pp 131–140 | Cite as

Constructing Standards For Cross-Platform Operation

  • M. A. Heather
  • B N. Rossiter
Article
  • 26 Downloads

Abstract

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 multi-level 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.

Standards Reference models category theory 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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
  2. 2.
    A. Clements. Standardization for Information Technology, BSI Catalogue No. PP 7315 (1987), p. 26.Google Scholar
  3. 3.
    B.N. Rossiter and M.A. Heather. Data modelling for migrating information systems, Chapter 1 in: Legacy to Client/Server-Have You Chosen Wisely?, ed. A. Booth (Unicom, London, 1996), pp. 1–12.Google Scholar
  4. 4.
    D. Gries. The need for education in useful formal logic, IEEE Computer, 29(4), (1996), 29–30.Google Scholar
  5. 5.
    C.M. Holloway and R.W. Butler. Impediments to industrial use of formal methods, IEEE Computer, 29(4), (1996), 25–26.Google Scholar
  6. 6.
    D.L. Parnas. Mathematical methods: what we need and don't need, IEEE Computer, 29(4), (1996), 28–29.Google Scholar
  7. 7.
    D. Gradwell. Developments in data dictionary standard, Computer Bulletin, September 1987.Google Scholar
  8. 8.
    Information Technology. Reference Model of Data Management, Standard ISO/IEC 10032 (1993).Google Scholar
  9. 9.
    Information Technology. Information Resource Dictionary System (IRDS) Framework, Standard ISO/IEC 10027 (1990); 10728 (1993).Google Scholar
  10. 10.
    N.J. Fiddian, W.A. Gray, A. Ramfos and A. Cooke. Database meta-translation technology: integration, status and application, Database Technology, 4, (1992), 259–263.Google Scholar
  11. 11.
    M. Barr and C. Wells. Category Theory for Computing Science (Prentice-Hall, 1990).Google Scholar
  12. 12.
    A. Poigné. Basic category theory, in: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum (eds), Handbook of Logic and Computer Science, I Background: Mathematical Structures (Clarendon Press, Oxford, 1992), pp. 416–640.Google Scholar
  13. 13.
    M.A. Heather and B.N. Rossiter. Content self-awareness in distributed multimedia publishing: the need for a unifying theory, in D. Wood and C. Nicholas (eds) Third International Workshop on Principles of Document Processing (PODP'96), Lecture Notes in Computer Science 1293 (Springer-Verlag, 1997), pp. 59–86.Google Scholar
  14. 14.
    B.N. Rossiter, D.A. Nelson and M.A. Heather. The Categorical Product Data Model as a Formalism for Object-Relational Databases, Technical Report No. 505, Computing Science, Newcastle University, 1995.Google Scholar
  15. 15.
    D.A. Nelson and B.N. Rossiter. 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. Workshops in Computing, eds. J. Eder and L.A. Kalinichenko (Springer-Verleg, 1996), pp. 432–456.Google Scholar
  16. 16.
    P.M.D. Gray, K.G. Kulkarni and N.W. Paton. Object-Oriented Databases: A Semantic Data Model Approach (Prentice Hall, 1992).Google Scholar
  17. 17.
    K. Spurr. CASE tools, does the ISO Standard IRDS provide suficient support? in Fourth Generation Systems, ed. S. Holloway (Chapman and Hall, Unicom, 1990), pp. 36–47.Google Scholar

Copyright information

© Kluwer Academic Publishers 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