{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:16:22Z","timestamp":1770977782661,"version":"3.50.1"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1023\/a:1016000201864","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T20:59:24Z","timestamp":1041109164000},"page":"111-166","source":"Crossref","is-referenced-by-count":32,"title":["A Formal Framework for Viewpoint Consistency"],"prefix":"10.1007","volume":"21","author":[{"given":"H.","family":"Bowman","sequence":"first","affiliation":[]},{"given":"M.W.A.","family":"Steen","sequence":"additional","affiliation":[]},{"given":"E.A.","family":"Boiten","sequence":"additional","affiliation":[]},{"given":"J.","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5090225_CR1","first-page":"218","volume-title":"Proc. 13th New Zealand Computer Conference","author":"M. Ainsworth","year":"1993","unstructured":"M. Ainsworth, A.H. Cruickshank, L.J. Groves, and P.J.L. Wallis, \u201cFormal specification via viewpoints,\u201d in J. Hosking (Ed.), Proc. 13th New Zealand Computer Conference, New Zealand Computer Society, Auckland, New Zealand, 1993, pp. 218\u2013237."},{"issue":"1","key":"5090225_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","volume":"36","author":"M. Ainsworth","year":"1994","unstructured":"M. Ainsworth, A.H. Cruickshank, L.J. Groves, and P.J.L. Wallis, \u201cViewpoint specification and Z,\u201d Information and Software Technology, Vol. 36, No. 1, pp. 43\u201351, 1994.","journal-title":"Information and Software Technology"},{"key":"5090225_CR3","volume-title":"Proc. 6th Refinement Workshop","author":"M. Ainsworth","year":"1994","unstructured":"M. Ainsworth and P.J.L. Wallis, \u201cCo-refinement,\u201d in D. Till (Ed.), Proc. 6th Refinement Workshop, City University, London, 1994, Springer-Verlag, Berlin."},{"key":"5090225_CR4","series-title":"Technical Report","volume-title":"Cross viewpoint consistency in open distributed processing (intra language consistency)","author":"E. Boiten","year":"1995","unstructured":"E. Boiten, H. Bowman, J. Derrick, and M. Steen, \u201cCross viewpoint consistency in open distributed processing (intra language consistency),\u201d Technical Report 8\u201395, Computing Laboratory, University of Kent at Canterbury, 1995."},{"key":"5090225_CR5","series-title":"LNCS","first-page":"644","volume-title":"Formal Methods Europe (FME '97)","author":"E. Boiten","year":"1997","unstructured":"E. Boiten, H. Bowman, J. Derrick, and M. Steen, \u201cViewpoint consistency in Z and LOTOS: A case study,\u201d in J. Fitzgerald, C.B. Jones, and P. Lucas (Eds.), Formal Methods Europe (FME '97), Vol. 1313 LNCS, Graz, Austria, Springer-Verlag, Berlin, 1997, pp. 644\u2013664."},{"key":"5090225_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/3-540-60973-3_93","volume-title":"Consistency and refinement for partial specification in Z","author":"E. Boiten","year":"1996","unstructured":"E. Boiten, J. Derrick, H. Bowman, and M. Steen, \u201cConsistency and refinement for partial specification in Z,\u201d in M.-C. Gaudel and J. Woodcock (Eds.), FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, Vol. 1051 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1996, pp. 287\u2013306."},{"issue":"1","key":"5090225_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"T. Bolognesi and E. Brinksma, \u201cIntroduction to the ISO Specification Language LOTOS,\u201d Computer Networks and ISDN Systems, Vol. 14, No. 1, pp. 25\u201359, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"key":"5090225_CR8","unstructured":"G. Booch, Object-Oriented Analysis and Design, The Benjamin\/Cummings Publishing, 1994."},{"key":"5090225_CR9","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language, Rational Software Corporation, 1997."},{"key":"5090225_CR10","first-page":"189","volume-title":"Viewpoint consistency in ODP, a general interpretation","author":"H. Bowman","year":"1996","unstructured":"H. Bowman, E.A. Boiten, J. Derrick, and M.W.A. Steen, \u201cViewpoint consistency in ODP, a general interpretation,\u201d in First IFIP InternationalWorkshop on Formal Methods for Open Object-Based Distributed Systems, Chapman and Hall, Paris, 1996, pp. 189\u2013204."},{"key":"5090225_CR11","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0167-6423(98)00017-3","volume":"33","author":"H. Bowman","year":"1999","unstructured":"H. Bowman, E.A. Boiten, J. Derrick, and M.W.A. Steen, \u201cStrategies for consistency checking based on unification,\u201d Science of Computer Programming, Vol. 33, pp. 261\u2013298, 1999.","journal-title":"Science of Computer Programming"},{"key":"5090225_CR12","doi-asserted-by":"crossref","unstructured":"H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo, \u201cOnbehavioural subtyping inLOTOS,\u201d in H. Bowman and J. Derrick (Eds.), FMOODS'97, 2nd IFIP Conference on Formal Methods for Open Object Based Distributed Systems, Chapman and Hall, 1997, pp. 335\u2013351.","DOI":"10.1007\/978-0-387-35261-9_23"},{"key":"5090225_CR13","doi-asserted-by":"crossref","unstructured":"H. Bowman and J. Derrick, \u201cA junction between state based and behavioural specification,\u201d in A. Fantechi, P. Ciancarini, and R. Gorrieri (Eds.), FMOODS'99, 3rd IFIP Conference on Formal Methods for Open Object Based Distributed Systems, Kluwer, 1999, pp. 213\u2013239.","DOI":"10.1007\/978-0-387-35562-7_18"},{"key":"5090225_CR14","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1016\/0920-5489(95)00021-L","volume":"17","author":"H. Bowman","year":"1995","unstructured":"H. Bowman, J. Derrick, P. Linington, and M.W.A. Steen, \u201cFDTs for ODP,\u201d Computer Standards and Interfaces, Vol. 17, pp. 457\u2013479, 1995.","journal-title":"Computer Standards and Interfaces"},{"key":"5090225_CR15","doi-asserted-by":"crossref","unstructured":"H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen, \u201cCross viewpoint consistency in Open Distributed Processing,\u201d in A. Finkelstein and I. Sommerville (Eds.), IEE Software Engineering Journal, Special Issue on Viewpoints, Vol. 11, No. 1, pp. 44\u201357, 1996.","DOI":"10.1049\/sej.1996.0005"},{"key":"5090225_CR16","first-page":"399","volume-title":"Some results on cross viewpoint consistency checking","author":"H. Bowman","year":"1995","unstructured":"H. Bowman, J. Derrick, and M.W.A. Steen, \u201cSome results on cross viewpoint consistency checking,\u201d in K. Raymond and L. Armstrong (Eds.), IFIP TC6 International Conference on Open Distributed Processing, Chapman and Hall, Brisbane, Australia, 1995, pp. 399\u2013412."},{"key":"5090225_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/B978-0-444-89402-1.50012-6","volume-title":"FORTE'91, Formal Description Techniques, IV","author":"E. Brinksma","year":"1992","unstructured":"E. Brinksma, \u201cWhat is the method in formal methods,\u201d in K.R. Parker and G.A. Rose (Eds.), FORTE'91, Formal Description Techniques, IV, North-Holland, Sydney, Australia, 1992, pp. 33\u201350."},{"key":"5090225_CR18","unstructured":"E. Brinksma and G. Scollo, \u201cFormal notions of implementation and conformance in LOTOS,\u201d Technical Report INF\u201386\u201313, Dept. of Informatics, Twente University of Technology, 1986."},{"key":"5090225_CR19","first-page":"349","volume-title":"Protocol Specification, Testing and Verification, VI","author":"E. Brinksma","year":"1986","unstructured":"E. Brinksma, G. Scollo, and C. Steenbergen, \u201cProcess specification, their implementation and their tests,\u201d in B. Sarikaya and G.V. Bochmann (Eds.), Protocol Specification, Testing and Verification, VI, North-Holland, Montreal, Canada, 1986, pp. 349\u2013360."},{"key":"5090225_CR20","unstructured":"G. Cowen, J. Derrick, M. Gill, and G. Girling, \u201cProst report of the study on testing for open distributed processing\u201d in A. Herbert, P.F. Linington, D. Rayner, F. Schulz, and R. Soley (Eds.), APM Ltd., 1993."},{"key":"5090225_CR21","first-page":"399","volume-title":"Supporting ODP-translating LOTOS to Z","author":"J. Derrick","year":"1996","unstructured":"J. Derrick, E.A. Boiten, H. Bowman, and M. Steen, \u201cSupporting ODP-translating LOTOS to Z,\u201d in First IFIP International workshop on Formal Methods for Open Object-Based Distributed Systems, Chapman and Hall, Paris, 1996, pp. 399\u2013406."},{"key":"5090225_CR22","doi-asserted-by":"crossref","unstructured":"J. Derrick, E.A. Boiten, H. Bowman, and M. Steen, \u201cTranslating LOTOS to object-Z,\u201d in D.J. Duke and A.S. Evans (Eds.), Northern Formal MethodsWorkshop,Vol. 2nd BCS-FACS Northern Formal MethodsWorkshop of Workshops in Computing, Springer-Verlag, 1997.","DOI":"10.14236\/ewic\/FA1997.4"},{"key":"5090225_CR23","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0920-5489(99)00010-0","volume":"21","author":"J. Derrick","year":"1999","unstructured":"J. Derrick, E.A. Boiten, H. Bowman, and M. Steen, \u201cViewpoints and consistency: Translating LOTOS to object-Z,\u201d Computer Standards and Interfaces, Vol. 21, pp. 251\u2013272, 1999.","journal-title":"Computer Standards and Interfaces"},{"key":"5090225_CR24","first-page":"413","volume-title":"Maintaining cross viewpoint consistency using Z","author":"J. Derrick","year":"1995","unstructured":"J. Derrick, H. Bowman, and M. Steen, \u201cMaintaining cross viewpoint consistency using Z,\u201d in K. Raymond and L. Armstrong (Eds.), IFIP TC6 International Conference on Open Distributed Processing, Chapman and Hall, Brisbane, Australia, 1995, pp. 413\u2013424."},{"key":"5090225_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Viewpoints and objects","author":"J. Derrick","year":"1995","unstructured":"J. Derrick, H. Bowman, and M. Steen, \u201cViewpoints and objects,\u201d in Ninth Annual Z User Workshop, Lecture Notes in Computer Science 967, Springer-Verlag, Limerick, 1995."},{"key":"5090225_CR26","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and T. Maibaum, \u201cTemporal theories as modularisation units for concurrent system specification,\u201d Formal Aspects of Computing, Vol. 4, pp. 239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"5090225_CR27","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke, \u201cViewpoints: A framework for integrating multiple perspectives in system development,\u201d International Journal on Software Engineering and Knowledge Engineering, Special issue on Trends and Research Directions in Software Engineering Environments, Vol. 2, No. 1, pp. 31\u201358, 1992.","journal-title":"International Journal on Software Engineering and Knowledge Engineering"},{"key":"5090225_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Proceedings Logics of Programming Workshop","author":"J. Goguen","year":"1984","unstructured":"J. Goguen and R. Burstall, \u201cIntroducing institutions,\u201d in E. Clarke and D. Kozen (Eds.), Proceedings Logics of Programming Workshop, Vol. 164 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1984, pp. 221\u2013256."},{"key":"5090225_CR29","unstructured":"M. Hennessy, Algebraic Theory of Processes, MIT Press, 1988."},{"key":"5090225_CR30","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5090225_CR31","unstructured":"H. Ichikawa, K. Yamanaka, and J. Kato, \u201cIncremental specification in LOTOS,\u201d in L. Logrippo, R.L. Probert, and H. Ural (Eds.), Protocol Specification, Testing and Verification X, Ottawa, Canada, 1990, pp. 183\u2013196."},{"key":"5090225_CR32","unstructured":"ISO, Information processing systems\u2014Open systems interconnection\u2014Basic reference model, 1984, IS 7498."},{"key":"5090225_CR33","unstructured":"ISO, Information processing systems\u2014Open systems interconnection\u2014LOTOS\u2014A formal description technique based on the temporal ordering of observational behaviour, 1989, IS 8807."},{"key":"5090225_CR34","unstructured":"ISO, LOTOS description of the Session Protocol, 1989, ISO\/IEC TR9572."},{"key":"5090225_CR35","unstructured":"ISO, LOTOS description of the Session Service, 1989, ISO\/IEC TR9571."},{"key":"5090225_CR36","unstructured":"ITU Recommendation X.901\u2014904\u2014ISO\/IEC 10746 1\u20144, Open Distributed Processing\u2014Reference Model\u2014 Parts 1\u20144, July 1995."},{"issue":"4","key":"5090225_CR37","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/226241.226249","volume":"4","author":"D. Jackson","year":"1995","unstructured":"D. Jackson, \u201cStructuring Z specifications with views,\u201d ACM Transactions on Software Engineering and Methodology, Vol. 4, No. 4, pp. 365\u2013389, 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5090225_CR38","unstructured":"F. Khendek and G. von Bochmann, \u201cMerging specification behaviours,\u201d Technical Report 856, Departement d'informatique et de recherche operationnelle, Universite de Montreal, 1993."},{"key":"5090225_CR39","doi-asserted-by":"crossref","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, \u201cAspect-oriented programming,\u201d Technical Report SPL97\u2013008 P9710042, PARC, 1997.","DOI":"10.1007\/BFb0053381"},{"key":"5090225_CR40","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, B. Steffen, and C. Weise, \u201cA constraint oriented proof methodology based on modal transition systems,\u201d Technical Report RS\u201394\u201347, University of Aarhus, 1994.","DOI":"10.7146\/brics.v1i47.21595"},{"key":"5090225_CR41","volume-title":"On the role of implementation relations in the design of distributed systems using LOTOS","author":"G. Leduc","year":"1991","unstructured":"G. Leduc, \u201cOn the role of implementation relations in the design of distributed systems using LOTOS,\u201d Ph.D. Thesis, University of Li\u00e8ge, Li\u00e8ge, Belgium, 1991."},{"key":"5090225_CR42","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0169-7552(92)90122-7","volume":"25","author":"G. Leduc","year":"1992","unstructured":"G. Leduc, \u201cA framework based on implementation relations for implementing LOTOS specifications,\u201d Computer Networks and ISDN Systems, Vol. 25, pp. 23\u201341, 1992.","journal-title":"Computer Networks and ISDN Systems"},{"key":"5090225_CR43","first-page":"15","volume-title":"RM-ODP: The architecture","author":"P.F. Linington","year":"1995","unstructured":"P.F. Linington, \u201cRM-ODP: The architecture,\u201d in K. Raymond and L. Armstrong (Eds.), IFIP TC6 International Conference on Open Distributed Processing, Chapman and Hall, Brisbane, Australia, 1995, pp. 15\u201333."},{"key":"5090225_CR44","unstructured":"J. Loeckx and K. Sieber, The Foundations of Program Verification, Wiley, 1984."},{"key":"5090225_CR45","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall, 1989."},{"key":"5090225_CR46","volume-title":"Language-free mathematical methods for software design (invited paper)","author":"D.L. Parnas","year":"1995","unstructured":"D.L. Parnas, \u201cLanguage-free mathematical methods for software design (invited paper),\u201d in Ninth Annual Z User Workshop, Springer-Verlag, Limerick, 1995."},{"key":"5090225_CR47","unstructured":"B. Potter, J. Sinclair, and D. Till, An Introduction to Formal Specification and Z, Prentice Hall, 1991."},{"key":"5090225_CR48","unstructured":"I. Sommerville, Software Engineering, Addison-Wesley, 1989."},{"key":"5090225_CR49","volume-title":"Protocol Specification, Testing and Verification","author":"M. Steen","year":"1995","unstructured":"M. Steen, H. Bowman, and J. Derrick, \u201cComposition of LOTOS specifications,\u201d in P. Dembinski and M. Sredniawa (Eds.), Protocol Specification, Testing and Verification, Chapman and Hall, Warsaw, Poland, 1995."},{"key":"5090225_CR50","volume-title":"Consistency and composition of process specifications","author":"M.W.A. Steen","year":"1998","unstructured":"M.W.A. Steen, \u201cConsistency and composition of process specifications,\u201d Ph.D. Thesis, University of Kent at Canterbury, Canterbury, Kent, UK, 1998."},{"key":"5090225_CR51","unstructured":"J. Woodcock and J. Davies, Using Z: Specification, Refinement, and Proof, Prentice Hall, 1996."},{"key":"5090225_CR52","doi-asserted-by":"crossref","unstructured":"R. Worden, \u201cFermenting and distilling,\u201d in J.P. Bowen and J.A. Hall (Eds.), ZUM'94, Z User Workshop, Cambridge, United Kingdom, 1994, pp. 1\u20136.","DOI":"10.1007\/978-1-4471-3452-7_1"},{"key":"5090225_CR53","first-page":"533","volume-title":"Formal Description Techniques, II","author":"J.-P. Wu","year":"1989","unstructured":"J.-P. Wu and S. Chanson, \u201cTranslation from LOTOS and Estelle specifications to extended transition system and its verification,\u201d in S.T. Voung (Ed.), Formal Description Techniques, II, North-Holland, Vancouver, Canada, 1989, pp. 533\u2013549."},{"issue":"4","key":"5090225_CR54","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"P. Zave and M. Jackson, \u201cConjunction as composition,\u201d ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 4, pp. 379\u2013411, 1993.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016000201864.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016000201864\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016000201864.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T19:06:31Z","timestamp":1754420791000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016000201864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["5090225"],"URL":"https:\/\/doi.org\/10.1023\/a:1016000201864","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}