{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:12:21Z","timestamp":1784211141619,"version":"3.55.0"},"reference-count":47,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2013,2,1]],"date-time":"2013-02-01T00:00:00Z","timestamp":1359676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100015351","name":"PEARL","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100015351","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2013,2]]},"abstract":"<jats:p>Use case modeling, including use case diagrams and use case specifications (UCSs), is commonly applied to structure and document requirements. UCSs are usually structured but unrestricted textual documents complying with a certain use case template. However, because Use Case Models (UCMods) remain essentially textual, ambiguity is inevitably introduced. In this article, we propose a use case modeling approach, called Restricted Use Case Modeling (RUCM), which is composed of a set of well-defined restriction rules and a modified use case template. The goal is two-fold: (1) restrict the way users can document UCSs in order to reduce ambiguity and (2) facilitate the manual derivation of initial analysis models which, when using the Unified Modeling Language (UML), are typically composed of class diagrams, sequence diagrams, and possibly other types of diagrams.<\/jats:p>\n          <jats:p>Though the proposed restriction rules and template are based on a clear rationale, two main questions need to be investigated. First, do users find them too restrictive or impractical in certain situations? In other words, can users express the same requirements with RUCM as with unrestricted use cases? Second, do the rules and template have a positive, significant impact on the quality of the constructed analysis models? To investigate these questions, we performed and report on two controlled experiments, which evaluate the restriction rules and use case template in terms of (1) whether they are easy to apply while developing UCMods and facilitate the understanding of UCSs, and (2) whether they help users manually derive higher quality analysis models than what can be generated when they are not used, in terms of correctness, completeness, and redundancy. This article reports on the first controlled experiments that evaluate the applicability of restriction rules on use case modeling and their impact on the quality of analysis models. The measures we have defined to characterize restriction rules and the quality of analysis class and sequence diagrams can be reused to perform similar experiments in the future, either with RUCM or other approaches.<\/jats:p>\n          <jats:p>Results show that the restriction rules are overall easy to apply and that RUCM results into significant improvements over traditional approaches (i.e., with standard templates, without restrictions) in terms of class correctness and class diagram completeness, message correctness and sequence diagram completeness, and understandability of UCSs.<\/jats:p>","DOI":"10.1145\/2430536.2430539","type":"journal-article","created":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T20:28:36Z","timestamp":1362515316000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":93,"title":["Facilitating the transition from use case models to analysis models"],"prefix":"10.1145","volume":"22","author":[{"given":"Tao","family":"Yue","sequence":"first","affiliation":[{"name":"Simula Research Laboratory, Olso, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory and University of Oslo"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,3,4]]},"reference":[{"key":"e_1_2_2_1_1","volume-title":"Proceedings of the International Symposium on Requirements Engineering. 36--43","author":"Achour C. B.","unstructured":"Achour , C. B. , Rolland , C. , Maiden , N. A. M. , and Souveyet , C . 1999. Guiding use case authoring: Results of an empirical study . In Proceedings of the International Symposium on Requirements Engineering. 36--43 . Achour, C. B., Rolland, C., Maiden, N. A. M., and Souveyet, C. 1999. Guiding use case authoring: Results of an empirical study. In Proceedings of the International Symposium on Requirements Engineering. 36--43."},{"key":"e_1_2_2_2_1","volume-title":"Proceedings of the European Conference on Object-Oriented Programming. Springer, 402--428","author":"Anda B.","unstructured":"Anda , B. , Sjoberg , D. , and Jorgensen , M . 2001. Quality and understandability of use case models . In Proceedings of the European Conference on Object-Oriented Programming. Springer, 402--428 . Anda, B., Sjoberg, D., and Jorgensen, M. 2001. Quality and understandability of use case models. In Proceedings of the European Conference on Object-Oriented Programming. Springer, 402--428."},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-1289-3"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.43"},{"key":"e_1_2_2_5_1","first-page":"528","article-title":"The goal question metric approach","volume":"1","author":"Basili V. R.","year":"1994","unstructured":"Basili , V. R. , Caldiera , G. , and Rombach , H. D. 1994 . The goal question metric approach . Encyclopedia of Software Engineering 1 , 528 -- 532 . Basili, V. R., Caldiera, G., and Rombach, H. D. 1994. The goal question metric approach. Encyclopedia of Software Engineering 1, 528--532.","journal-title":"Encyclopedia of Software Engineering"},{"key":"e_1_2_2_6_1","volume-title":"Proceedings of the IEEE International Symposium on Empirical Software Engineering. 266--275","author":"Belgamo A.","unstructured":"Belgamo , A. , Fabbri , S. , and Maldonado , J. C . 2005. TUCCA: Improving the effectiveness of use case construction and requirement analysis . In Proceedings of the IEEE International Symposium on Empirical Software Engineering. 266--275 . Belgamo, A., Fabbri, S., and Maldonado, J. C. 2005. TUCCA: Improving the effectiveness of use case construction and requirement analysis. In Proceedings of the IEEE International Symposium on Empirical Software Engineering. 266--275."},{"key":"e_1_2_2_7_1","unstructured":"Bittner K. and Spence I. 2002. Use Case Modeling. Addison-Wesley Boston.   Bittner K. and Spence I. 2002. Use Case Modeling. Addison-Wesley Boston."},{"key":"e_1_2_2_8_1","unstructured":"Bruegge B. and Dutoit A. H. 2009. Object-Oriented Software Engineering Using UML Patterns and Java. Prentice Hall.   Bruegge B. and Dutoit A. H. 2009. Object-Oriented Software Engineering Using UML Patterns and Java. Prentice Hall."},{"key":"e_1_2_2_9_1","volume-title":"Writing Effective Use Cases","author":"Cockburn A.","unstructured":"Cockburn , A. 2001. Writing Effective Use Cases . Addison-Wesley Boston . Cockburn, A. 2001. Writing Effective Use Cases. Addison-Wesley Boston."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.01.026"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125944.1125949"},{"key":"e_1_2_2_13_1","first-page":"489","article-title":"Early measures for UML class diagrams","volume":"6","author":"Genero M.","year":"2000","unstructured":"Genero , M. , Piattini , M. , and Calero , C. 2000 . Early measures for UML class diagrams . L'Objet 6 , 489 -- 505 . Genero, M., Piattini, M., and Calero, C. 2000. Early measures for UML class diagrams. L'Objet 6, 489--505.","journal-title":"L'Objet"},{"key":"e_1_2_2_14_1","unstructured":"Gomaa H. 2000. Designing Concurrent Distributed and Real-Time Applications with UML. Addison-Wesley.   Gomaa H. 2000. Designing Concurrent Distributed and Real-Time Applications with UML. Addison-Wesley."},{"key":"e_1_2_2_15_1","unstructured":"Holt R. W. Boehm-Davis D. A. and Shultz A. C. 1987. Mental representations of programs for student and professional programmers. In Empirical Studies of Programmers II. Ablex Publishing Corp. 33--46.   Holt R. W. Boehm-Davis D. A. and Shultz A. C. 1987. Mental representations of programs for student and professional programmers. In Empirical Studies of Programmers II. Ablex Publishing Corp. 33--46."},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026586415054"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007660200005"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/38765.38824"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0060-3"},{"key":"e_1_2_2_20_1","unstructured":"Jacobson I. Christerson M. Jonsson P. and Overgaard G. 1992. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley.   Jacobson I. Christerson M. Jonsson P. and Overgaard G. 1992. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley."},{"key":"e_1_2_2_21_1","volume-title":"Proceedings of the International Workshop on Quantitative Approaches in Object-Oriented Software Engineering.","author":"Kim H.","unstructured":"Kim , H. and Boldyreff , C . 2002. Developing software metrics applicable to UML models . In Proceedings of the International Workshop on Quantitative Approaches in Object-Oriented Software Engineering. Kim, H. and Boldyreff, C. 2002. Developing software metrics applicable to UML models. In Proceedings of the International Workshop on Quantitative Approaches in Object-Oriented Software Engineering."},{"key":"e_1_2_2_22_1","volume-title":"The Rational Unified Process: An Introduction","author":"Kruchten P.","unstructured":"Kruchten , P. 2003. The Rational Unified Process: An Introduction . Addison-Wesley . Kruchten, P. 2003. The Rational Unified Process: An Introduction. Addison-Wesley."},{"key":"e_1_2_2_23_1","volume-title":"Use Cases: Requirements in Context","author":"Kulak D.","year":"2000","unstructured":"Kulak , D. and Guiney , E . 2000 . Use Cases: Requirements in Context . ACM Press . Kulak, D. and Guiney, E. 2000. Use Cases: Requirements in Context. ACM Press."},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.50"},{"key":"e_1_2_2_25_1","volume-title":"Applying UML and Patterns","author":"Larman C.","unstructured":"Larman , C. 2004. Applying UML and Patterns . Prentice-Hall . Larman, C. 2004. Applying UML and Patterns. Prentice-Hall."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00164-7"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2003.1226023"},{"key":"e_1_2_2_28_1","volume-title":"Proceedings of the 24th Annual IEEE\/NASA Software Engineering Workshop. 485--507","author":"Major M. L.","year":"1999","unstructured":"Major , M. L. and McGregor , J. D. 1999 . Using guided inspection to validate UML models . In Proceedings of the 24th Annual IEEE\/NASA Software Engineering Workshop. 485--507 . Major, M. L. and McGregor, J. D. 1999. Using guided inspection to validate UML models. In Proceedings of the 24th Annual IEEE\/NASA Software Engineering Workshop. 485--507."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/522081.795010"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-006-5967-6"},{"key":"e_1_2_2_31_1","unstructured":"OMG 2005. UML 2.0 Superstructure Specification Object Management Group.  OMG 2005. UML 2.0 Superstructure Specification Object Management Group."},{"key":"e_1_2_2_32_1","volume-title":"Questionnaire Design, Interviewing, and Attitude Measurement","author":"Oppenheim A. N.","unstructured":"Oppenheim , A. N. 1992. Questionnaire Design, Interviewing, and Attitude Measurement . Pinter Pub Ltd . Oppenheim, A. N. 1992. Questionnaire Design, Interviewing, and Attitude Measurement. Pinter Pub Ltd."},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-006-9006-z"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-007-9023-6"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2008010104"},{"key":"e_1_2_2_36_1","volume-title":"Proceedings of the ECOOP Workshop on Quantative Approaches in Object-Oriented Software Engineering. 71--84","author":"Reissing R.","year":"2001","unstructured":"Reissing , R. 2001 . Towards a model for object-oriented design measurement . In Proceedings of the ECOOP Workshop on Quantative Approaches in Object-Oriented Software Engineering. 71--84 . Reissing, R. 2001. Towards a model for object-oriented design measurement. In Proceedings of the ECOOP Workshop on Quantative Approaches in Object-Oriented Software Engineering. 71--84."},{"key":"e_1_2_2_37_1","unstructured":"Schneider G. and Winters J. P. 1998. Applying Use Cases: A Practical Guide. Addison-Wesley.   Schneider G. and Winters J. P. 1998. Applying Use Cases: A Practical Guide. Addison-Wesley."},{"key":"e_1_2_2_38_1","volume-title":"Proceedings of the International Conference on Model Driven Engineering Languages and Systems.","author":"\u015amia\u0142ek M.","unstructured":"\u015amia\u0142ek , M. , Bojarski , J. , Nowakowski , W. , Ambroziewicz , A. , and Straszak , T . 2007. Complementary use case scenario representations based on domain vocabularies . In Proceedings of the International Conference on Model Driven Engineering Languages and Systems. \u015amia\u0142ek, M., Bojarski, J., Nowakowski, W., Ambroziewicz, A., and Straszak, T. 2007. Complementary use case scenario representations based on domain vocabularies. In Proceedings of the International Conference on Model Driven Engineering Languages and Systems."},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2005.02.006"},{"key":"e_1_2_2_40_1","volume-title":"Proceedings of the International Conference on Software Engineering&Knowledge Engineering. 324--329","author":"Subramaniam K.","unstructured":"Subramaniam , K. , Liu , D. , Far , B. H. , and Eberlein , A . 2004. UCDA: Use case driven development assistant tool for class model generation . In Proceedings of the International Conference on Software Engineering&Knowledge Engineering. 324--329 . Subramaniam, K., Liu, D., Far, B. H., and Eberlein, A. 2004. UCDA: Use case driven development assistant tool for class model generation. In Proceedings of the International Conference on Software Engineering&Knowledge Engineering. 324--329."},{"key":"e_1_2_2_41_1","volume-title":"Proceedings of the 1st IEEE International Conference on Cognitive Informatics. 351--360","author":"Wahono R. S.","unstructured":"Wahono , R. S. and Far , B. H . 2002. A framework for object identification and refinement process in object-oriented analysis and design . In Proceedings of the 1st IEEE International Conference on Cognitive Informatics. 351--360 . Wahono, R. S. and Far, B. H. 2002. A framework for object identification and refinement process in object-oriented analysis and design. In Proceedings of the 1st IEEE International Conference on Cognitive Informatics. 351--360."},{"key":"e_1_2_2_42_1","volume-title":"Software Engineering: An Introduction","author":"Wohlin C.","year":"2000","unstructured":"Wohlin , C. and Wesslen , A . 2000 . Experimentation in Software Engineering: An Introduction . Springer . Wohlin, C. and Wesslen, A. 2000. Experimentation in Software Engineering: An Introduction. Springer."},{"key":"e_1_2_2_43_1","volume-title":"Proceedings of the International Conference on Computational Science. 421--424","author":"Xu B.","unstructured":"Xu , B. , Kang , D. , and Lu , J . 2004. A structural complexity measure for UML class diagrams . In Proceedings of the International Conference on Computational Science. 421--424 . Xu, B., Kang, D., and Lu, J. 2004. A structural complexity measure for UML class diagrams. In Proceedings of the International Conference on Computational Science. 421--424."},{"key":"e_1_2_2_45_1","volume-title":"Proceedings of the European Conference on Modeling Foundations and Applications. 115--131","author":"Yue T.","unstructured":"Yue , T. , Ali , S. , and Briand , L . 2011a. Automated transition from use cases to UML state machines to support state-based testing . In Proceedings of the European Conference on Modeling Foundations and Applications. 115--131 . Yue, T., Ali, S., and Briand, L. 2011a. Automated transition from use cases to UML state machines to support state-based testing. In Proceedings of the European Conference on Modeling Foundations and Applications. 115--131."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_37"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_26"},{"key":"e_1_2_2_48_1","volume-title":"Tech. Rep. 2010--15.","author":"Yue T.","year":"2010","unstructured":"Yue , T. , Briand , L. C. , and Labiche , Y . 2010 b. Automatically deriving a UML analysis model from a use case model, Simula Research Laboratory , Tech. Rep. 2010--15. Yue, T., Briand, L. C., and Labiche, Y. 2010b. Automatically deriving a UML analysis model from a use case model, Simula Research Laboratory, Tech. Rep. 2010--15."},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0111-y"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2430536.2430539","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2430536.2430539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:23Z","timestamp":1750235723000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2430536.2430539"}},"subtitle":["Approach and experiments"],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["10.1145\/2430536.2430539"],"URL":"https:\/\/doi.org\/10.1145\/2430536.2430539","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2]]},"assertion":[{"value":"2010-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-03-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}