{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T13:59:01Z","timestamp":1774015141824,"version":"3.50.1"},"reference-count":62,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2015,5,13]],"date-time":"2015-05-13T00:00:00Z","timestamp":1431475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Research Fund, Luxembourg"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2015,5,13]]},"abstract":"<jats:p>The transition from an informal requirements specification in natural language to a structured, precise specification is an important challenge in practice. It is particularly so for object-oriented methods, defined in the context of the OMG's Model Driven Architecture (MDA), where a key step is to transition from a use case model to an analysis model. However, providing automated support for this transition is challenging, mostly because, in practice, requirements are expressed in natural language and are much less structured than other kinds of development artifacts. Such an automated transformation would enable at least the generation of an initial, likely incomplete, analysis model and enable automated traceability from requirements to code, through various intermediate models. In this article, we propose a method and a tool called aToucan, building on existing work, to automatically generate a UML analysis model comprising class, sequence and activity diagrams from a use case model and to automatically establish traceability links between model elements of the use case model and the generated analysis model. Note that our goal is to save effort through automated support, not to replace human abstraction and decision making.<\/jats:p>\n          <jats:p>Seven (six) case studies were performed to compare class (sequence) diagrams generated by aToucan to the ones created by experts, Masters students, and trained, fourth-year undergraduate students. Results show that aToucan performs well regarding consistency (e.g., 88% class diagram consistency) and completeness (e.g., 80% class completeness) when comparing generated class diagrams with reference class diagrams created by experts and Masters students. Similarly, sequence diagrams automatically generated by aToucan are highly consistent with the ones devised by experts and are also rather complete, for instance, 91% and 97% message consistency and completeness, respectively. Further, statistical tests show that aToucan significantly outperforms fourth-year engineering students in this respect, thus demonstrating the value of automation. We also conducted two industrial case studies demonstrating the applicability of aToucan in two different industrial domains. Results showed that the vast majority of model elements generated by aToucan are correct and that therefore, in practice, such models would be good initial models to refine and augment so as to converge towards to correct and complete analysis models. A performance analysis shows that the execution time of aToucan (when generating class and sequence diagrams) is dependent on the number of simple sentences contained in the use case model and remains within a range of a few minutes. Five different software system descriptions (18 use cases altogether) were performed to evaluate the generation of activity diagrams. Results show that aToucan can generate 100% complete and correct control flow information of activity diagrams and on average 85% data flAow information completeness. Moreover, we show that aToucan outperforms three commercial tools in terms of activity diagram generation.<\/jats:p>","DOI":"10.1145\/2699697","type":"journal-article","created":{"date-parts":[[2015,5,15]],"date-time":"2015-05-15T16:05:34Z","timestamp":1431705934000},"page":"1-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":80,"title":["aToucan"],"prefix":"10.1145","volume":"24","author":[{"given":"Tao","family":"Yue","sequence":"first","affiliation":[{"name":"Simula Research Laboratory and University of Oslo, Olso, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"SnT Centre, University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,5,13]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358441"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647646.731122"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.43"},{"key":"e_1_2_2_4_1","unstructured":"K. Bittner and I. Spence. 2002. Use Case Modeling. Addison-Wesley.   K. Bittner and I. Spence. 2002. Use Case Modeling. Addison-Wesley."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.06.002"},{"key":"e_1_2_2_6_1","volume-title":"Syntax: A Linguistic Introduction to Sentence Structure","author":"Brown K.","year":"1992","unstructured":"K. Brown and J. Miller . 1992 . Syntax: A Linguistic Introduction to Sentence Structure . 2 nd Ed. Routledge . K. Brown and J. Miller. 1992. Syntax: A Linguistic Introduction to Sentence Structure. 2nd Ed. Routledge.","edition":"2"},{"key":"e_1_2_2_7_1","unstructured":"B. Bruegge and A. H. Dutoit. 2009. Object-Oriented Software Engineering Using UML Patterns and Java. 3rd Ed. Prentice Hall.   B. Bruegge and A. H. Dutoit. 2009. Object-Oriented Software Engineering Using UML Patterns and Java. 3rd Ed. Prentice Hall."},{"key":"e_1_2_2_8_1","unstructured":"CaseComplete The CaseComplete tool. http:\/\/www.casecomplete.com\/.  CaseComplete The CaseComplete tool. http:\/\/www.casecomplete.com\/."},{"key":"e_1_2_2_9_1","volume-title":"Writing Effective Use Cases","author":"Cockburn A.","unstructured":"A. Cockburn . 2001. Writing Effective Use Cases . Addison-Wesley . A. Cockburn. 2001. Writing Effective Use Cases. Addison-Wesley."},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953355.1953378"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.im.2003.10.003"},{"key":"e_1_2_2_13_1","volume-title":"Proceedings of the Workshop de Engenharia de Requisitos.","author":"Duran T. A.","unstructured":"T. A. Duran , B. Bernardez , C. Ru\u00edz , and B. M. Toro . 1999. A requirements elicitation approach based in templates and patterns . In Proceedings of the Workshop de Engenharia de Requisitos. T. A. Duran, B. Bernardez, C. Ru\u00edz, and B. M. Toro. 1999. A requirements elicitation approach based in templates and patterns. In Proceedings of the Workshop de Engenharia de Requisitos."},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"e_1_2_2_15_1","unstructured":"Eclipse Foundation Eclipse Compare. http:\/\/www.eclipse.org\/emt\/compare\/.  Eclipse Foundation Eclipse Compare. http:\/\/www.eclipse.org\/emt\/compare\/."},{"key":"e_1_2_2_16_1","unstructured":"Eclipse Foundation Eclipse modeling framework. http:\/\/www.eclipse.org\/modeling\/emf\/.  Eclipse Foundation Eclipse modeling framework. http:\/\/www.eclipse.org\/modeling\/emf\/."},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101970"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-003-0174-0"},{"key":"e_1_2_2_19_1","first-page":"1","article-title":"The case for case","volume":"3","author":"Fillmore C. J.","year":"1968","unstructured":"C. J. Fillmore . 1968 . The case for case . In Universals in Linguistic Theory. 3 , 1 -- 90 . C. J. Fillmore. 1968. The case for case. In Universals in Linguistic Theory. 3, 1--90.","journal-title":"Universals in Linguistic Theory."},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.43"},{"key":"e_1_2_2_21_1","unstructured":"M. Fowler. Refactoring home page. http:\/\/www.refactoring.com\/.  M. Fowler. Refactoring home page. http:\/\/www.refactoring.com\/."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"e_1_2_2_23_1","volume-title":"Proceedings of the 2nd World Congress on Software Quality. 55--60","author":"Glinz M.","year":"2000","unstructured":"M. Glinz . 2000 . Improving the quality of requirements with scenarios . In Proceedings of the 2nd World Congress on Software Quality. 55--60 . M. Glinz. 2000. Improving the quality of requirements with scenarios. In Proceedings of the 2nd World Congress on Software Quality. 55--60."},{"key":"e_1_2_2_24_1","unstructured":"H. Gomaa. 2000. Designing Concurrent Distributed and Real-Time Applications with UML. Addison-Wesley.   H. Gomaa. 2000. Designing Concurrent Distributed and Real-Time Applications with UML. Addison-Wesley."},{"key":"e_1_2_2_25_1","volume-title":"The Oxford English Grammar. Oxford Paperback Reference","author":"Greenbaum S.","unstructured":"S. Greenbaum . 1998. The Oxford English Grammar. Oxford Paperback Reference . Oxford University Press . S. Greenbaum. 1998. The Oxford English Grammar. Oxford Paperback Reference. Oxford University Press."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_6"},{"key":"e_1_2_2_27_1","volume-title":"Empirical Studies of Programmers: 2nd Workshop. Ablex Publishing Corp., 33--46","author":"Holt R. W.","unstructured":"R. W. Holt , D. A. Boehm-Davis , and A. C. Shultz . 1987. Mental representations of programs for student and professional programmers . In Empirical Studies of Programmers: 2nd Workshop. Ablex Publishing Corp., 33--46 . R. W. Holt, D. A. Boehm-Davis, and A. C. Shultz. 1987. Mental representations of programs for student and professional programmers. In Empirical Studies of Programmers: 2nd Workshop. Ablex Publishing Corp., 33--46."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026586415054"},{"key":"e_1_2_2_29_1","unstructured":"IBM Rational Software Architect. http:\/\/www.ibm.com\/developerworks\/downloads\/r\/architect\/.  IBM Rational Software Architect. http:\/\/www.ibm.com\/developerworks\/downloads\/r\/architect\/."},{"key":"e_1_2_2_30_1","unstructured":"IBM Rational Unified Process. http:\/\/en.wikipedia.org\/wiki\/Rational&lowbar;Unified&lowbar;Process.  IBM Rational Unified Process. http:\/\/en.wikipedia.org\/wiki\/Rational&lowbar;Unified&lowbar;Process."},{"key":"e_1_2_2_31_1","unstructured":"I. Jacobson G. Booch and J. Rumbaugh. 1999. The Unified Software Development Process. Addison-Wesley Professional.   I. Jacobson G. Booch and J. Rumbaugh. 1999. The Unified Software Development Process. Addison-Wesley Professional."},{"key":"e_1_2_2_32_1","unstructured":"H. Kaindl et al. 2007. ReDSeeDS Deliverable D2.4: Requirements Specification Language Definition.  H. Kaindl et al. 2007. ReDSeeDS Deliverable D2.4: Requirements Specification Language Definition."},{"key":"e_1_2_2_33_1","unstructured":"A. Kalnins et al. 2007. ReDSeeDS Deliverable D3.3: Reusable Case Transformation Rule Specification.  A. Kalnins et al. 2007. ReDSeeDS Deliverable D3.3: Reusable Case Transformation Rule Specification."},{"key":"e_1_2_2_34_1","unstructured":"Kermeta Kermeta metaprogramming environment. Triskell team. http:\/\/www.kermeta.org\/.  Kermeta Kermeta metaprogramming environment. Triskell team. http:\/\/www.kermeta.org\/."},{"key":"e_1_2_2_35_1","volume-title":"Requirements Engineering: from Systems Goals to UML Models to Software Specifications","author":"van Lamsweerde A.","unstructured":"A. van Lamsweerde . 2009. Requirements Engineering: from Systems Goals to UML Models to Software Specifications . Wiley . A. van Lamsweerde. 2009. Requirements Engineering: from Systems Goals to UML Models to Software Specifications. Wiley."},{"key":"e_1_2_2_36_1","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"Larman C.","unstructured":"C. Larman . 2004. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development . 3 rd Ed. Prentice-Hall . C. Larman. 2004. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. 3rd Ed. Prentice-Hall.","edition":"3"},{"key":"e_1_2_2_37_1","unstructured":"C. Manning and H. Schutze. 1999. Foundations of Statistical Natural Language Processing. 1st Ed. MIT Press.   C. Manning and H. Schutze. 1999. Foundations of Statistical Natural Language Processing. 1st Ed. MIT Press."},{"key":"e_1_2_2_38_1","volume-title":"Proceedings of the Asia-Pacific Conference on Software Engineering IEEE.","author":"Nakatani T.","unstructured":"T. Nakatani , T. Urai , S. Ohmura , and T. Tetsuo . 2001. A requirements description metamodel for use cases . In Proceedings of the Asia-Pacific Conference on Software Engineering IEEE. T. Nakatani, T. Urai, S. Ohmura, and T. Tetsuo. 2001. A requirements description metamodel for use cases. In Proceedings of the Asia-Pacific Conference on Software Engineering IEEE."},{"key":"e_1_2_2_39_1","unstructured":"OMG MOF 2.0 Core Specification formal\/2006-01-01 2.0 ed.  OMG MOF 2.0 Core Specification formal\/2006-01-01 2.0 ed."},{"key":"e_1_2_2_40_1","unstructured":"OMG OMG Knowledge Discovery Meta-Model KDM formal\/2009-01-02 2.0 ed.  OMG OMG Knowledge Discovery Meta-Model KDM formal\/2009-01-02 2.0 ed."},{"key":"e_1_2_2_41_1","unstructured":"OMG UML 2.2 Superstructure Specification formal\/2009-02-04.  OMG UML 2.2 Superstructure Specification formal\/2009-02-04."},{"key":"e_1_2_2_42_1","unstructured":"Papyrus Papyrus UML modeler. http:\/\/www.eclipse.org\/modeling\/mdt\/papyrus\/.  Papyrus Papyrus UML modeler. http:\/\/www.eclipse.org\/modeling\/mdt\/papyrus\/."},{"key":"e_1_2_2_43_1","unstructured":"RAVENFLOW. http:\/\/www.ravenflow.com\/.  RAVENFLOW. http:\/\/www.ravenflow.com\/."},{"key":"e_1_2_2_44_1","unstructured":"ReDSeeDS. http:\/\/www.redseeds.eu\/.  ReDSeeDS. http:\/\/www.redseeds.eu\/."},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-002-0158-5"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.738339"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2361717"},{"key":"e_1_2_2_48_1","volume-title":"A practical approach to validating and testing software systems using scenarios In Proceedings of the 3rd Quality Week Europe","author":"Ryser J.","unstructured":"J. Ryser , M. Glinz . 1999. A practical approach to validating and testing software systems using scenarios In Proceedings of the 3rd Quality Week Europe . J. Ryser, M. Glinz. 1999. A practical approach to validating and testing software systems using scenarios In Proceedings of the 3rd Quality Week Europe."},{"key":"e_1_2_2_49_1","volume-title":"Proceedings of the IEEE\/IFIP International Conference on Dependable Systems &amp; Networks (SN'09)","author":"Sinha A.","unstructured":"A. Sinha , A. Paradkar , P. Kumanan , and B. Boguraev . 2009. DA linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases . In Proceedings of the IEEE\/IFIP International Conference on Dependable Systems &amp; Networks (SN'09) . IEEE, 327--336. A. Sinha, A. Paradkar, P. Kumanan, and B. Boguraev. 2009. DA linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases. In Proceedings of the IEEE\/IFIP International Conference on Dependable Systems &amp; Networks (SN'09). IEEE, 327--336."},{"key":"e_1_2_2_50_1","unstructured":"M. Smialek J Bojarski W. Nowakowski A. Ambroziewicz and T. Straszak. 2007. Complementary use case scenario representations based on domain vocabularies. In Model Driven Engineering Languages and Systems. Springer.   M. Smialek J Bojarski W. Nowakowski A. Ambroziewicz and T. Straszak. 2007. Complementary use case scenario representations based on domain vocabularies. In Model Driven Engineering Languages and Systems. Springer."},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11266-9_58"},{"key":"e_1_2_2_52_1","unstructured":"Stanford Parser version 1.6. http:\/\/nlp.stanford.edu\/software\/lex-parser.shtml.  Stanford Parser version 1.6. http:\/\/nlp.stanford.edu\/software\/lex-parser.shtml."},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-007-0053-1"},{"key":"e_1_2_2_54_1","unstructured":"Visual paradiagm International. Visual Paradigm for UML. http:\/\/www.visual-paradigm.com\/.  Visual paradiagm International. Visual Paradigm for UML. http:\/\/www.visual-paradigm.com\/."},{"key":"e_1_2_2_55_1","volume-title":"Towards Vertical Impact Analysis of UML Models","author":"Yue T.","unstructured":"T. Yue . 2006. Towards Vertical Impact Analysis of UML Models . Carleton University . T. Yue. 2006. Towards Vertical Impact Analysis of UML Models. Carleton University."},{"key":"e_1_2_2_56_1","volume-title":"aToucan evaluation models. https:\/\/sites.google.com\/site\/taoyue\/atoucan-models","author":"Yue T.","year":"2014","unstructured":"T. Yue . 2014. aToucan evaluation models. https:\/\/sites.google.com\/site\/taoyue\/atoucan-models . 2014 . T. Yue. 2014. aToucan evaluation models. https:\/\/sites.google.com\/site\/taoyue\/atoucan-models. 2014."},{"key":"e_1_2_2_57_1","volume-title":"Proceedings of the 7th European Conference on Modelling Foundations and Applications.","author":"Yue T.","unstructured":"T. Yue , S. Ali , and L. Briand . 2011a. Automated transition from use cases to UML state machines to support state-based testing . In Proceedings of the 7th European Conference on Modelling Foundations and Applications. T. Yue, S. Ali, and L. Briand. 2011a. Automated transition from use cases to UML state machines to support state-based testing. In Proceedings of the 7th European Conference on Modelling Foundations and Applications."},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_37"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0111-y"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430539"},{"key":"e_1_2_2_61_1","unstructured":"T. Yue L. C. Briand and Y. Labiche. 2013. Automatically deriving a UML analysis model from a use case model. Tech. Rep. Simula Research Laboratory.  T. Yue L. C. Briand and Y. Labiche. 2013. Automatically deriving a UML analysis model from a use case model. Tech. Rep. Simula Research Laboratory."},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_26"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2699697","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2699697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:59Z","timestamp":1750227419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2699697"}},"subtitle":["An Automated Framework to Derive UML Analysis Models from Use Case Models"],"short-title":[],"issued":{"date-parts":[[2015,5,13]]},"references-count":62,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,5,13]]}},"alternative-id":["10.1145\/2699697"],"URL":"https:\/\/doi.org\/10.1145\/2699697","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,13]]},"assertion":[{"value":"2012-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-05-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}