Abstract
This paper describes a banking service which enables charging for information services in open distributed systems. A novel two phase payment protocol is proposed which overcomes many of the shortcomings of other distributed accounting systems. The banking service is specified using the ODP viewpoint languages. The behaviour of the banking service is formally specified in the information viewpoint using the Z notation, while the interface signatures are defined using ANSA’s IDL.
Chapter PDF
References
Mullender, S.J., “Accounting and Resource Control”, Distributed Systems, S.J. Mullender (ed), ACM Press, New York, 1989.
Mullender, S.J. and Tannenbaum, A.S., “Protection and Resource Control in Distributed Operating Systems”, Computer Networks, Vol. 8, pp. 421 - 432, 1984.
Harter, G., and Geihs, K., “An Accounting Service for Heterogeneous Distributed Environments”, Proceedings of 8th International Conference on Distributed Computing Systems, 1988.
Warner, M.R., “Charging and Resource Control in Open Distributed Systems”, PhD Thesis, Cambridge University, 1993.
Spivey, J.M., The Z Notation - A Reference Manual, Prentice Hall International Series on Computer Science, 1989.
Hayes, Ian (ed.), Specification Case Studies, Prentice Hall International Series in Computer Science, 1987.
Macdonald, R., “Z Usage and Abusage”, Royal Signals and Radar Establishment Report 91003, February, 1991.
Architecture Project Management Ltd, ANSAware 4.1: Application Programming in ANSAware,Document RM.102.02, February 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Warner, M.R. (1995). Charging for information services in ODP systems. In: Raymond, K., Armstrong, L. (eds) Open Distributed Processing. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34882-7_17
Download citation
DOI: https://doi.org/10.1007/978-0-387-34882-7_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6074-3
Online ISBN: 978-0-387-34882-7
eBook Packages: Springer Book Archive