Abstract
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency. This paper considers definitions of consistency arising from the RM-ODP and relates these in a mathematical framework for consistency checking. We place existing FDTs, in particular LOTOS, into this framework. Then we consider the prospects for viewpoint translation. Our conclusions centre on the relationship between the different definitions of consistency and on the requirements for realistic consistency checking.
Chapter PDF
References
M Ainsworth, AH Cruickshank, LJ Groves, and PJL Wallis. Viewpoint specification and Z. Information and Software Technology, 36 (1): 43 - 51, February 1994.
D. Bert, M. Bidoit, C. Choppy, R. Echahed, J. -M. Hufflen, J. -P. Jacquot, M. Lemoine, N. Lévy, J. -C. Reynaud, C. Roques, F. Voisin, J. -P. Finance, and M. -C. Gaudel. Opération SALSA: Structure d’AccueiL pour Spécifications Algébriques. Rapport final, PRC Programmation et Outils pour lintelligence Artificielle, 1993.
H. Bowman and J. Derrick. Towards a formal model of consistency in ODP. Technical Report 3-94, Computing Laboratory, University of Kent at Canterbury, 1994.
E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing and Verification, VIII, pages 63 - 74, Atlantic City, USA, June 1988. North-Holland.
E. Brinksma, G. Scollo, and C. Steenbergen. Process specification, their implementation and their tests. In B. Sarikaya and G. V. Bochmann, editors, Protocol Specification, Testing and Verification, VI, pages 349 - 360, Montreal, Canada, June 1986. North-Holland.
AFNOR cont. A direct computational language semantics for Part 4 of the RM-ODP. ISO/IEC JTC1/SC21/WG7 approved AFNOR contribution, July 1994.
G. Cowen, J. Derrick, M. Gill, G. Girling (editor), A. Herbert, P. F. Linington, D. Rayner, F. Schulz, and R. Soley. Prost Report of the Study on Testing for Open Distributed Processing. APM Ltd, 1993.
J. Derrick, H. Bowman, and M. Steen. Maintaining cross viewpoint consistency using Z. In ICODP95, Brisbane, Australia, February 1995.
A. Fantechi, S. Gnesi, and C. Laneve. Two standards means problems: A case study on formal protocol descriptions. Computer Standards and Interfaces, 9: 11 - 19, 1989.
A. Fantechi, S. Gnesi, and G. Ristori. Compositional logic semantics and LOTOS. In L. Logrippo, R. L. Probert, and H. Ural, editors, Protocol Specification, Testing and Verification, X, Ottawa, Canada, June 1990. North-Holland.
K. Farooqui and L. Logrippo. Viewpoint transformations. In J. de Meer, B. Mahr, and O. Spaniol, editors, 2nd ICODP, pages 352 - 362, Berlin, September 1993.
ISO/IEC JTC1/SC21/WG7. Basic reference model of Open Distributed Processing - Parts 1-4,July 1993.
F. Khendek and G. v. Bochmann. Merging behaviour specifications. Technical Report 856, University of Montreal, Department of Computing, 1993.
G. Leduc. A framework based on implementation relations for implementing LOTOS specifications. Computer Networks and ISDN Systems, 25: 23 - 41, 1992.
R. Reed, W. Bouma, J. D. Evans, M. Dauphin, and M. Michel. Specification and Programming Environment for Communication Software. North-Holland, 1993. ISBN 0 444 89923 5.
M. Steen, H. Bowman, and J. Derrick. Consistency in LOTOS. Technical Report in preparation, Computing Laboratory, University of Kent at Canterbury, 1995.
A. Vogel. Entwurf, Realisierung und Test von ODP-Systemen auf der Grundlage formaler Beschreibungstechniken. PhD thesis, Humboldt-Universität zu Berlin, 1993. submitted.
J. C. P. Woodcock and C. C. Morgan. Refinement of state-based concurent systems. In D. Bjorner, C. A. R. Hoare, and H. Langmaack, editors, VDM 90 VDM and Z - Formal Methods in Software Development, LNCS 428, pages 340 - 351, Kiel, FRG, April 1990. Springer-Verlag.
P. Zave and M. Jackson. Conjunction as composition. ACM Trans. on Soft. Eng. and Method., 2: 379 - 411, 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
Bowman, H., Derrick, J., Steen, M. (1995). Some Results on Cross Viewpoint Consistency Checking. 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_31
Download citation
DOI: https://doi.org/10.1007/978-0-387-34882-7_31
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6074-3
Online ISBN: 978-0-387-34882-7
eBook Packages: Springer Book Archive