{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:09:07Z","timestamp":1781104147728,"version":"3.54.1"},"reference-count":36,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"abstract":"<jats:p>A use case has been widely adopted for requirements specification, which can be created on a high abstraction level or a very detailed level. A use case with a very detailed level can be a lot more useful for requirements elicitation, but such a model may become too complex and difficult to understand the whole context. A use case slice is introduced in order to simplify the requirements analysis and ensure the correctness of software incremental development process (e.g., the agile development process). However, a use case is usually divided into multiple use case slices in a manual way. Some errors may occur during this manual process. In this article, the authors present an automated approach for dividing a use case into use case slices. The approach first decomposes a use case into multiple use case stories, and then these stories can be composed into different use case slices according to different requirements. These use case slices cover all the functionality of the original use case. The authors give a decomposition theory and propose the corresponding algorithm. A case study demonstrates these results.<\/jats:p>","DOI":"10.4018\/ijismd.2019100102","type":"journal-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T08:05:09Z","timestamp":1574669109000},"page":"24-50","source":"Crossref","is-referenced-by-count":0,"title":["From Use Case to Use Case Slices"],"prefix":"10.4018","volume":"10","author":[{"given":"Yangyang","family":"Chen","sequence":"first","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cong","family":"Chen","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Wen","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jian-min","family":"Jiang","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qiong","family":"Zeng","sequence":"additional","affiliation":[{"name":"ChengDu University of Information Technology, Chengdu, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongping","family":"Shu","sequence":"additional","affiliation":[{"name":"Chengdu University of Information Technology, Chengdu, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Zhong Hong","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJISMD.2019100102-0","unstructured":"lhroob, A. M. (2010). Software test case generation from system models and specification: use of the UML diagrams and high level Petri nets models for developing software test cases [PhD thesis]. University of Bradford, UK."},{"key":"IJISMD.2019100102-1","author":"C.Alistair","year":"2000","journal-title":"Writing effective use cases"},{"key":"IJISMD.2019100102-2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317445"},{"key":"IJISMD.2019100102-3","unstructured":"Booch, G. (1995). Object-oriented analysis and design with applications (2nd ed.). Addison- Wesley."},{"key":"IJISMD.2019100102-4","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2519"},{"key":"IJISMD.2019100102-5","doi-asserted-by":"publisher","DOI":"10.1109\/32.295895"},{"key":"IJISMD.2019100102-6","first-page":"237","article-title":"On the decomposition of use cases for the refinement of software requirements.","author":"E. F.Cruz","year":"2014","journal-title":"Proceedings of the 2014 14th International Conference on Computational Science and Its Applications"},{"key":"IJISMD.2019100102-7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46397-1_12"},{"key":"IJISMD.2019100102-8","author":"T.Demarco","year":"1979","journal-title":"Structured analysis and system specification"},{"key":"IJISMD.2019100102-9","author":"M.Fowler","year":"2004","journal-title":"UML distilled: a brief guide to the standard object modeling language"},{"key":"IJISMD.2019100102-10","author":"I.Jacobson","year":"1999","journal-title":"The Unified Software Development Process"},{"key":"IJISMD.2019100102-11","author":"I.Jacobson","year":"2005","journal-title":"Aspect-oriented software development with use cases. Addison Wesley object technology series"},{"key":"IJISMD.2019100102-12","doi-asserted-by":"publisher","DOI":"10.1145\/2890778"},{"key":"IJISMD.2019100102-13","author":"I.Jacobson","year":"1993","journal-title":"Object-oriented software engineering: a use case driven approach"},{"key":"IJISMD.2019100102-14","doi-asserted-by":"crossref","unstructured":"Jiang, J. M., Zhu, H., Li, Q., Zhao, Y., Hong, Z., Zhang, S., & Gong, P. (2019). Isolation modeling and analysis based on mobility. ACM Trans. Softw. Eng. Methodol., 28(2), 10:1\u201310:31.","DOI":"10.1145\/3306606"},{"key":"IJISMD.2019100102-15","doi-asserted-by":"publisher","DOI":"10.1145\/2783438"},{"key":"IJISMD.2019100102-16","doi-asserted-by":"crossref","unstructured":"Jiang, J. M., Zhu, H., Li, Q., Zhao, Y., Hong, Z., Zhang, S., Gong, P. (2017). Event-based mobility modeling and analysis. ACM Transactions on Cyber-Physical Systems, 1(2), 9:1\u20139:32.","DOI":"10.1145\/2823353"},{"key":"IJISMD.2019100102-17","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2011.81"},{"key":"IJISMD.2019100102-18","doi-asserted-by":"publisher","DOI":"10.1145\/2492248.2492267"},{"key":"IJISMD.2019100102-19","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-012-4744-y"},{"key":"IJISMD.2019100102-20","first-page":"177","article-title":"Configuration of services based on virtualization.","author":"J. M.Jiang","year":"2014","journal-title":"Proceedings of the 8th Theoretical Aspects of Software Engineering Conference"},{"key":"IJISMD.2019100102-21","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242420"},{"key":"IJISMD.2019100102-22","doi-asserted-by":"publisher","DOI":"10.1145\/942572.807045"},{"key":"IJISMD.2019100102-23","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2016.54"},{"key":"IJISMD.2019100102-24","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"IJISMD.2019100102-25","first-page":"303","article-title":"Effort estimation of use cases for incremental large-scale software development","author":"P.Mohagheghi","year":"2005","journal-title":"ICSE"},{"key":"IJISMD.2019100102-26","unstructured":"Dahl, E. W. Dijkstra O.-J., & Hoare, C. A. R. (1972). Structured Programming. London: Academic Press."},{"key":"IJISMD.2019100102-27","year":"2011","journal-title":"Object Management Group (OMG). OMG Unified Modeling Language (OMG UML), Superstructure V2.4.1"},{"key":"IJISMD.2019100102-28","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"IJISMD.2019100102-29","author":"C.Reade","year":"1989","journal-title":"Elements of functional programming. International computer science series"},{"key":"IJISMD.2019100102-30","author":"J.Rumbaugh","year":"2004","journal-title":"Unified modeling language reference manual, the"},{"key":"IJISMD.2019100102-31","doi-asserted-by":"publisher","DOI":"10.1147\/sj.132.0115"},{"key":"IJISMD.2019100102-32","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.06.004"},{"key":"IJISMD.2019100102-33","doi-asserted-by":"crossref","unstructured":"Winskel, G., & Nielsen, M. (1995). Models for Concurrency. In Handbook of Logic in Computer Science, Semantic Modelling (Vol. 4). Oxford Science Publications, Oxford.","DOI":"10.1093\/oso\/9780198537809.003.0001"},{"key":"IJISMD.2019100102-34","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194018500249"},{"key":"IJISMD.2019100102-35","article-title":"The Magical Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information. The Psychological Review, 63(2)","author":"G. M.Miller","year":"1956"}],"container-title":["International Journal of Information System Modeling and Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=243438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,27]],"date-time":"2024-07-27T13:52:32Z","timestamp":1722088352000},"score":1,"resource":{"primary":{"URL":"http:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJISMD.2019100102"}},"subtitle":["An Automated Approach"],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":36,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.4018\/ijismd.2019100102","relation":{},"ISSN":["1947-8186","1947-8194"],"issn-type":[{"value":"1947-8186","type":"print"},{"value":"1947-8194","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10]]}}}