Constructing a Measurement Scheme

  • Agnes Kaposi
  • Margaret Myers
Part of the Formal Approaches to Computing and Information Technology (FACIT) book series (FACIT)


Previously we demonstrated model-based measurement on simple examples, and discussed the notion of a model-based measurement scheme and its role in the validation of measures. We showed that a model-based measurement scheme is already implicit in mature disciplines whose models, theories and metrology are well established. The general applicability of model-based measurement indicates that one may also devise model-based measurement schemes for new fields of application, where such foundations are lacking.


Formal Language Specification Language Measurement Scheme Prolog Program Benchmark Program 
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.
    Goldschlager L, Lister A (1982): “Computer Science: A Modern Introduction.” Prentice Hall International.Google Scholar
  2. 2.
    Tanenbaum A (1984): “Structured computer organization”, Prentice Hall International.Google Scholar
  3. 3.
    Proc. 1st International Conference on Practical Application of Prolog - Section: “Prolog 1000”, April 1992, London. Institute of Civil Engineers.Google Scholar
  4. 4a.
    Cunningham R, Finkelstein A, Goldsack S, Maibaum T, and Potts C (1986): Formal Requirements Specification - The FOREST Project. Proc IEEE Third InternationalWorkshop on Specification and Design, pp 186–192. IEEE Comp Soc Press.Google Scholar
  5. b.
    Knott R D, P J Krause (1988): “An approach to animating Z using Prolog”. Report No Al.l, Alvey Project SE/065.Google Scholar
  6. c.
    White A P (1983): “Evaluation of Prolog as a rapid prototyping language for formal specification”. MSc dissertation, Manchester University.Google Scholar
  7. d.
    Papapanagiotakis G, Azema P, Pradin-Chezalviel B (1986): “Prepositional branching time temporal logic in Prolog”. (Lab d’Autom. et d’Anal. des System. CNRS, Paris, France. 5th Annual International Phoenix Conference on Computers and Communication PCCCC’86 1986 Conf. Proceedings Scottsdale, AZ USA March 1986 Washington DC USA IEEE Comp Soc Press, p 371–7.Google Scholar
  8. e.
    Goble T (1989): “Structured systems analysis through Prolog”. Prentice Hall.Google Scholar
  9. 5.
    Kowalski R (1974): “Predicate logic as a programming language”. Proceedings of the IFIP Congress, Stockholm, Amsterdam, Holland, pp 569-574, North-Holland.Google Scholar
  10. 6.
    Robinson J A (1965): “A machine-oriented logic based on the resolution principle”. Journal of the ACM, Vol. 12, No. 1, pp 23 - 41.MATHCrossRefGoogle Scholar
  11. 7.
    D H D Warren (1977): “Implementing Prolog - compiling logic programs”. Research Reports 39 and 40, Dept. of AI, University of Edinburgh.Google Scholar
  12. 8.
    Roussel P (1975): Prolog: “Manuel de Reference et d’Utilisation. Groupe d’Intelligence Artificielle”, Universite d’Aix-Marseille, Luminy, Sept. 1975.Google Scholar
  13. 9.
    Hogger C (1990): “Essentials of Logic Programming”, Clarenden Press.Google Scholar
  14. 10a.
    Bratko, I (1986): “Prolog Programming for Artificial Intelligence”. Addison-Wesley.Google Scholar
  15. b.
    Clocksin W F, Mellish C S (1984): “Programming in Prolog”. Springer-Verlag.Google Scholar
  16. c.
    Stirling L, Shapiro E (1986): “The art of Prolog”. MIT Press, Cambridge, Mass.Google Scholar
  17. 11.
    van Emden M H, Kowalski R A (1976): “The semantics of predicate logic as programming language” Journal of the ACM 23 (4), pp 733–742.MATHCrossRefGoogle Scholar
  18. 12.
    Hogger C (1987): “Prolog and Software Engineering”. Microprocess and Microsystem, GB vol 11 No 6 p 308–18 July–Aug.Google Scholar
  19. 13.
    Kowalski, R (1979): “Logic for Problem Solving”. North-Holland.Google Scholar
  20. 14.
    Draft expected.Google Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • Agnes Kaposi
    • 1
  • Margaret Myers
    • 2
  1. 1.Kaposi AssociatesLondonUK
  2. 2.LondonUK

Personalised recommendations