{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T21:51:48Z","timestamp":1730238708764,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/icdim.2012.6360116","type":"proceedings-article","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T02:16:48Z","timestamp":1354328208000},"page":"73-78","source":"Crossref","is-referenced-by-count":5,"title":["An automatic generation approach of B Specifications From UML Diagrams"],"prefix":"10.1109","author":[{"given":"Seidali","family":"Rehab","sequence":"first","affiliation":[]},{"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"GEF Graphical Editing Framework","year":"2011","key":"19"},{"year":"2011","key":"17"},{"journal-title":"EMF Eclipse Modeling Framework","year":"2011","key":"18"},{"key":"15","first-page":"251","article-title":"Verification of UML Models by Translation to UML-B","author":"colin","year":"2010","journal-title":"9th International Symposium Springer Berlin Heidelberg FMCO 2010 Graz Austria 2010"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.729"},{"key":"13","first-page":"364","article-title":"Specifying the behavior of uml collaborations using Object-Z","author":"arau?jo","year":"2000","journal-title":"AMC 2000 Proc"},{"journal-title":"Information Processing Systems - Open Systems Interconnection - LOTOS A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour","year":"1988","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.33"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2003.1206954"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2010.9.4.a2"},{"journal-title":"GMF Graphical Modeling Framework","year":"2010","key":"20"},{"journal-title":"AGG A Tool Environment for Algebraic Graph Transformation","year":"2011","key":"22"},{"journal-title":"PROGRES A Graph Grammar Programming Environment","year":"0","key":"23"},{"journal-title":"FUJABA From UML to Java and Back Again","year":"2007","key":"24"},{"journal-title":"GReAT Graph Rewrite and Transformation","year":"0","key":"25"},{"journal-title":"TIGER TransformatIon-based Generation of Modeling EnviRonments","year":"0","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(98)00023-9"},{"key":"28","first-page":"174","article-title":"AToM3: \"A tool for multi-formalism modelling and meta-modelling","volume":"2306","author":"de lara","year":"2002","journal-title":"LNCS"},{"journal-title":"De?veloppements formels par objets Utilisation conjointe de B et d'UML","year":"2001","author":"meyer","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CNMT.2009.5374505"},{"journal-title":"OMG Unified Modeling Language Specification","year":"1999","key":"1"},{"year":"2008","key":"30"},{"key":"7","volume":"1","author":"rozenberg","year":"1999","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformation"},{"journal-title":"AToM3 A Tool for Multi-formalism and Meta-modelling","year":"2008","key":"6"},{"key":"5","article-title":"ME?TE?OR: An industrial success in formal development","volume":"1939","author":"behm","year":"1998","journal-title":"LNCS"},{"key":"4","article-title":"Putting into practice methods and tools for information system design","author":"habrias","year":"0","journal-title":"1st Conference on the B Method Nantes (F) 1996"},{"key":"9","first-page":"948","article-title":"Automatic transformation from UML statechart to Petri nets for safety analysis and verification","author":"xinhong","year":"2011","journal-title":"Quality Reliability Risk Maintenance and Safety Engineering (ICQR2MSE) 2011 International Conference on"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.10"}],"event":{"name":"2012 Seventh International Conference on Digital Information Management (ICDIM)","start":{"date-parts":[[2012,8,22]]},"location":"Macau, Macao","end":{"date-parts":[[2012,8,24]]}},"container-title":["Seventh International Conference on Digital Information Management (ICDIM 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6341280\/6360086\/06360116.pdf?arnumber=6360116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T22:02:15Z","timestamp":1490133735000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6360116\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icdim.2012.6360116","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}