{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T04:27:03Z","timestamp":1759206423716},"reference-count":65,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"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 Standards & Interfaces"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1016\/j.csi.2011.10.015","type":"journal-article","created":{"date-parts":[[2011,12,15]],"date-time":"2011-12-15T04:06:55Z","timestamp":1323922015000},"page":"269-276","source":"Crossref","is-referenced-by-count":4,"title":["From ODP viewpoint consistency to Integrated Formal Methods"],"prefix":"10.1016","volume":"35","author":[{"given":"Eerke A.","family":"Boiten","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.csi.2011.10.015_bb0005","series-title":"Action Refinement in Process Algebras","author":"Aceto","year":"1992"},{"key":"10.1016\/j.csi.2011.10.015_bb0010","series-title":"International Conference on Integrated Formal Methods 1999 (IFM'99)","year":"1999"},{"key":"10.1016\/j.csi.2011.10.015_bb0015","doi-asserted-by":"crossref","unstructured":"E. A. Boiten, H. Bowman, J. Derrick, and M. W. A. Steen. Issues in multiparadigm viewpoint specification. In Finkelstein and Spanoudakis [35], 1996, pp. 162\u2013166.","DOI":"10.1145\/243327.243639"},{"key":"10.1016\/j.csi.2011.10.015_bb0020","series-title":"3rd BCS-FACS Northern Formal Methods Workshop","article-title":"IO-refinement in Z","author":"Boiten","year":"1998"},{"issue":"1","key":"10.1016\/j.csi.2011.10.015_bb0025","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":"3","key":"10.1016\/j.csi.2011.10.015_bb0030","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/S1389-1286(00)00114-6","article-title":"Viewpoint consistency in ODP","volume":"34","author":"Boiten","year":"2000","journal-title":"Computer Networks"},{"key":"10.1016\/j.csi.2011.10.015_bb0035","series-title":"Critical Systems Development with UML \u2014 Proceedings of the UML'03 workshop, volume TUM-I0323","first-page":"47","article-title":"Exploring UML refinement through unification","author":"Boiten","year":"2003"},{"key":"10.1016\/j.csi.2011.10.015_bb0040","series-title":"Mathematics of Program Construction, 5th International Conference, Ponte de Lima, volume 1837 of Lecture Notes in Computer Science","first-page":"144","article-title":"Liberating data refinement","author":"Boiten","year":"2000"},{"issue":"3","key":"10.1016\/j.csi.2011.10.015_bb0045","first-page":"39","article-title":"A relational framework for the integration of specifications","volume":"7","author":"Boiten","year":"2003","journal-title":"Journal of Integrated Design and Process Science"},{"issue":"1\u20132","key":"10.1016\/j.csi.2011.10.015_bb0050","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s00165-007-0066-z","article-title":"Relational concurrent refinement II: internal operations and outputs","volume":"21","author":"Boiten","year":"2009","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.csi.2011.10.015_bb0055","series-title":"Integrated Formal Methods, 4th International Conference, volume 2999 of Lecture Notes in Computer Science","year":"2004"},{"issue":"1","key":"10.1016\/j.csi.2011.10.015_bb0060","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\/j.csi.2011.10.015_bb0065","series-title":"Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science","first-page":"225","article-title":"Refinement in Object-Z and CSP","author":"Bolton","year":"2002"},{"key":"10.1016\/j.csi.2011.10.015_bb0070","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/s00165-005-0081-x","article-title":"A singleton failures semantics for communicating sequential processes","volume":"18","author":"Bolton","year":"2006","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.csi.2011.10.015_bb0075","series-title":"ZUM'98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science","year":"1998"},{"key":"10.1016\/j.csi.2011.10.015_bb0080","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"},{"key":"10.1016\/j.csi.2011.10.015_bb0085","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1023\/A:1016000201864","article-title":"A formal framework for viewpoint consistency","volume":"21","author":"Bowman","year":"2002","journal-title":"Formal Methods in Systems Design"},{"key":"10.1016\/j.csi.2011.10.015_bb0090","series-title":"Specification and Description Language SDL","author":"CCITT Z.100","year":"1988"},{"key":"10.1016\/j.csi.2011.10.015_bb0100","series-title":"ISO\/IEC JTC1\/SC21\/WG7 approved AFNOR contribution","article-title":"A direct computational language semantics for Part 4 of the RM-ODP","author":"AFNOR cont.","year":"1994"},{"key":"10.1016\/j.csi.2011.10.015_bb0110","series-title":"IFIP TC6 International Workshop on Open Distributed Processing","first-page":"167","article-title":"Object oriented modelling in Z for open distributed systems","author":"Cusack","year":"1991"},{"key":"10.1016\/j.csi.2011.10.015_bb0115","series-title":"UML 2002 Workshop on Consistency Problems in UML-based Software Development","first-page":"30","article-title":"A framework for UML consistency","author":"Derrick","year":"2002"},{"key":"10.1016\/j.csi.2011.10.015_bb0120","series-title":"FM'99 World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of Lecture Notes in Computer Science","first-page":"1477","article-title":"Non-atomic refinement in Z","author":"Derrick","year":"1999"},{"key":"10.1016\/j.csi.2011.10.015_bb0125","series-title":"First IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems","first-page":"399","article-title":"Supporting ODP \u2014 translating LOTOS to Z","author":"Derrick","year":"1996"},{"key":"10.1016\/j.csi.2011.10.015_bb0130","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\/j.csi.2011.10.015_bb0135","series-title":"FACIT","article-title":"Refinement in Z and Object-Z: foundations and advanced applications","author":"Derrick","year":"2001"},{"key":"10.1016\/j.csi.2011.10.015_bb0140","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/s001650200002","article-title":"Combining component specifications in Object-Z and CSP","volume":"13","author":"Derrick","year":"2002","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"10.1016\/j.csi.2011.10.015_bb0145","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","article-title":"Relational concurrent refinement","volume":"15","author":"Derrick","year":"2003","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.csi.2011.10.015_bb0150","doi-asserted-by":"crossref","unstructured":"J. Derrick and E.A. Boiten. Relational concurrent refinement part III: Traces, partial relations and automata. Formal Aspects of Computing, 2011. Submitted for publication.","DOI":"10.1007\/s00165-012-0262-3"},{"key":"10.1016\/j.csi.2011.10.015_bb0155","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0920-5489(99)00010-0","article-title":"Viewpoints and consistency: translating LOTOS to Object-Z","volume":"21","author":"Derrick","year":"1999","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/j.csi.2011.10.015_bb0160","series-title":"FORTE\/PSTV'96","first-page":"501","article-title":"Comparing LOTOS and Z refinement relations","author":"Derrick","year":"1996"},{"key":"10.1016\/j.csi.2011.10.015_bb0165","first-page":"38","article-title":"On modeling, mathematics, category theory and RM-ODP","author":"Diskin","year":"2001"},{"key":"10.1016\/j.csi.2011.10.015_bb0170","series-title":"FORTE, volume 107 of IFIP Conference Proceedings","first-page":"107","article-title":"Consistent semantics for odp information and computational models","author":"Dustzadeh","year":"1997"},{"key":"10.1016\/j.csi.2011.10.015_bb0175","series-title":"ACM","article-title":"SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96)","year":"1996"},{"issue":"8","key":"10.1016\/j.csi.2011.10.015_bb0180","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\/j.csi.2011.10.015_bb0185","series-title":"Second IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems","first-page":"423","article-title":"CSP-OZ \u2014 a combination of CSP and Object-Z","author":"Fischer","year":"1997"},{"key":"10.1016\/j.csi.2011.10.015_bb0190","doi-asserted-by":"crossref","unstructured":"C. Fischer. How to combine Z with a process algebra. In Bowen et al. [15] 1998, pp. 5\u201323.","DOI":"10.1007\/978-3-540-49676-2_2"},{"key":"10.1016\/j.csi.2011.10.015_bb0195","series-title":"FME'93: Industrial Strength Formal Methods, LNCS 670","first-page":"332","article-title":"Different FDT's confronted with different ODP-viewpoints of the trader","author":"Fischer","year":"1993"},{"key":"10.1016\/j.csi.2011.10.015_bb0200","series-title":"First International Conference on Formal Engineering Methods (ICFEM'97)","first-page":"272","article-title":"An operational semantics for ZCCS","author":"Galloway","year":"1997"},{"key":"10.1016\/j.csi.2011.10.015_bb0205","series-title":"IFIP TC6 International Workshop on Open Distributed Processing","first-page":"229","article-title":"The design of a temporal logic for Open Distributed Systems","author":"Gotzhein","year":"1991"},{"key":"10.1016\/j.csi.2011.10.015_bb0210","series-title":"PSTV IX","first-page":"3","article-title":"Signalling system no. 7 \u2014 the network layer","author":"Hayes","year":"1990"},{"key":"10.1016\/j.csi.2011.10.015_bb0215","series-title":"Proc. ESOP'86, volume 213 of Lecture Notes in Computer Science","first-page":"187","article-title":"Data refinement refined","author":"He Jifeng","year":"1986"},{"key":"10.1016\/j.csi.2011.10.015_bb0220","series-title":"LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour","author":"ISO 8807","year":"1987"},{"key":"10.1016\/j.csi.2011.10.015_bb0225","series-title":"Estelle, a Formal Description Technique based on an extended state transition model","author":"ISO 9074","year":"1987"},{"key":"10.1016\/j.csi.2011.10.015_bb0230","unstructured":"ISO\/IEC JTC1\/SC21\/WG7. Basic Reference Model of Open Distributed Processing. ISO 10746, 1993. Part 1 to 4."},{"key":"10.1016\/j.csi.2011.10.015_bb0235","series-title":"The Theory and Practice of Refinement","article-title":"Process refinement","author":"He Jifeng","year":"1989"},{"issue":"5","key":"10.1016\/j.csi.2011.10.015_bb0240","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S0920-5489(99)00012-4","article-title":"An approach to a Z toolkit for the reference model of open distributed processing","volume":"21","author":"Johnson","year":"1999","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/j.csi.2011.10.015_bb0245","series-title":"Systematic Software Development using VDM","author":"Jones","year":"1989"},{"key":"10.1016\/j.csi.2011.10.015_bb0250","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01788563","article-title":"A state-based approach to communicating processes","volume":"3","author":"Josephs","year":"1988","journal-title":"Distributed Computing"},{"key":"10.1016\/j.csi.2011.10.015_bb0255","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0169-7552(92)90122-7","article-title":"A framework based on implementation relations for implementing LOTOS specifications","volume":"25","author":"Leduc","year":"1992","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/j.csi.2011.10.015_bb0260","series-title":"20th International Conference on Software Engineering (ICSE'98)","article-title":"Blending Object-Z and timed CSP: an introduction to TCOZ","author":"Mahony","year":"1998"},{"issue":"8","key":"10.1016\/j.csi.2011.10.015_bb0265","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1016\/0169-7552(94)00032-O","article-title":"A formal semantics for the odp computational model","volume":"27","author":"Najm","year":"1995","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/j.csi.2011.10.015_bb0275","series-title":"IFIP International Conference on Open Distributed Processing","first-page":"217","article-title":"A language for the specification of interactive and distributed multimedia applications","author":"Pinto","year":"1993"},{"issue":"3","key":"10.1016\/j.csi.2011.10.015_bb0280","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s00165-008-0076-5","article-title":"Data refinement and singleton failures refinement are not equivalent","volume":"20","author":"Reeves","year":"2008","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.csi.2011.10.015_bb0285","series-title":"IFIP TC6 International Workshop on Open Distributed Processing","first-page":"301","article-title":"An engineering approach to ODP system design","author":"Van Sinderen","year":"1991"},{"key":"10.1016\/j.csi.2011.10.015_bb0290","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\/j.csi.2011.10.015_bb0295","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 Standard and Interfaces"},{"key":"10.1016\/j.csi.2011.10.015_bb0300","series-title":"FME'97: Industrial Application and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science","first-page":"62","article-title":"A semantic integration of Object-Z and CSP for the specification of concurrent systems","author":"Smith","year":"1997"},{"key":"10.1016\/j.csi.2011.10.015_bb0305","series-title":"The Object-Z Specification Language","author":"Smith","year":"2000"},{"key":"10.1016\/j.csi.2011.10.015_bb0310","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1992"},{"key":"10.1016\/j.csi.2011.10.015_bb0315","doi-asserted-by":"crossref","unstructured":"S. Stepney, D. Cooper, and J. C. P. Woodcock. More powerful data refinement in Z. In Bowen et al. [15], 1998, pp. 284\u2013307.","DOI":"10.1007\/978-3-540-49676-2_20"},{"key":"10.1016\/j.csi.2011.10.015_bb0320","doi-asserted-by":"crossref","unstructured":"C. S\u00fchl. RT-Z: An Integration of Z and timed CSP. In Araki et al. [2], 1999, pp. 29\u201348.","DOI":"10.1007\/978-1-4471-0851-1_3"},{"key":"10.1016\/j.csi.2011.10.015_bb0325","doi-asserted-by":"crossref","unstructured":"H. Treharne and S. Schneider. Using a process algebra to control B operations. In Araki et al. [2], 1999, pp. 437\u2013456.","DOI":"10.1007\/978-1-4471-0851-1_23"},{"key":"10.1016\/j.csi.2011.10.015_bb0330","series-title":"Using Z: Specification, Refinement, and Proof","author":"Woodcock","year":"1996"},{"key":"10.1016\/j.csi.2011.10.015_bb0335","series-title":"VDM'90: VDM and Z! \u2014 Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science","article-title":"Refinement of state-based concurrent systems","author":"Woodcock","year":"1990"},{"issue":"4","key":"10.1016\/j.csi.2011.10.015_bb0340","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"}],"container-title":["Computer Standards & Interfaces"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548911001176?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548911001176?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,12,20]],"date-time":"2021-12-20T12:13:57Z","timestamp":1640002437000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0920548911001176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":65,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["S0920548911001176"],"URL":"https:\/\/doi.org\/10.1016\/j.csi.2011.10.015","relation":{},"ISSN":["0920-5489"],"issn-type":[{"value":"0920-5489","type":"print"}],"subject":[],"published":{"date-parts":[[2013,3]]}}}