{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:10:40Z","timestamp":1761487840489},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_27","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"517-534","source":"Crossref","is-referenced-by-count":23,"title":["Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development"],"prefix":"10.1007","author":[{"given":"R\u00e9gine","family":"Laleau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiona","family":"Polack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"J-R. Abrial. The B-Book. CUP, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"27_CR2","unstructured":"J-R. Abrial. Event driven sequential program construction. In AFADL01: Approches Formelles dans l\u2019Assistance au D\u00e9veloppement des Logiciels, Nancy, France, June 2001."},{"key":"27_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"Introducing dynamic constraints in B","author":"J.-R. Abrial","year":"1998","unstructured":"J-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In B98: Second International B Conference, Montpellier, France, volume 1393 of LNCS, pages 83\u2013128. Springer Verlag, April 1998."},{"key":"27_CR4","unstructured":"A. Clark, A. Evans, S. Kent, and P. Sammut. The MMFapproac h to engineering object-oriented design languages. In Workshop on Language Descriptions, Tools and Applications, LTDA2001, April 2001."},{"key":"27_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of the Unified Modeling Language","author":"T. Clark","year":"1997","unstructured":"T. Clark and A. Evans. Foundations of the Unified Modeling Language. In Second Northern Formal Methods Workshop, volume 1241 of LNCS. Springer Verlag, 1997."},{"key":"27_CR6","unstructured":"Rational Software Corporation. Rational Rose \u2014 Using Rational Rose 98. Rational Inc., 1998."},{"key":"27_CR7","unstructured":"DIGILOG. Atelier B, Manuel de R\u00e9f\u00e9rence. DIGILOG groupe STERIA, BP 16000, 13791 Aix-en-Provence Cedex 3, France, 1996."},{"key":"27_CR8","unstructured":"D. F. D\u2019Souza and A. C. Wills. Objects, Components and Frameworks in UML: the Catalysis Approach. Addison-Wesley, 1999."},{"key":"27_CR9","unstructured":"P. Facon, R. Laleau, A. Mammar, and F. Polack. Formal specification of the UML metamodel for building rigorous CAiSE tools. Technical report, CEDRIC Laboratory, CNAM, September 1999."},{"key":"27_CR10","unstructured":"P. Facon, R. Laleau, and H. P. Nguyen. D\u00e9rivation de sp\u00e9cifications formelles B \u00e1 partir de sp\u00e9cifications semi-formelles de syst\u00e8mes d\u2019information. In 1st B Conference, Nantes, France, 1996."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"P. Facon, R. Laleau, and H. P. Nguyen. FromOMT diagrams to B specifications. In M. Frappier and H. Habrias, editors, Software Speci.cation Methods. An Overview Using a Case Study, pages 57\u201377. Springer, 2000.","DOI":"10.1007\/978-1-4471-0701-9_4"},{"key":"27_CR12","unstructured":"P. Facon, R. Laleau, H. P. Nguyen, and A. Mammar. Combining UML with the B formal method for the specification of database applications. Technical report, CEDRIC Laboratory, CNAM, September 1999."},{"key":"27_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/3-540-60271-2_135","volume-title":"A two-dimensional view of integrated formal and informal specification techniques","author":"R. B. France","year":"1995","unstructured":"R. B. France and M. M. Larrondo-Petrie. A two-dimensional view of integrated formal and informal specification techniques. In Ninth International Conference of Z Users, Limerick, Ireland, September 1995, volume 967 of LNCS, pages 434\u2013448. Springer Verlag, 1995."},{"issue":"2","key":"27_CR14","first-page":"219","volume":"4","author":"J.-C. Freire","year":"1996","unstructured":"J-C. Freire Junior. Pouvoir d\u2019expression de mod\u00e8les orient\u00e9s objet. Ing\u00e9nierie des Syst\u00e8mes d\u2019Information, 4(2):219\u2013237, 1996.","journal-title":"Ing\u00e9nierie des Syst\u00e8mes d\u2019Information"},{"key":"27_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-44525-0_3","volume-title":"A generic process to refine a B specification into a relational database implementation","author":"R. Laleau","year":"2000","unstructured":"R. Laleau and A. Mammar. A generic process to refine a B specification into a relational database implementation. In Proceedings, ZB2000: Formal Specification and Development in Z and B, York, August-September 2000, volume 1878 of LNCS, pages 22\u201341. Springer Verlag, 2000."},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"R. Laleau and A. Mammar. An overview of a method and its support tool for generating B specifications from UML notations. In ASE: 15th IEEE Conference on Automated Software Engineering, Grenoble, France. IEEE Computer Society Press, September 2000.","DOI":"10.1109\/ASE.2000.873675"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"R. Laleau and F. Polack. Specification of integrity-preserving operations in information systems by using a formal UML-based language. Accepted for publication, Information and Software Technology, 2001.","DOI":"10.1016\/S0950-5849(01)00178-1"},{"key":"27_CR18","unstructured":"Y. Ledru. Identifying preconditions with the Z\/EVES theorem prover. In ASE: 13th IEEE Conference on Automated Software Engineering. IEEE Computer Society Press, October 1998."},{"key":"27_CR19","unstructured":"B. Meyer. Object-oriented software construction. Prentice Hall, 1997."},{"key":"27_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1007\/3-540-48119-2_48","volume-title":"FM99","author":"E. Meyer","year":"1999","unstructured":"E. Meyer and J. Souqui\u00e8res. A systematic approach to transform OMT diagrams to a B specification. In FM99, Toulouse, France, volume 1708 and 1709 of LNCS, pages 875\u2013895. Springer Verlag, 1999."},{"key":"27_CR21","unstructured":"F. Monge. Formalisation du m\u00e9ta mod\u00e8le des m\u00e9thodes graphiques d\u2019analyse et conception orient\u00e8es objet. Master\u2019s thesis, Institut d\u2019Informatique d\u2019Entreprise, Conservatoire National des Arts et M\u00e9tiers, Evry, September 1997."},{"key":"27_CR22","unstructured":"H. P. Nguyen. D\u00e9rivation de sp\u00e9cifications formelles B \u00e0 partir de sp\u00e9cifications semi-formelles. PhD thesis, Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e8tiers, Evry, December 1998. Available from http:\/\/www.iie.cnam.fr\/~laleau\/thesePHNguyen.ps-gz ."},{"key":"27_CR23","unstructured":"F. Polack. Exploring the informal translations of OMT object models in B. Technical report, University of York, forthcoming, 2001."},{"key":"27_CR24","series-title":"Lect Notes Comput Sci","volume-title":"A rigorous metamodel for UML static conceptual modelling of information systems","author":"F. Polack","year":"2001","unstructured":"F. Polack and R. Laleau. A rigorous metamodel for UML static conceptual modelling of information systems. In CAiSE2001: 13th International Conference on Advanced Information Systems Engineering, Interlaken, Switzerland, volume 2068 of LNCS. Springer Verlag, June 2001."},{"key":"27_CR25","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1998."},{"issue":"6","key":"27_CR26","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1093\/comjnl\/35.6.600","volume":"35","author":"L. T. Semmens","year":"1992","unstructured":"L. T. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6):600\u2013610, 1992.","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:14:30Z","timestamp":1556450070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}