{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T15:10:42Z","timestamp":1737385842962,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744672"},{"type":"electronic","value":"9783540744696"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74469-6_58","type":"book-chapter","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T12:33:31Z","timestamp":1187786011000},"page":"593-602","source":"Crossref","is-referenced-by-count":3,"title":["Constraints Checking in UML Class Diagrams: SQL vs OCL"],"prefix":"10.1007","author":[{"given":"D.","family":"Berrabah","sequence":"first","affiliation":[]},{"given":"F.","family":"Boufar\u00e8s","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"58_CR1","unstructured":"Al-Jumaily, H.T., Cuadra, D., Martinez, P.: Plugging Active Mechanisms to Control Dynamic Aspects Derived from the Multiplicity Constraint in UML. In: The workshop of 7th International Conference on the Unified Modeling Language, Portugal (2004)"},{"key":"58_CR2","unstructured":"Berrabah, D., Boufar\u00e8s, F., Ducateau, C.F.: Analysing UML Graphic Constraint, How to cope with OCL. In: 3rd International Conference on Computer Science and its Applications, California (2005)"},{"key":"58_CR3","first-page":"234","volume":"19","author":"D. Berrabah","year":"2005","unstructured":"Berrabah, D., Boufares, F., Ducateau, C.F., Gargouri, F.: Les conflits entre les contraintes dans les sch\u00e9mas conceptuels de Bases de Donn\u00e9es: UML \u2013 EER. Journal of Information Sciences for Decision Making, Special Issue of the 8th MCSEAI 2004\u00a019, 234 (2005)","journal-title":"Journal of Information Sciences for Decision Making, Special Issue of the 8th MCSEAI 2004"},{"key":"58_CR4","unstructured":"Berrabah, D.: Etude de la coh\u00e9rence globale des contraintes dans les bases de donn\u00e9es. Ph. D. Thesis report, Laboratory CRIP5, Paris 5 University (December 2006)"},{"key":"58_CR5","unstructured":"Boufar\u00e8s, F.: Un outil intelligent pour l\u2019analyse des sch\u00e9mas EA. Interne Report. Informatics Laboratory of Paris Nord, University of Paris 13 France (2001)"},{"key":"58_CR6","unstructured":"Ceri, S., Widom, J.: Deriving production rules for constraint maintenance. In: Proc. of the 16th International Conference on Very Large Data Bases, pp. 566\u2013577. Brisbane, Australia (1990)"},{"key":"58_CR7","unstructured":"Cochrane, R.J., Pirahesh, H., Mattos, N.M.: Integrating triggers and declarative constraints in SQL database systems. In: Proceedings of the 22nd International Conference on Very Large Data Bases, Mumbai, India, pp. 567\u2013578 (1996)"},{"key":"58_CR8","doi-asserted-by":"crossref","unstructured":"Eisenberg, A., Melton, J., Kulkarni, K., Michels, J., Zemke, F.: SQL: 2003 has been published. ACM SIGMOD Record 33(1) (March 2004)","DOI":"10.1145\/974121.974142"},{"key":"58_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45669-4_6","volume-title":"Object Modeling with the OCL","author":"M. Gogolla","year":"2002","unstructured":"Gogolla, M., Richters, M.: Expressing UML Class Diagrams Properties with OCL. In: Object Modeling with the OCL, pp. 85\u2013114. Springer, Heidelberg (2002)"},{"key":"58_CR10","doi-asserted-by":"crossref","unstructured":"Horowitz, B.: Intermediate states as a source of non deterministic behavior in triggers. In: 4th International Workshop on Research Issues in Data Engineering: Active Database Systems, Houston TX, pp. 148\u2013155 (February 1994)","DOI":"10.1109\/RIDE.1994.282842"},{"key":"58_CR11","doi-asserted-by":"crossref","unstructured":"Laleau, A., Mammar, A.: Overview of method and its support tool for generating B from UML notations. In: Proceeding of 15th international conference on Automated Software Engineering, Grenoble, France (2000)","DOI":"10.1109\/ASE.2000.873675"},{"key":"58_CR12","unstructured":"Ledru, Y., Dupuy, S.: Expressing dynamic properties of static diagrams. In: Z. Conference of Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, Rennes, France (2003)"},{"key":"58_CR13","unstructured":"Marder, U., Ritter, N., Steiert, H.-P.: A DBMS-based Approach for Automatic Checking of OCL Constraints. In: OOPSLA 1999-Workshop Rigorous Modeling and Analysis with the UML: Challenges and Limitations. Denver, Co. (1999)"},{"key":"58_CR14","unstructured":"Matheron, J.P.: Approfondir Merise. Tome1. Edition Eyrolles (1991)"},{"key":"58_CR15","unstructured":"Nanci, D., Espinasse, B.: Ing\u00e9nierie des syst\u00e8mes d\u2019information: Merise deuxi\u00e8me g\u00e9n\u00e9ration. 4th edn. Edition-Vuibert (2001)"},{"key":"58_CR16","unstructured":"OMG, editor: UML 2.0., http:\/\/omg.org"},{"key":"58_CR17","unstructured":"Rational: http:\/\/www-306.ibm.com\/software\/rational\/sw-bycategory\/subcategory\/SW710.html"},{"key":"58_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0169-023X(92)90009-Z","volume":"9","author":"A. Rochfeld","year":"1993","unstructured":"Rochfeld, A., Negros, P.: Relationship of relationships and other inter-relationship links in ER model. Data and Knowledge Engineering\u00a09, 205\u2013221 (1993)","journal-title":"Data and Knowledge Engineering"},{"key":"58_CR19","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: UML 2.0 Guide de R\u00e9f\u00e9rence, Edition Campus Press (2004)"},{"key":"58_CR20","doi-asserted-by":"crossref","unstructured":"Shroff, M., France, R.B.: Towards a Formalization of UML Class Structures. In: Z. 21st IEEE Annual international computer Software and Applications Conference, pp. 646\u2013651 (1997)","DOI":"10.1109\/CMPSAC.1997.625087"},{"key":"58_CR21","series-title":"Lecture Notes in Computer Science","first-page":"2","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"K. Soon-Kyeong","year":"2000","unstructured":"Soon-Kyeong, K., Carrington, D.: A formal mapping between UML models and Object-Z specifications. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 2\u201321. Springer, Heidelberg (2000)"},{"key":"58_CR22","unstructured":"Sybase: http:\/\/www.sybase.com\/products\/informationmanagement\/powerdesigner"},{"key":"58_CR23","series-title":"Data Management Systems","volume-title":"Database Modeling & Design","author":"J.T. Toby","year":"1999","unstructured":"Toby, J.T.: Database Modeling & Design, 3rd edn. Data Management Systems. Morgan Kaufmann, San Francisco (1999)","edition":"3"},{"key":"58_CR24","unstructured":"Truongm, N.T., Souqui\u00e8res, J.: Validation des propri\u00e9t\u00e9s d\u2019un sc\u00e9nario UML\/OCL \u00e0 partir de sa d\u00e9rivation en B. Conference: Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, Besan\u00e7on, France, pp. 99\u2013114 (2004)"},{"key":"58_CR25","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. 2nd edn. Paperback-Edition (2003)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74469-6_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T14:43:05Z","timestamp":1737384185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74469-6_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540744672","9783540744696"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74469-6_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}