{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T08:47:41Z","timestamp":1747385261645},"reference-count":20,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.271.3","type":"journal-article","created":{"date-parts":[[2018,5,12]],"date-time":"2018-05-12T02:24:52Z","timestamp":1526091892000},"page":"34-47","source":"Crossref","is-referenced-by-count":1,"title":["Incremental Database Design using UML-B and Event-B"],"prefix":"10.4204","volume":"271","author":[{"given":"Ahmed","family":"Al-Brashdi","sequence":"first","affiliation":[{"name":"University of Southampton"}]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[{"name":"University of Southampton"}]},{"given":"Abdolbaghi","family":"Rezazadeh","sequence":"additional","affiliation":[{"name":"University of Southampton"}]}],"member":"2720","published-online":{"date-parts":[[2018,5,12]]},"reference":[{"key":"abrial","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: system and software engineering","author":"Abrial","year":"2010"},{"key":"abrialb","volume-title":"The B-book: assigning programs to meanings","author":"Abrial","year":"2005"},{"issue":"6","key":"rodin","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: an open toolset for modelling and reasoning in Event-B","volume":"12","author":"Abrial","year":"2010","journal-title":"International journal on software tools for technology transfer"},{"key":"abrialrefinement","first-page":"1","article-title":"Refinement, decomposition, and instantiation of discrete models: Application to Event-B","volume":"77","author":"Abrial","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"mymsc","volume-title":"Translating Event-B to Database Application","author":"Al-Brashdi","year":"2015"},{"key":"UB2DB","first-page":"1","article-title":"Tool support for model-based database design with Event-B","volume-title":"FM&MDD Workshop at ICFEM 2016","author":"Al-Brashdi","year":"2016"},{"key":"barros3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S1571-0661(05)80226-9","article-title":"On the formal specification and derivation of relational database applications","volume":"14","author":"Barros","year":"1998","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"butler","doi-asserted-by":"publisher","first-page":"49","DOI":"10.3233\/978-1-61499-207-3-49","article-title":"Mastering System Analysis and Design through Abstraction and Refinement","volume-title":"Engineering Dependable Software Systems","author":"Butler","year":"2013"},{"issue":"6","key":"codd1970","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Communications of the ACM"},{"key":"connollydatabase","volume-title":"Database systems: a practical approach to design, implementation, and management","author":"Connolly","year":"2005"},{"key":"booster","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2005.03.004","article-title":"Formality, evolution, and model-driven software engineering","volume":"130","author":"Davies","year":"2005","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"booster2odb","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/ICECCS.2006.65","article-title":"On the generation of object databases using Booster","volume-title":"Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on","author":"Davies","year":"2006"},{"key":"vdm","volume-title":"Systematic software development using VDM","volume":"2","author":"Jones","year":"1990"},{"issue":"6","key":"khalafinejad","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1016\/j.infsof.2012.12.007","article-title":"Translation of Z specifications to executable code: Application to the database domain","volume":"55","author":"Khalafinejad","year":"2013","journal-title":"Information and Software Technology"},{"issue":"4","key":"mammar1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.infsof.2005.05.002","article-title":"From a B formal specification to an executable code: application to the relational database domain","volume":"48","author":"Mammar","year":"2006","journal-title":"Information and Software Technology"},{"key":"dbvdm","first-page":"109","article-title":"Database development of a work-flow planning and tracking system using VDM-SL","volume-title":"Workshop Materials: VDM in Practice","author":"Schlatte","year":"1999"},{"key":"umlb","series-title":"SE '08","first-page":"336","article-title":"UML-B and Event-B: An Integration of Languages and Tools","volume-title":"Proceedings of the IASTED International Conference on Software Engineering","author":"Snook","year":"2008"},{"key":"znotation","volume-title":"The Z notation","author":"Spivey","year":"1992"},{"key":"eventb2sql","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-10431-7_19","article-title":"Translating Event-B machines to database applications","volume-title":"Software Engineering and Formal Methods","author":"Wang","year":"2014"},{"key":"OCL","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer","year":"1999"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2018,5,18]],"date-time":"2018-05-18T01:23:09Z","timestamp":1526606589000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1805.05514v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.4204\/eptcs.271.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,12]]}}}