{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:59Z","timestamp":1725664859833},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:29:38Z","timestamp":1330298978000},"page":"644-664","source":"Crossref","is-referenced-by-count":13,"title":["Viewpoint consistency in Z and LOTOS: A case study"],"prefix":"10.1007","author":[{"given":"Eerke","family":"Boiten","sequence":"first","affiliation":[]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]},{"given":"Maarten","family":"Steen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"1","key":"34_CR1","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, P. J. L. Wallis, and L. J. Groves. Viewpoint specification and Z. Information and Software Technology, 36(1):43\u201351, February 1994.","journal-title":"Information and Software Technology"},{"issue":"1","key":"34_CR2","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1049\/sej.1996.0006","volume":"11","author":"M. Ainsworth","year":"1996","unstructured":"M. Ainsworth, S. Riddle, and P.J.L. Wallis. Formal validation of viewpoint specifications. Software Engineering Journal, 11(1):58\u201366, January 1996.","journal-title":"Software Engineering Journal"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"E. Boiten, J. Derrick, H. Bowman, and M. Steen. Consistency and refinement for partial specification in Z. In Gaudel and Woodcock [16], pages 287\u2013306.","DOI":"10.1007\/3-540-60973-3_93"},{"key":"34_CR4","first-page":"189","volume-title":"First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems","author":"H. Bowman","year":"1996","unstructured":"H. Bowman, E.A. Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In E. Najm and J.-B. Stefani, editors, First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, pages 189\u2013204, Paris, March 1996. Chapman & Hall."},{"key":"34_CR5","unstructured":"H. Bowman, E.A. Boiten, J. Derrick, and M. Steen. A formal theory of viewpoint consistency. Submitted for publication, 1997."},{"key":"34_CR6","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-0-387-34882-7_31","volume-title":"IFIP TC6 International Conference on Open Distributed Processing","author":"H. Bowman","year":"1995","unstructured":"H. Bowman, J. Derrick, and M. Steen. Some results on cross viewpoint consistency checking. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 399\u2013412, Brisbane, Australia, February 1995. Chapman and Hall."},{"key":"34_CR7","first-page":"349","volume-title":"Protocol Specification, Testing and Verification, VI","author":"E. Brinksma","year":"1986","unstructured":"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\u2013360, Montreal, Canada, June 1986. North-Holland."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"E. Cusack and G. H. B. Rafsanjani. ZEST. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 113\u2013126. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3552-4_10"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"H.S. Delugach. An approach to conceptual feedback in multiple viewed software requirements modeling. In Finkelstein and Spanoudakis [14], pages 242\u2013246.","DOI":"10.1145\/243327.243672"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. Weak refinement in Z. In J.P. Botnen, M.G. Hinchey, and D.Till, editors, ZUM '97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369\u2013388. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0027298"},{"key":"34_CR11","series-title":"FORTE\/PSTV'96","first-page":"501","volume-title":"Comparing LOTOS and Z refinement relations","author":"J. Derrick","year":"1996","unstructured":"J. Derrick, H. Bowman, E. Boiten, and M. Steen. Comparing LOTOS and Z refinement relations. In FORTE\/PSTV'96, pages 501\u2013516, Kaiserslautern, Germany, October 1996. Chapman & Hall."},{"key":"34_CR12","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/978-0-387-34882-7_32","volume-title":"IFIP TC6 International Conference on Open Distributed Processing","author":"J. Derrick","year":"1995","unstructured":"J. Derrick, H. Bowman, and M. Steen. Maintaining cross viewpoint consistency using Z. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 413\u2013424, Brisbane, Australia, February 1995. Chapman and Hall."},{"key":"34_CR13","first-page":"399","volume-title":"First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems","author":"J. Derrick","year":"1996","unstructured":"J. Derrick, E.A.Boiten, H. Bowman, and M. Steen. Supporting ODP \u2014 translating LOTOS to Z. In E. Najm and J.-B. Stefani, editors, First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, pages 399\u2013406, Paris, March 1996. Chapman & Hall."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"A. Finkelstein and G. Spanoudakis, editors. SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96). ACM, 1996.","DOI":"10.1145\/251759.251832"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"M. Frappier, A. Mili, and J. Desharnais. Program construction by parts. In B. M\u00f6ller, editor, Mathematics of Program Construction: Third International Conference, volume 947 of Lecture Notes in Computer Science, pages 257\u2013281. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60117-1_15"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"M.-C. Gaudel and J. Woodcock, editors. FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science. Springer-Verlag, March 1996.","DOI":"10.1007\/3-540-60973-3"},{"key":"34_CR17","unstructured":"I. Hayes, M. Mowbray, and G.A. Rose. Signalling system no. 7 \u2014 the network layer. In PSTV IX, pages 3\u201314, 1990."},{"key":"34_CR18","unstructured":"M.G. Hinchey. JSD, CSP and TLZ. In Methods Integration Workshop, Leeds, 1996."},{"key":"34_CR19","unstructured":"ITU Recommendation X.901-904 \u2014 ISO\/IEC 10746 1-4. Open Distributed Processing \u2014 Reference Model \u2014 Parts 1\u20134, July 1995."},{"key":"34_CR20","doi-asserted-by":"crossref","unstructured":"D. Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology, 4(4), October 1995.","DOI":"10.1145\/226241.226249"},{"key":"34_CR21","doi-asserted-by":"crossref","unstructured":"V. Kasurinen and K. Sere. Integrating action systems and Z in a medical system specification. In Gaudel and Woodcock [16], pages 105\u2013119.","DOI":"10.1007\/3-540-60973-3_83"},{"key":"34_CR22","unstructured":"G. Leduc. On the Role of Implementation Relations in the Design of Distributed Systems using LOTOS. PhD thesis, University of Li\u00e8ge, Li\u00e8ge, Belgium, June 1991."},{"key":"34_CR23","doi-asserted-by":"crossref","unstructured":"F. Polack and K. C. Mander. Software quality assurance using the SAZ method. In J. P. Bowen and J. A. Hall, editors, Z User Workshop, Cambridge 1994, Workshops in Computing, pages 230\u2013249. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3452-7_13"},{"key":"34_CR24","volume-title":"The Integrated Services Digital Network: from concept to application","author":"J. Ronayne","year":"1987","unstructured":"J. Ronayne. The Integrated Services Digital Network: from concept to application. Pitman, London, 1987."},{"key":"34_CR25","unstructured":"J. M. Spivey. The Z notation: A reference manual. Prentice Hall, 1989."},{"key":"34_CR26","first-page":"73","volume-title":"Protocol Specification, Testing and Verification, XV","author":"M. W. A. Steen","year":"1995","unstructured":"M. W. A. Steen, H. Bowman, and J. Derrick. Composition of LOTOS specifications. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification, XV, pages 73\u201388, Warsaw, Poland, 1995. Chapman & Hall."},{"key":"34_CR27","series-title":"LNCS","first-page":"264","volume-title":"Ninth Annual Z User Workshop","author":"B. Strulo","year":"1995","unstructured":"B. Strulo. How firing conditions help inheritance. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, LNCS 967, pages 264\u2013275, Limerick, September 1995. Springer-Verlag."},{"key":"34_CR28","unstructured":"R.J. van Glabbeek. The refinement theorem for ST-bisimulation semantics. In Programming Concepts and Methods. Elsevier Science Publishers, 1990."},{"key":"34_CR29","doi-asserted-by":"crossref","unstructured":"M. Weber. Combining statecharts and Z for the design of safety-critical control systems. In Gaudel and Woodcock [16], pages 307\u2013326.","DOI":"10.1007\/3-540-60973-3_94"},{"key":"34_CR30","unstructured":"J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:53Z","timestamp":1605647933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}