{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:44:04Z","timestamp":1760586244791},"reference-count":97,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,9,1]],"date-time":"2000-09-01T00:00:00Z","timestamp":967766400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1016\/s1389-1286(00)00114-6","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T17:19:33Z","timestamp":1049735973000},"page":"503-537","source":"Crossref","is-referenced-by-count":35,"title":["Viewpoint consistency in ODP"],"prefix":"10.1016","volume":"34","author":[{"given":"Eerke","family":"Boiten","sequence":"first","affiliation":[]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Linington","sequence":"additional","affiliation":[]},{"given":"Maarten","family":"Steen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(00)00114-6_BIB1","unstructured":"AFNOR, A direct computational language semantics for Part 4 of the RM-ODP, ISO\/IEC JTC1\/SC21\/WG7 approved AFNOR contribution, July 1994"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","article-title":"Viewpoint specification and Z","volume":"36","author":"Ainsworth","year":"1994","journal-title":"Information and Software Technology"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB3","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1049\/sej.1996.0006","article-title":"Formal validation of viewpoint specifications","volume":"11","author":"Ainsworth","year":"1996","journal-title":"Software Engineering Journal"},{"issue":"4","key":"10.1016\/S1389-1286(00)00114-6_BIB4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/173794.173796","article-title":"Applying multiple views to information systems: a preliminary framework","volume":"24","author":"Baldwin","year":"1993","journal-title":"Data base"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB5","doi-asserted-by":"crossref","first-page":"640","DOI":"10.1109\/TSE.1984.5010294","article-title":"A methodology for data schema integration in the entity relationship model","volume":"SE-10","author":"Batini","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB6","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-0-387-35261-9_25"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB7","series-title":"Open Distributed Processing and Multimedia","author":"Blair","year":"1997"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB8","unstructured":"E. Boiten, Z unification tools in Generic Formaliser, Technical Report 10-97, Computing Laboratory, University of Kent at Canterbury, 1997"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB9","unstructured":"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"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB10","unstructured":"E.A. Boiten, J. Derrick, IO \u2013 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"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB11","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.14236\/ewic\/FA1997.2"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB12","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0167-6423(99)00006-4","article-title":"Constructive consistency checking for partial specification in Z","volume":"35","author":"Boiten","year":"1999","journal-title":"Science of Computer Programming"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","author":"Bolognesi","year":"1988","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB14","series-title":"Object-Oriented Analysis and Design","author":"Booch","year":"1994"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB15","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1007\/BF01211474","article-title":"On the lattice of specifications: applications to a specification methodology","volume":"4","author":"Boudriga","year":"1992","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB16","doi-asserted-by":"crossref","unstructured":"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\u2013167","DOI":"10.1007\/978-1-4471-3452-7_9"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB17","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0167-6423(98)00017-3","article-title":"Strategies for consistency checking based on unification","volume":"33","author":"Bowman","year":"1999","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB18","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1016\/0920-5489(95)00021-L","article-title":"FDTs for ODP","volume":"17","author":"Bowman","year":"1995","journal-title":"Computer Standards and Interfaces"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB19","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1049\/sej.1996.0005","article-title":"Cross viewpoint consistency in Open Distributed Processing","volume":"11","author":"Bowman","year":"1996","journal-title":"IEE Software Engineering Journal"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB20","doi-asserted-by":"crossref","unstructured":"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\u2013412","DOI":"10.1007\/978-0-387-34882-7_31"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB21","doi-asserted-by":"crossref","unstructured":"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\u2013204","DOI":"10.1007\/978-0-387-35082-0_14"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB22","unstructured":"H. Bowman, M.W.A. Steen, E.A. Boiten, J. Derrick, A formal framework for viewpoint consistency, Formal Methods in System Design, to appear"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB23","unstructured":"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\u2013360"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB24","unstructured":"C. Tina, Telecommunications information networking architecture, 1997. WWW: http:\/\/www.tinac.com\/"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB25","unstructured":"CCITT Z.100. Specification and Description Language SDL, 1988"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB26","unstructured":"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\u2013178"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB27","doi-asserted-by":"crossref","unstructured":"H.S. Delugach, An approach to conceptual feedback in multiple viewed software requirements modeling, in: A. Finkelstein and G. Spanoudakis [38], pp. 242\u2013246","DOI":"10.1145\/243327.243672"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB28","doi-asserted-by":"crossref","unstructured":"J. Derrick, E.A. Boiten, H. Bowman, M. Steen, Supporting ODP \u2013 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\u2013406","DOI":"10.1007\/978-0-387-35082-0_29"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB29","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0920-5489(99)00010-0","article-title":"Viewpoints and consistency \u2013 translating LOTOS to Object-Z","volume":"21","author":"Derrick","year":"1999","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB30","doi-asserted-by":"crossref","unstructured":"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\u2013516","DOI":"10.1007\/978-0-387-35079-0_32"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB31","doi-asserted-by":"crossref","unstructured":"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\u2013468","DOI":"10.1007\/3-540-60271-2_136"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB32","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s001650050007","article-title":"Specifying and refining internal operations in Z","volume":"10","author":"Derrick","year":"1998","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB33","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","article-title":"Object-Z: a specification language advocated for the description of standards","volume":"17","author":"Duke","year":"1995","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB34","doi-asserted-by":"crossref","unstructured":"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\u2013126","DOI":"10.1007\/978-0-387-35271-8_7"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB35","series-title":"Fundamentals of Algebraic Specification","author":"Ehrig","year":"1985"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB36","unstructured":"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\u2013362"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB37","doi-asserted-by":"crossref","unstructured":"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\u201358","DOI":"10.1142\/S0218194092000038"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB38","doi-asserted-by":"crossref","unstructured":"A. Finkelstein, G. Spanoudakis (Eds.), SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), 1996","DOI":"10.1145\/243327.243646"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB39","doi-asserted-by":"crossref","unstructured":"A. Finkelstein, G. Spanoudakis, D. Till, Managing interference, in: A. Finkelstein and G. Spanoudakis [38], pp. 172\u2013174","DOI":"10.1145\/243327.243646"},{"issue":"8","key":"10.1016\/S1389-1286(00)00114-6_BIB40","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","article-title":"Inconsistency handling in multiperspective specifications","volume":"20","author":"Finkelstein","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB41","doi-asserted-by":"crossref","unstructured":"C. Fischer, CSP-OZ \u2013 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\u2013438","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB42","doi-asserted-by":"crossref","unstructured":"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\u2013350","DOI":"10.1007\/BFb0024655"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB43","doi-asserted-by":"crossref","unstructured":"M. Frappier, A. Mili, J. Desharnais, Program construction by parts, in: B. M\u00f6ller (Ed.), Mathematics of Program Construction: Third International Conference, Lecture Notes in Computer Science, vol. 947, Springer, Berlin, 1995, pp. 257\u201381","DOI":"10.1007\/3-540-60117-1_15"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB44","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/3-540-60973-3"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB45","doi-asserted-by":"crossref","unstructured":"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\u20131262","DOI":"10.1016\/0169-7552(94)00033-P"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB46","unstructured":"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\u2013240"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB47","unstructured":"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\u201368"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB48","series-title":"Protocol Specification Testing and Verification IX","first-page":"3","article-title":"Signalling system no. 7 \u2013 the network layer","author":"Hayes","year":"1989"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB49","unstructured":"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\u2013196"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB50","unstructured":"ISO 8807, LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, July 1987"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB51","unstructured":"ISO 9074, Estelle, a Formal Description Technique Based on an Extended State Transition Model, June 1987"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB52","unstructured":"ISO\/IEC JTC1\/SC21\/WG7, Basic Reference Model of Open Distributed Processing, ISO 10746, 1993, Part 1\u20134"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB53","unstructured":"ITU\/ISO CD ISO 13235\/ITU.TS Rec.9tr, ODP Trading Function, 1994"},{"issue":"4","key":"10.1016\/S1389-1286(00)00114-6_BIB54","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/226241.226249","article-title":"Structuring Z specifications with views","volume":"4","author":"Jackson","year":"1995","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB55","series-title":"Systematic Software Development using VDM","author":"Jones","year":"1989"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB56","doi-asserted-by":"crossref","unstructured":"V. Kasurinen, K. Sere, Integrating action systems and Z in a medical system specification, in: M.-C. Gaudel and J. Woodcock [44], pp. 105\u2013119","DOI":"10.1007\/3-540-60973-3_83"},{"issue":"3","key":"10.1016\/S1389-1286(00)00114-6_BIB57","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF01384500","article-title":"Merging behaviour specifications","volume":"6","author":"Khendek","year":"1995","journal-title":"Journal of Formal Methods in System Design"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB58","doi-asserted-by":"crossref","unstructured":"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 \u2013 Ninth International Conference, Lecture Notes in Computer Science, vol. 1125, Springer, Berlin, 1996, pp. 283\u2013298","DOI":"10.1007\/BFb0105411"},{"issue":"6","key":"10.1016\/S1389-1286(00)00114-6_BIB59","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1049\/sej.1992.0038","article-title":"Viewpoints for requirements definition","volume":"7","author":"Kotonya","year":"1992","journal-title":"IEE Software Engineering Journal"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB60","doi-asserted-by":"crossref","unstructured":"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\u20139 September 1995, Proceedings, LNCS, vol. 967, Springer, Berlin, 1995, pp. 355\u2013373","DOI":"10.1007\/3-540-60271-2_130"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB61","unstructured":"G. Leduc, On the role of implementation relations in the design of distributed systems using LOTOS, Ph.D. Thesis, University of Li\u00e8ge, Li\u00e8ge, Belgium, June 1991"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB62","doi-asserted-by":"crossref","unstructured":"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\u201333","DOI":"10.1007\/978-0-387-34882-7_2"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB63","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/52.62932","article-title":"Difficulties in integrating multiview development systems","volume":"8","author":"Meyers","year":"1991","journal-title":"IEEE Software"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB64","unstructured":"Microsoft, The component object model specification, 1997, http:\/\/www.microsoft.com\/oledev\/olecom\/title.htm"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB65","unstructured":"G.P. Mullery, CORE \u2013 a method for controlled requirement specification, in: Proceedings of the Fourth International Conference on Software Engineering, IEEE Computer Society, Silverspring, MD, 1979, pp. 126\u2013135"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB66","doi-asserted-by":"crossref","unstructured":"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\u2013176","DOI":"10.1007\/978-0-387-35261-9_11"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB67","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MC.1986.1663033","article-title":"Integrating user views in database design","volume":"19","author":"Navathe","year":"1986","journal-title":"IEEE Computer"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB68","unstructured":"B.A. Nuseibeh, A multi-perspective framework for method integration, Ph.D. Thesis, Imperial College, University of London, 1994"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB69","unstructured":"Object Management Group, The Common Object Request Broker: Architecture and Specification, February 1997, http:\/\/www.omg.org\/"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB70","unstructured":"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\u2013234"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB71","doi-asserted-by":"crossref","unstructured":"W.L. Poon, A. Finkelstein, Consistency management for multiple perspective software development, in: A. Finkelstein and G. Spanoudakis [38], pp. 192\u2013196","DOI":"10.1145\/243327.243656"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB72","doi-asserted-by":"crossref","unstructured":"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\u201314","DOI":"10.1007\/978-0-387-34882-7_1"},{"issue":"4","key":"10.1016\/S1389-1286(00)00114-6_BIB73","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1049\/sej.1995.0018","article-title":"A software design framework or how to support real designers","volume":"10","author":"Reeves","year":"1995","journal-title":"IEE Software Engineering Journal"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB74","series-title":"The Integrated Services Digital Network: from Concept to Application","author":"Ronayne","year":"1987"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB75","unstructured":"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\u2013312"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB76","unstructured":"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"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB77","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/0920-5489(95)00025-P","article-title":"Applying formal methods to standard development: the open distributed processing experience","volume":"17","author":"Sinnott","year":"1995","journal-title":"Computer Standards and Interfaces"},{"issue":"3","key":"10.1016\/S1389-1286(00)00114-6_BIB78","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01211075","article-title":"A fully abstract semantics of classes for Object-Z","volume":"7","author":"Smith","year":"1995","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB79","doi-asserted-by":"crossref","unstructured":"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\u201381","DOI":"10.1007\/3-540-63533-5_4"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB80","doi-asserted-by":"crossref","unstructured":"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\u2013302","DOI":"10.1109\/ICFEM.1997.630436"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB81","series-title":"Software Engineering","author":"Sommerville","year":"1989"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB82","series-title":"The Z notation: A Reference Manual","author":"Spivey","year":"1989"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB83","doi-asserted-by":"crossref","unstructured":"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\u201388","DOI":"10.1007\/978-0-387-34892-6_6"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB84","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/EDOC.1999.792052"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB85","unstructured":"M.W.A. Steen, Consistency and composition of process specifications, Ph.D. Thesis, University of Kent at Canterbury, United Kingdom, 1998"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB86","unstructured":"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"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB87","doi-asserted-by":"crossref","unstructured":"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\u2013307","DOI":"10.1007\/978-3-540-49676-2_20"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB88","unstructured":"C.N. Taylor, J. Derrick, E.A. Boiten, A case study in partial specification: consistency and refinement for Object-Z, submitted for publication"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB89","doi-asserted-by":"crossref","unstructured":"K. Turner, G. Scullo (Eds.), Computer Networks and ISDN Systems, 29 (4) (1997) (Special Issue)","DOI":"10.1016\/S0169-7552(96)00107-9"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB90","unstructured":"R.J. van Glabbeek, The refinement theorem for ST-bisimulation semantics, in: Programming Concepts and Methods, Elsevier, Amsterdam, 1990"},{"issue":"1","key":"10.1016\/S1389-1286(00)00114-6_BIB91","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","article-title":"On the use of specification styles in the design of distributed systems","volume":"89","author":"Vissers","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB92","doi-asserted-by":"crossref","unstructured":"M. Weber, Combining statecharts and Z for the design of safety-critical control systems, in: M.-C. Gaudel and J. Woodcock [44], pp. 307\u2013326","DOI":"10.1007\/3-540-60973-3_94"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB93","series-title":"Using Z: Specification, Refinement, and Proof","author":"Woodcock","year":"1996"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB94","series-title":"Object-Oriented Concurrent Programming","author":"Yonezawa","year":"1987"},{"issue":"4","key":"10.1016\/S1389-1286(00)00114-6_BIB95","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/158431.158438","article-title":"Conjunction as composition","volume":"2","author":"Zave","year":"1993","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"7","key":"10.1016\/S1389-1286(00)00114-6_BIB96","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1109\/32.538607","article-title":"Where do operations come from? A multiparadigm specification technique","volume":"22","author":"Zave","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(00)00114-6_BIB97","doi-asserted-by":"crossref","unstructured":"H. Zimmermann, OSI \u2013 reference model \u2013 ISO model of architecture for open systems interconnection, IEEE Transactions on Communications COM-28 (1980) 425\u2013432","DOI":"10.1109\/TCOM.1980.1094702"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128600001146?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128600001146?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T22:07:50Z","timestamp":1579212470000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128600001146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,9]]},"references-count":97,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,9]]}},"alternative-id":["S1389128600001146"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(00)00114-6","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2000,9]]}}}