Viewpoint consistency in ODP

Computer Networks

Volumn 34, Issue 3, 2000, Pages 503-537

  Boiten, Eerke ^a   Bowman, Howard ^a   Derrick, John ^a   Linington, Peter ^a   Steen, Maarten ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; OPEN SYSTEMS; USER INTERFACES;

FORMAL METHODS; OPEN DISTRIBUTED PROCESSING; VIEWPOINT CONSISTENCY;

NETWORK PROTOCOLS;

EID: 0034276032     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(00)00114-6     Document Type: Article

References (97)

1. AFNOR, A direct computational language semantics for Part 4 of the RM-ODP, ISO/IEC JTC1/SC21/WG7 approved AFNOR contribution, July 1994.
2. Ainsworth M., Cruickshank A.H., Groves L.J., Wallis P.J.L. Viewpoint specification and Z. Information and Software Technology. 36(1):1994;43-51.
3. Ainsworth M., Riddle S., Wallis P.J.L. Formal validation of viewpoint specifications. Software Engineering Journal. 11(1):1996;58-66.
4. Baldwin D. Applying multiple views to information systems: a preliminary framework. Data base. 24(4):1993;15-30.
5. Batini C., Lenzerini M. A methodology for data schema integration in the entity relationship model. IEEE Transactions on Software Engineering. SE-10:1984;640-655.
6. C. Bernardeschi, J. Dustzadeh, A. Fantechi, E. Najm, A. Nimour, F. Olsen, Transformations and consistent semantics for ODP viewpoints, in: H. Bowman, J. Derrick (Eds.), FMOODS'97, Proceedings of the Second IFIP Conference on Formal Methods for Open Object Based Distributed Systems, Chapman & Hall, London, 1997.
7. Blair G.S., Stefani J.-B. Open Distributed Processing and Multimedia. 1997;Addison-Wesley, Reading, MA.
8. E. Boiten, Z unification tools in Generic Formaliser, Technical Report 10-97, Computing Laboratory, University of Kent at Canterbury, 1997.
9. E. Boiten, H. Bowman, J. Derrick, M. Steen, Managing inconsistency and promoting consistency, in revision, available from http://www.cs.ukc.ac.uk/research/tcs/consistency/tse.html, September 1997.
10. E.A. Boiten, J. Derrick, IO - refinement in Z, in: A.S. Evans, D.J. Duke, T. Clark (Eds.), Proceedings of the Third BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing, Springer, Berlin, September 1998.
11. E.A. Boiten, J. Derrick, H. Bowman, M. Steen, Coupling schemas: data refinement and view (point) composition, in: D.J. Duke, A.S. Evans (Eds.), Proceedings of the Second BCS-FACS Northern Formal Methods Workshop, Workshops in Computing, Springer, Berlin, July 1997.
12. Boiten E.A., Derrick J., Bowman H., Steen M. Constructive consistency checking for partial specification in Z. Science of Computer Programming. 35(1):1999;29-75.
13. Bolognesi T., Brinksma E. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems. 14(1):1988;25-59.
14. Booch G. Object-Oriented Analysis and Design. 1994;Benjamin/Cummings, Menlo Park, CA.
15. Boudriga N., Elloumi F., Mili A. On the lattice of specifications: applications to a specification methodology. Formal Aspects of Computing. 4:1992;544-571.
16. J.P. Bowen, M. Gordon, Z and HOL, in: J.P. Bowen, J.A. Hall (Eds.), Z User Workshop, Cambridge, July 1994, Springer, Berlin, 1994, pp. 141-167.
17. Bowman H., Boiten E., Derrick J., Steen M. Strategies for consistency checking based on unification. Science of Computer Programming. 33:1999;261-298.
18. Bowman H., Derrick J., Linington P., Steen M. FDTs for ODP. Computer Standards and Interfaces. 17:1995;457-479.
19. Bowman H., Derrick J., Linington P., Steen M. Cross viewpoint consistency in Open Distributed Processing. IEE Software Engineering Journal. 11(1):1996;44-57.
20. H. Bowman, J. Derrick, M. Steen, Some results on cross viewpoint consistency checking, in: K. Raymond, L. Armstrong (Eds.), IFIP TC6 International Conference on Open Distributed Processing, Brisbane, Australia, February 1995, Chapman & Hall, London, 1995, pp. 399-412.
21. H. Bowman, E.A. Boiten, J. Derrick, M. Steen, Viewpoint consistency in ODP, a general interpretation, in: E. Najm, J.-B. Stefani (Eds.), Proceedings of the First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, Paris, March 1996, Chapman & Hall, London, 1996, pp. 189-204.
22. H. Bowman, M.W.A. Steen, E.A. Boiten, J. Derrick, A formal framework for viewpoint consistency, Formal Methods in System Design, to appear.
23. E. Brinksma, G. Scollo, C. Steenbergen, Process specification, their implementation and their tests, in: B. Sarikaya, G.V. Bochmann (Eds.), Protocol Specification, Testing and Verification, VI, Montreal, Canada, June 1986, North-Holland, Amsterdam, 1986, pp. 349-360.
24. C. Tina, Telecommunications information networking architecture, 1997. WWW: http://www.tinac.com/.
25. CCITT Z.100. Specification and Description Language SDL, 1988.
26. E. Cusack, Object oriented modelling in Z for open distributed systems, in: J. de Meer, V. Heymer, R. Roth (Eds.), IFIP TC6 International Workshop on Open Distributed Processing, Berlin, Germany, September 1991, North-Holland, Amsterdam, 1991, pp. 167-178.
27. H.S. Delugach, An approach to conceptual feedback in multiple viewed software requirements modeling, in: A. Finkelstein and G. Spanoudakis [38], pp. 242-246.
28. J. Derrick, E.A. Boiten, H. Bowman, M. Steen, Supporting ODP - translating LOTOS to Z, in: E. Najm, J.-B. Stefani (Eds.), Proceedings of the First IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems, Paris, March 1996, Chapman & Hall, London, 1996, pp. 399-406.
29. Derrick J., Boiten E.A., Bowman H., Steen M.W.A. Viewpoints and consistency - translating LOTOS to Object-Z. Computer Standards and Interfaces. 21:1999;251-272.
30. J. Derrick, H. Bowman, E. Boiten, M. Steen, Comparing LOTOS and Z refinement relations, in: FORTE/PSTV'96, Kaiserslautern, Germany, October 1996, Chapman & Hall, London, 1996, pp. 501-516.
31. J. Derrick, H. Bowman, M. Steen, Viewpoints and objects, in: J.P. Bowen, M.G. Hinchey (Eds.), Proceedings of the Ninth Annual Z User Workshop, Limerick, September 1995, LNCS 967, Springer, Berlin, 1995, pp. 449-468.
32. Derrick J., Boiten E., Bowman H., Steen M. Specifying and refining internal operations in Z. Formal Aspects of Computing. 10:1998;125-159.
33. Duke R., Rose G., Smith G. Object-Z: a specification language advocated for the description of standards. Computer Standards and Interfaces. 17:1995;511-533.
34. J. Dustzadeh, E. Najm, Consistent semantics for ODP information and computational models, in: T. Higashino, A. Togashi (Eds.), FORTE/PSTV'97, Chapman & Hall, London, November 1997, pp. 107-126.
35. Ehrig H., Mahr B. Fundamentals of Algebraic Specification. 1985;Springer, Berlin.
36. K. Farooqui, L. Logrippo, Viewpoint transformation, in: J. de Meer, B. Mahr, O. Spaniol (Eds.), Open Distributed Processing II, IFIP TC6, Berlin, Germany, September 1993, pp. 352-362.
37. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, M. Goedicke, Viewpoints: a framework for integrating multiple perspectives in system development, International Journal on Software Engineering and Knowledge Engineering (Special issue on Trends and Research Directions in Software Engineering Environments) 2 (1) (1992) 31-58.
38. A. Finkelstein, G. Spanoudakis (Eds.), SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), 1996.
39. A. Finkelstein, G. Spanoudakis, D. Till, Managing interference, in: A. Finkelstein and G. Spanoudakis [38], pp. 172-174.
40. Finkelstein A.C.W., Gabbay D., Hunter A., Kramer J., Nuseibeh B. Inconsistency handling in multiperspective specifications. IEEE Transactions on Software Engineering. 20(8):1994;569-578.
41. C. Fischer, CSP-OZ - a combination of CSP and Object-Z, in: H. Bowman, J. Derrick (Eds.), Proceedings of the Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Chapman & Hall, London, July 1997, pp. 423-438.
42. J. Fischer, A. Prinz, A. Vogel, Different FDT's confronted with different ODP-viewpoints of the trader, in: J.C.P. Woodcock, P.G. Larsen (Eds.), FME'93: Industrial Strength Formal Methods, LNCS 670, Springer, Berlin, 1993, pp. 332-350.
43. M. Frappier, A. Mili, J. Desharnais, Program construction by parts, in: B. Möller (Ed.), Mathematics of Program Construction: Third International Conference, Lecture Notes in Computer Science, vol. 947, Springer, Berlin, 1995, pp. 257-81.
44. M.-C. Gaudel, J. Woodcock (Eds.), FME'96: idustrial benefit of formal methods, in: Proceedings of the Third International Symposium of Formal Methods Europe, Lecture Notes in Computer Science, vol. 1051, Springer, Berlin, March 1996.
45. V. Gay, P. Leydekkers, R. Huis in 't Veld, Specification of multiparty audio and video interaction based on the Reference Model of Open Distributed Processing. Computer Networks and ISDN Systems 27 (8) (1995) 1247-1262.
46. R. Gotzhein, F.H. Vogt, The design of a temporal logic for open distributed systems, in: J. de Meer, V. Heymer, R. Roth (Eds.), IFIP TC6 International Workshop on Open Distributed Processing, Berlin, Germany, North-Holland, Amsterdam, September 1991, pp. 229-240.
47. J.J. Van Griethuysen, Enterprise modelling: A necessary basis for modern information systems, in: J. de Meer, V. Heymer, R. Roth (Eds.), IFIP TC6 International Workshop on Open Distributed Processing, Berlin, Germany, North-Holland, Amsterdam, September 1991, pp. 29-68.
48. Hayes I., Mowbray M., Rose G.A. Signalling system no. 7 - the network layer. Brinksma E., Scollo G., Vissers C.A. Protocol Specification Testing and Verification IX. 1989;3-14 North-Holland, Amsterdam.
49. H. Ichikawa, K. Yamanaka, J. Kato, Incremental specification in LOTOS, in: L. Logrippo, R.L. Probert, H. Ural (Eds.), Protocol Specification Testing and Verification X, Ottawa, Canada, 1990, pp.183-196.
50. ISO 8807, LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, July 1987.
51. ISO 9074, Estelle, a Formal Description Technique Based on an Extended State Transition Model, June 1987.
52. ISO/IEC JTC1/SC21/WG7, Basic Reference Model of Open Distributed Processing, ISO 10746, 1993, Part 1-4.
53. ITU/ISO CD ISO 13235/ITU.TS Rec.9tr, ODP Trading Function, 1994.
54. Jackson D. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology. 4(4):1995;365-389.
55. Jones C.B. Systematic Software Development using VDM. 1989;Prentice-Hall, Englewood Cliffs, NJ.
56. V. Kasurinen, K. Sere, Integrating action systems and Z in a medical system specification, in: M.-C. Gaudel and J. Woodcock [44], pp. 105-119.
57. Khendek F., von Bochmann G. Merging behaviour specifications. Journal of Formal Methods in System Design. 6(3):1995;259-294.
58. Kolyang, T. Santen, B. Wolff, A structure preserving encoding of Z in Isabelle/HOL, in: J. von Wright, J. Grundy, J. Harrison (Eds.), Theorem Proving in Higher-Order Logics - Ninth International Conference, Lecture Notes in Computer Science, vol. 1125, Springer, Berlin, 1996, pp. 283-298.
59. Kotonya G., Sommerville I. Viewpoints for requirements definition. IEE Software Engineering Journal. 7(6):1992;375-387.
60. I. Kraan, P. Baumann, Implementing Z in Isabelle, in: J.P. Bowen, M.G. Hinchey (Eds.), ZUM'95: The Z Formal Specification Notation, Proceedings of the Ninth International Conference of Z Users, Limerick, Ireland, 7-9 September 1995, Proceedings, LNCS, vol. 967, Springer, Berlin, 1995, pp. 355-373.
61. G. Leduc, On the role of implementation relations in the design of distributed systems using LOTOS, Ph.D. Thesis, University of Liège, Liège, Belgium, June 1991.
62. P.F. Linington, RM-ODP: the architecture, in: K. Raymond, L. Armstrong (Eds.), IFIP TC6 International Conference on Open Distributed Processing, Brisbane, Australia, February 1995, Chapman & Hall, London, 1995, pp. 15-33.
63. Meyers S. Difficulties in integrating multiview development systems. IEEE Software. 8(1):1991;49-57.
64. Microsoft, The component object model specification, 1997, http://www.microsoft.com/oledev/olecom/title.htm.
65. G.P. Mullery, CORE - a method for controlled requirement specification, in: Proceedings of the Fourth International Conference on Software Engineering, IEEE Computer Society, Silverspring, MD, 1979, pp. 126-135.
66. E. Najm, J.-B. Stefani, Computational models for open distributed systems (invited talk), in: H. Bowman, J. Derrick (Eds.), Proceedings of the Second IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Chapman & Hall, London, 1997, pp. 157-176.
67. Navathe S., Elmasri R., Larson J. Integrating user views in database design. IEEE Computer. 19(1):1986;50-62.
68. B.A. Nuseibeh, A multi-perspective framework for method integration, Ph.D. Thesis, Imperial College, University of London, 1994.
69. Object Management Group, The Common Object Request Broker: Architecture and Specification, February 1997, http://www.omg.org/.
70. P.F. Pinto, P.F. Linington, A language for the specification of interactive and distributed multimedia applications, in: B. Mahr, J. de Meer, O. Spaniol (Eds.), IFIP International Conference on Open Distributed Processing, Berlin, Germany, North-Holland, Amsterdam, 1993, pp. 217-234.
71. W.L. Poon, A. Finkelstein, Consistency management for multiple perspective software development, in: A. Finkelstein and G. Spanoudakis [38], pp. 192-196.
72. K. Raymond, Reference model of open distributed processing RM-ODP: introduction, in: K. Raymond, L. Armstrong (Eds.), IFIP TC6 International Conference on Open Distributed Processing, Brisbane, Australia, Chapman & Hall, London, 1995, pp. 3-14.
73. Reeves A., Marashi M., Budgen D. A software design framework or how to support real designers. IEE Software Engineering Journal. 10(4):1995;141-155.
74. Ronayne J. The Integrated Services Digital Network: from Concept to Application. 1987;Pitman, London.
75. M. Van Sinderen, J. Schot, An engineering approach to ODP system design, in: J. de Meer, V. Heymer, R. Roth (Eds.), IFIP TC6 International Workshop on Open Distributed Processing, Berlin, Germany, North-Holland, Amsterdam, 1991, pp. 301-312.
76. R. Sinnott, An Initial Architectural Semantics in Z of the Information Viewpoint Language of Part 3 of the ODP-RM, ISO/IEC SC21/WG7 N915, July 1994. BSI Input document to the ODP Plenary meeting in Southampton.
77. Sinnott R.O., Turner K.J. Applying formal methods to standard development: the open distributed processing experience. Computer Standards and Interfaces. 17:1995;615-630.
78. Smith G. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing. 7(3):1995;289-313.
79. G. Smith, A semantic integration of Object-Z and CSP for the specification of concurrent systems, in: J. Fitzgerald, C.B. Jones, P. Lucas (Eds.), Formal Methods Europe (FME '97), Graz, Austria, LNCS 1313, Springer, Berlin, September 1997, pp. 62-81.
80. G. Smith, J. Derrick, Refinement and verification of concurrent systems specified in Object-Z and CSP, in: M. Hinchey, S. Liu (Eds.), Proceedings of the First IEEE International Conference on Formal Engineering Methods (ICFEM '97), Hiroshima, Japan, IEEE Computer Society, Silverspring, MD, November 1997, pp. 293-302.
81. Sommerville I. Software Engineering. 1989;Addison-Wesley, Reading, MA.
82. Spivey J.M. The Z notation: A Reference Manual. 1989;Prentice-Hall, Englewood Cliffs, NJ.
83. M.W.A. Steen, H. Bowman, J. Derrick, Composition of LOTOS specifications, in: P. Dembinski, M. Sredniawa (Eds.), Protocol Specification, Testing and Verification, XV, Warsaw, Poland, Chapman & Hall, London, 1995, pp. 73-88.
84. M.W.A. Steen, J. Derrick, Formalising ODP enterprise policies, in: Proceedings of the Third International Enterprise Distributed Object Computing Conference (EDOC '99), University of Mannheim, Germany, IEEE Publishing, September 1999.
85. M.W.A. Steen, Consistency and composition of process specifications, Ph.D. Thesis, University of Kent at Canterbury, United Kingdom, 1998.
86. M.W.A. Steen, J. Derrick, Applying the UML to the ODP enterprise viewpoint, Technical Report 8-99, Computing Laboratory, University of Kent at Canterbury, May 1999.
87. S. Stepney, D. Cooper, J. Woodcock, More powerful Z data refinement, in: J.P. Bowen, A. Fett, M.G. Hinchey (Eds.), ZUM'98: The Z Formal Specification Notation, Lecture Notes in Computer Science, vol. 1493, Springer, Berlin, September 1998, pp. 284-307.
88. C.N. Taylor, J. Derrick, E.A. Boiten, A case study in partial specification: consistency and refinement for Object-Z, submitted for publication.
89. K. Turner, G. Scullo (Eds.), Computer Networks and ISDN Systems, 29 (4) (1997) (Special Issue).
90. R.J. van Glabbeek, The refinement theorem for ST-bisimulation semantics, in: Programming Concepts and Methods, Elsevier, Amsterdam, 1990.
91. Vissers C.A., Scollo G., van Sinderen M., Brinksma E. On the use of specification styles in the design of distributed systems. Theoretical Computer Science. 89(1):1991;179-206.
92. M. Weber, Combining statecharts and Z for the design of safety-critical control systems, in: M.-C. Gaudel and J. Woodcock [44], pp. 307-326.
93. Woodcock J., Davies J. Using Z: Specification, Refinement, and Proof. 1996;Prentice-Hall, Englewood Cliffs, NJ.
94. Yonezawa A., Tokoro M. Object-Oriented Concurrent Programming. 1987;MIT Press, Cambridge, MA.
95. Zave P., Jackson M. Conjunction as composition. ACM Transactions on Software Engineering and Methodology. 2(4):1993;379-411.
96. Zave P., Jackson M. Where do operations come from? A multiparadigm specification technique. IEEE Transactions on Software Engineering. 22(7):1996;508-528.
97. H. Zimmermann, OSI - reference model - ISO model of architecture for open systems interconnection, IEEE Transactions on Communications COM-28 (1980) 425-432.