{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T15:59:04Z","timestamp":1791129544721,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540304920","type":"print"},{"value":"9783540322405","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_22","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T09:38:16Z","timestamp":1130319496000},"page":"386-405","source":"Crossref","is-referenced-by-count":11,"title":["Consistency in UML and B Multi-view Specifications"],"prefix":"10.1007","author":[{"given":"Dieu Donn\u00e9 Okalas","family":"Ossami","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Jacquot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeanine","family":"Souqui\u00e8res","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Attali, I., Courbis, C., Degenne, P., Fau, A., Fillon, J., Parigot, D., Pasquier, C., Coen, C.S.: SmartTools: a development environment generator based on XML technologies. In: XML Technologies and Software Engineering, Toronto, Canada. ICSE 2001, ICSE workshop proceedings (2001)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-36578-8_24","volume-title":"Fundamental Approaches to Software Engineering","author":"C. Attiogb\u00e9","year":"2003","unstructured":"Attiogb\u00e9, C., Poizat, P., Sala\u00fcn, G.: Integration of Formal Datatypes within State Diagrams. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 341\u2013355. Springer, Heidelberg (2003)"},{"key":"22_CR3","unstructured":"Oxford(UK) B-Core(UK)\u00a0Ltd. B-Toolkit User\u2019s Manual (1996)"},{"key":"22_CR4","unstructured":"ClearSy, \n                    \n                      http:\/\/www.b4free.com\/index.php"},{"key":"22_CR5","unstructured":"Houda, F., Merz, S.: Transformation de sp\u00e9cifications B en diagrammes UML. In: Proceedings of AFADL 2004, Besan\u00e7on, Fr (2004)"},{"key":"22_CR6","unstructured":"Idani, A., Ledru, Y.: Object Oriented Concepts Identification from Formal B Specifications. In: 9th Int.Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), Linz, AT (2004)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45341-5_27","volume-title":"Advanced Information Systems Engineering","author":"R. Laleau","year":"2001","unstructured":"Laleau, R., Polack, F.: A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 402\u2013416. Springer, Heidelberg (2001)"},{"key":"22_CR8","unstructured":"Ledang, H.: Traduction Syst\u00e9matique de Sp\u00e9cifications UML vers B. PhD thesis, LORIA -Universit\u00e9 Nancy2, (November 2002)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Ledang, H., Souqui\u00e8res, J.: Modeling class operations in B: application to UML behavioral diagrams. In: ASE 2001: 16th IEEE International Conference on Automated Software Engineering. IEEE Computer Society, Los Alamitos (2001)","DOI":"10.1109\/ASE.2001.989815"},{"key":"22_CR10","unstructured":"Ledang, H., Souqui\u00e8res, J.: Integrating Formalizing UML Behavioral Diagrams with B. Workshop on Integration and Transformation of UML models, Mal\u00e0ga (S) (2002)"},{"key":"22_CR11","volume-title":"Proceedings of APSEC 2002","author":"H. Ledang","year":"2002","unstructured":"Ledang, H., Souqui\u00e8res, J.: Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. In: Proceedings of APSEC 2002. IEEE Computer Society, Los Alamitos (2002)"},{"key":"22_CR12","unstructured":"Ledang, H., Souqui\u00e8res, J., Charles, S.: ArgoUML+B: Un outil de transformation syst\u00e9matique de sp\u00e9cifications UML vers B. In: Proceedings of AFADL 2003, Rennes, Fr (2003)"},{"key":"22_CR13","unstructured":"Marcano, R., Levy, N.: Transformation rules of OCL constraints into B formal expressions. In: J\u00fcrjens, Cengarle, Fernandez, Rumpe, and Sandner (eds.), Critical Systems Development with UML \u2013 Proceedings of the UML 2002 workshop, pp. 155\u2013162 (2002)"},{"key":"22_CR14","unstructured":"Marcano, R., Levy, N.: Using B formal specifications for analysis and verification of UML\/OCL models. In: Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z. (eds.) Workshop on Consistency Problems in UML-based Software Development. Workshop Materials, pp. 91\u2013105 (2002)"},{"key":"22_CR15","unstructured":"Meyer, E.: D\u00e9veloppements formels par objets: utilisation conjointe de B et d\u2019UML. PhD thesis, LORIA -Universit\u00e9 Nancy2, mars (2001)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1007\/3-540-48119-2_48","volume-title":"FM\u201999 - Formal Methods","author":"E. Meyer","year":"1999","unstructured":"Meyer, E., Souqui\u00e8res, J.: A systematic approach to transform OMT diagrams to a B specification. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, p. 875. Springer, Heidelberg (1999)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1007\/3-540-48119-2_48","volume-title":"FM\u201999 - Formal Methods","author":"E. Meyer","year":"1999","unstructured":"Meyer, E., Souqui\u00e8res, J.: A systematic approach to transform OMT diagrams to a B specification. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, p. 875. Springer, Heidelberg (1999)"},{"key":"22_CR18","unstructured":"Okalas Ossami, D., Souqui\u00e8res, J., Jacquot, J.-P.: Op\u00e9rations de construction de sp\u00e9cifications multi-vues UML et B. In: Proceedings of AFADL 2004, Besan\u00e7on, France, June 16-18, INRIA (2004)"},{"key":"22_CR19","unstructured":"OMG. Unified modeling language specification, version 1.5 (March 2003), available from \n                    \n                      http:\/\/www.omg.org"},{"key":"22_CR20","unstructured":"Parigot, D., Courbis, C.: avaible at, \n                    \n                      http:\/\/www-sop.inria.fr\/smartool\/"},{"key":"22_CR21","unstructured":"Schnoebelen, P., B\u00e9rard, B., Bidoit, M., Laroussine, F., Petit, A.: V\u00e9rification de logiciels -Techniques et outils du model-checking-. Paris,Vuibert (1999), ISBN 2- 7117-8646-3"},{"key":"22_CR22","unstructured":"Snook, C., Butler, M., Oliver, I.: Towards a UML profile for UML-B. Technical report, DSSE-TR-2003-3, Electronics and Computer Science, University of Southampton (2003)"},{"key":"22_CR23","unstructured":"Snook, C., Buttler, M.: U2B: a tool for combining UML and B, Avaible at \n                    \n                      http:\/\/www.ecs.soton.ac.uk\/~cfs\/U2Bdownloads\/"},{"key":"22_CR24","unstructured":"STERIA. Manuel de r\u00e9f\u00e9rence du langage B. -ClearSy-, (November 1998)"},{"key":"22_CR25","unstructured":"Tatibouet, B., Hammad, A., Voisinet, J.-C.: From an abstract B specification to UML class diagrams. In: 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2002), pp. 5\u201310 (2002)"},{"key":"22_CR26","unstructured":"Tatibouet, B., Voisinet, J.-C.: Generating statecharts from B specifications. In: 16th International Conference Software & Systems Engineering and their applications (ICSSEA 2003), Paris, Fr (2003)"},{"key":"22_CR27","unstructured":"Tatibouet, B., Voisinet, J.C.: jBtools and B2UML: a plateform and a tool to provide a UML class diagram since a B specification. In: ICSSEA: 14th International Conference on Software and Systems Engineering and Their Applications, Paris (Fr), vol.\u00a02 (2001)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T01:55:36Z","timestamp":1552442136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11589976_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}