{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:07:53Z","timestamp":1648980473345},"reference-count":22,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2014,3]]},"abstract":"<jats:p> A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements definition of complex systems. A UCM may be generated either from a set of informal requirements, or from a set of use cases normally expressed in natural language. Natural languages are, however, inherently ambiguous and as a semi-formal notation, UCMs have the potential to bring more clarity into the functional description of a system. It may furthermore eliminate possible errors in the user requirements. The semi-formal notation of UCMs aims to show how things work generally, but is not suitable to reason formally about system behavior. It is plausible, therefore, that the use of a UCM as an intermediate step may facilitate the construction of a formal specification. To this end this paper proposes a mechanism whereby a UCM may be translated into Object-Z. <\/jats:p>","DOI":"10.1142\/s0218194014500120","type":"journal-article","created":{"date-parts":[[2014,6,20]],"date-time":"2014-06-20T06:46:19Z","timestamp":1403246779000},"page":"285-327","source":"Crossref","is-referenced-by-count":0,"title":["Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs)"],"prefix":"10.1142","volume":"24","author":[{"given":"Cyrille","family":"Dongmo","sequence":"first","affiliation":[{"name":"School of Computing, University of South Africa (Unisa), Roodepoort 1709, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John Andrew","family":"van der Poll","sequence":"additional","affiliation":[{"name":"Graduate School of Business Leadership (SBL), University of South Africa (Unisa), Midrand 1686, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,6,19]]},"reference":[{"key":"rf2","first-page":"269","author":"de Bruin Hans","journal-title":"Journal of Systems and Software"},{"key":"rf7","volume-title":"Software Engineering","author":"Sommerville I.","year":"2007"},{"key":"rf8","volume-title":"An Introduction to Formal Specification and Z","author":"Potter B.","year":"1996"},{"key":"rf9","volume-title":"Formal Specification Using Z","author":"Lightfoot D.","year":"2001"},{"key":"rf10","volume-title":"Mathematical Approaches to Software Quality","author":"O'Regan Gerard","year":"2006"},{"key":"rf11","first-page":"1131","author":"Buhr R. J. A.","journal-title":"IEEE Trans. Software Engineering"},{"key":"rf12","volume-title":"Use Case Maps for Object-Oriented Systems","author":"Buhr R. J. A.","year":"1999"},{"key":"rf16","volume-title":"The Z Notation: A Reference Manual","author":"Mike Spivey Jim","year":"1992"},{"key":"rf17","volume-title":"The Object-Z Specification Language: Version 1","author":"Duke R.","year":"1991"},{"key":"rf18","volume-title":"Formal Object-Oriented Specification Using Object-Z","author":"Duke R.","year":"2000"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"rf20","volume":"32","author":"Taibi F.","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.35"},{"key":"rf23","first-page":"118","author":"van der Poll J. A.","journal-title":"SACJ"},{"key":"rf28","unstructured":"A.\u00a0Miga, Maps Scenario Specifications. Tenth SDL Forum (2001)\u00a0pp. 268\u2013287."},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1145\/71633.71634"},{"key":"rf32","volume-title":"Using Z: Specification, Refinement, and Proof","author":"Woodcock J.","year":"1996"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9518-6_3"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2013.054347"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2012.57056"},{"key":"rf47","first-page":"1","author":"Rasoolzadegan A.","journal-title":"Knowledge and Information Systems"},{"key":"rf48","volume":"6","author":"Amyot D.","journal-title":"Journal of Software"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194014500120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T18:04:06Z","timestamp":1565114646000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194014500120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":22,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2014,6,19]]},"published-print":{"date-parts":[[2014,3]]}},"alternative-id":["10.1142\/S0218194014500120"],"URL":"https:\/\/doi.org\/10.1142\/s0218194014500120","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}