{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:27:34Z","timestamp":1775737654169,"version":"3.50.1"},"reference-count":15,"publisher":"International Academy Publishing (IAP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.17706\/jsw.12.3.189-200","type":"journal-article","created":{"date-parts":[[2017,5,10]],"date-time":"2017-05-10T06:54:45Z","timestamp":1494399285000},"page":"189-200","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Semantics for Use Case Diagram Via Event-B"],"prefix":"10.17706","volume":"12","author":[{"name":"Technology and Urbanism Center, State University of Piau\u00ed, Teresina, 64003-750, Brazil.","sequence":"first","affiliation":[]},{"given":"Thiago C. de","family":"Sousa","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Kelvin","sequence":"additional","affiliation":[]},{"given":"Constantino","family":"Dias Neto","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Giovanni N. de Carvalho","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2017,4]]},"reference":[{"key":"ref1","volume-title":"Unified modeling language reference manual The","author":"Rumbaugh","year":"2004","unstructured":"[1] Rumbaugh, J., Jacobson, I., & Booch, G. (2004). Unified modeling language reference manual, The. Pearson Higher Education."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/icoci.2006.5276507"},{"issue":"3","key":"ref4","first-page":"2713","article-title":"Formal specification of UML use case diagram - A CASL based approach. (IJCSIT)","volume":"5","author":"Mondal","year":"2014","unstructured":"[4] Mondal, B., Das, B., & Banerjee, P. (2014). Formal specification of UML use case diagram - A CASL based approach. (IJCSIT) International Journal of Computer Science and Information Technologies, Vol.  5 (3) 2713-2717.","journal-title":"International Journal of Computer Science and Information Technologies"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39893-6_6"},{"key":"ref6","article-title":"Integration of UML views using B notation.","volume-title":"Proceedings of Workshop on Integration and Transformation of UML Models","author":"Leading","year":"2002","unstructured":"[6] Leading, H., & Souquieres, J. (2002, June). Integration of UML views using B notation. In Proceedings of Workshop on Integration and Transformation of UML Models."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ase.2000.873675"},{"key":"ref8","article-title":"UML-B and Event-B: an integration of languages and tools.","author":"Snook","year":"2008","unstructured":"[8] Snook, C., & Butler, M. (2008). UML-B and Event-B: an integration of languages and tools. In: Proceedings of The IASTED - International Conference on Software Engineering."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11811-1_44"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/9780470522622"},{"key":"ref12","volume-title":"Merks EMF","author":"Steinberg","year":"2008","unstructured":"[13] Steinberg, D., Budinsky, F., & Paternostro, M. (2008). Merks, EMF: Eclipse Modeling Framework 2.0. Pearson Education, New Jersey, US."},{"key":"ref13","volume-title":"Eclipse modeling project","author":"Gronback","year":"2009","unstructured":"[15] Gronback, R. C. (2009). Eclipse modeling project: a domain-specific language (DSL) toolkit. Pearson Education."},{"key":"ref14","article-title":"An EMF framework for Event-B.","volume-title":"ABZ Conference","author":"Snook","year":"2010","unstructured":"[16] Snook, C., Fritz, F., & Illisaov, A. (2010). An EMF framework for Event-B. In: Workshop on Tool Building in Formal Methods, ABZ Conference."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_9"}],"container-title":["Journal of Software"],"original-title":[],"link":[{"URL":"http:\/\/www.jsoftware.us\/vol12\/242-JSW15208.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,10]],"date-time":"2017-05-10T07:14:39Z","timestamp":1494400479000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jsoftware.us\/index.php?m=content&c=index&a=show&catid=179&id=2738"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":15,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2017,4]]}},"URL":"https:\/\/doi.org\/10.17706\/jsw.12.3.189-200","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4]]}}}