{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T23:56:44Z","timestamp":1694217404601},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T00:00:00Z","timestamp":1317254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11334-011-0169-9","type":"journal-article","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T07:34:25Z","timestamp":1317195265000},"page":"293-301","source":"Crossref","is-referenced-by-count":4,"title":["A proposal for extending UML-B to support a conceptual model"],"prefix":"10.1007","volume":"7","author":[{"given":"Thiago C.","family":"de Sousa","sequence":"first","affiliation":[]},{"given":"Colin F.","family":"Snook","sequence":"additional","affiliation":[]},{"given":"Paulo S\u00e9rgio Muniz","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,29]]},"reference":[{"key":"169_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial JR (1996) The B-book: assigning programs to meanings. Cambridge University Press, New York"},{"key":"169_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: system and software engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial JR (2010) Modeling in Event-B: system and software engineering, 1st edn. Cambridge University Press, New York","edition":"1"},{"key":"169_CR3","doi-asserted-by":"crossref","unstructured":"Abrial JR, Butler M, Hallerstede S, Voisin L (2006) An open extensible tool environment for Event-B. In: ICFEM 2006, LNCS. Springer, Berlin, pp 588\u2013605","DOI":"10.1007\/11901433_32"},{"key":"169_CR4","first-page":"1","volume":"77","author":"JR Abrial","year":"2007","unstructured":"Abrial JR, Hallerstede S (2007) Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam Inf 77: 1\u201328","journal-title":"Fundam Inf"},{"key":"169_CR5","doi-asserted-by":"crossref","unstructured":"A\u00eft-Sadoune I, Y. A\u00eft Ameur (2010) Stepwise design of BPEL web services compositions: an Event-B refinement based approach. In: SERA (selected papers). pp 51\u201368","DOI":"10.1007\/978-3-642-13273-5_4"},{"key":"169_CR6","unstructured":"Ben Younes A, Ben Ayed LJ (2008) From UML activity diagrams to Event B for the specification and the verification of workflow applications. In: Proceedings of the 2008 32nd annual IEEE international computer software and applications conference, COMPSAC \u201908, IEEE Computer Society, Washington, DC, USA, pp 643\u2013648"},{"key":"169_CR7","unstructured":"Butler M (2009) Incremental design of distributed systems with Event-B. In: Marktoberdorf summer school 2008 lecture notes"},{"key":"169_CR8","unstructured":"Butler M (2009) Towards a cookbook for modelling and refinement of control problems. DEPLOY Deliverable. Unpublished manuscript"},{"key":"169_CR9","unstructured":"ClearSy (2011) Atelier B, the industrial tool to efficiently deploy the B method. Version 4.0.2"},{"key":"169_CR10","unstructured":"Jackson M (2001) Problem frames: analyzing and structuring software development problems. Addison-Wesley"},{"key":"169_CR11","unstructured":"Jacobson I (1992) Object oriented software engineering: a use case driven approach. Addison-Wesley"},{"key":"169_CR12","doi-asserted-by":"crossref","unstructured":"Laleau R, Mammar A (2000) An overview of a method and its support tool for generating B specifications from UML notations. In: Proceedings of the 15th IEEE international conference on Automated software engineering, ASE \u201900, IEEE Computer Society, Washington, DC, USA","DOI":"10.1109\/ASE.2000.873675"},{"key":"169_CR13","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A (2003) Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications. In: Proceedings of the 25th international conference on software engineering, ICSE \u201903, Portland, Oregon, pp 744\u2013745","DOI":"10.1109\/ICSE.2003.1201266"},{"key":"169_CR14","unstructured":"LeDang H (2001) Automatic translation from UML specifications to B. In: Proceedings of the 16th IEEE international conference on Automated software engineering, ASE \u201901, IEEE Computer Society, Washington, DC, USA"},{"key":"169_CR15","unstructured":"Object Management Group: UML 2.3 Superstructure (2010). http:\/\/www.omg.org\/spec\/UML\/2.3"},{"key":"169_CR16","first-page":"88","volume-title":"FMCO Lecture Notes in Computer Science, vol 4111","author":"RK Runde","year":"2005","unstructured":"Runde RK, Haugen \u00d8, St\u00f8len K (2005) The Pragmatics of STAIRS. In: Boer FS, Bonsangue MM, Graf S, Roever WP (eds) FMCO Lecture Notes in Computer Science, vol 4111. Springer, Berlin, pp 88\u2013114"},{"key":"169_CR17","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook C, Butler M (2006) UML-B Formal modeling and design aided by UML. ACM Trans Softw Eng Methodol 15: 92\u2013122","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"169_CR18","doi-asserted-by":"crossref","unstructured":"Treharne H (2002) Supplementing a UML development process with B. In: Proceedings of the international symposium of formal methods Europe on formal methods\u2014Getting IT Right, FME \u201902, Springer, London, UK, pp 568\u2013586","DOI":"10.1007\/3-540-45614-7_32"},{"key":"169_CR19","first-page":"170","volume-title":"FASE. Lecture notes in computer science, vol 4422","author":"J Whittle","year":"2007","unstructured":"Whittle J (2007) Precise specification of use case scenarios. In: Dwyer MB, Lopes A (eds) FASE. Lecture notes in computer science, vol 4422. Springer, Berlin, pp 170\u2013184"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0169-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0169-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0169-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T13:14:47Z","timestamp":1560690887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0169-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,29]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["169"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0169-9","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,29]]}}}