Skip to main content
SpringerLink
Log in

Constructing Standards for Cross-Platform Operation

  • Conference paper
Software Quality Management VI

  • 77 Accesses

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barr, M, Wells, C, Category Theory for Computing Science, Prentice-Hall (1990).

    Google Scholar 

  2. Clements, Alan, Standardization for Information Technology, BSI Catalogue no: PP 7315, at page 26 (1987).

    Google Scholar 

  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. Gradwell, D, Developments in Data Dictionary Standard, Computer Bulletin, September 1987.

    Google Scholar 

  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. Gries, D, The Need for Education in Useful Formal Logic, IEEE Computer 29 (4) 29–30 (1996).

    Google Scholar 

  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. Holloway, C M, Butler, R W, Impediments to Industrial Use of Formal Methods, IEEE Computer 29(4) 25–26 (1996).

    Google Scholar 

  9. Information technology - Information Resource Dictionary System (IRDS) framework, Standard ISO/IEC 10027 (1990); 10728 (1993).

    Google Scholar 

  10. Information technology - Reference Model of Data Management,Standard ISO/IEC 10032 (1993).

    Google Scholar 

  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. 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. Parnas, D L, Mathematical Methods: What we Need and Don’t Need, IEEE Computer 29 (4) 28–29 (1996).

    Google Scholar 

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

Download references

Author information

Authors and Affiliations

  1. Sutherland Building, University of Northumbria at Newcastle, NE1 8ST, UK

    M. A. Heather

  2. Computing Science, Newcastle University, NE1 7RU, UK

    B. N. Rossiter

Authors
  1. M. A. Heather
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. B. N. Rossiter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Perspective Technica, Reading, UK

    Chris Hawkins (BCS Quality SIG Chairman) (BCS Quality SIG Chairman)

  2. Southampton Institute and BCS Quality SIG, UK

    Margaret Ross

  3. BCS(Hampshire) and BCS Quality SIG, UK

    Geoff Staples

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag London Limited

About this paper

Cite this paper

Heather, M.A., Rossiter, B.N. (1998). Constructing Standards for Cross-Platform Operation. In: Hawkins, C., Ross, M., Staples, G. (eds) Software Quality Management VI. Springer, London. https://doi.org/10.1007/978-1-4471-1303-4_20

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-1303-4_20

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-021-7

  • Online ISBN: 978-1-4471-1303-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation