Abstract
Use case driven analysis is the corner stone of software and systems modeling in UML and SysML, respectively. A use case diagram identifies the main functions to be offered by the system and showcases the interactions between in-system use cases and out-system users. Identifying and organizing use cases requires good abstraction skills. Therefore, many students and industry practitioners face methodological problems in writing good use cases. Many books and tutorials have addressed the subject. Nevertheless, integration of use case elaboration principles into a UML or SysML tool still remains an open issue. This paper proposes solutions and discusses implementation in a methodological assistant named UCCheck. The latter helps use case diagrams designers to rely on formalized rules and reuse of previous diagrams to create and review their use case diagrams. Implemented in Python, UCCheck is interfaced with the free SysML software TTool and with Cameo Systems Modeler, leaving doors open for other UML or SysML tools.
First author acknowledges support from CAPES and Brafitec program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Aamodt, A., Plaza, E.: Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun. 7(1), 39–52 (1994)
Beimel, D., Kedmi-Shahar, E.: Improving the identification of functional system requirements when novice analysts create use case diagrams: the benefits of applying conceptual mental models. Requir. Eng. 24, 483–502 (2019). https://doi.org/10.1007/s00766-018-0296-z
Bonilla-Morales, B., Crespo, S., Clunie, C.: Reuse of use cases diagrams: an approach based on ontologies and semantic web technologies. IJCSI Int. J. Comput. Sci. Issues 9(2), 1–6 (2012)
Casse, O.: SysML in Action with Cameo Systems Modeler. ISTE Press, Elseiver, London (2018)
Chanda, J., Kanjilal, A., Sengupta, S., Bhattacharya, S.: Traceability of requirements and consistency verification of UML use case, activity and class diagram: a formal approach. In: 2009 Proceeding of International Conference on Methods and Models in Computer Science (ICM2CS), pp. 1–4. IEEE (2009)
Chren, S., Buhnova, B., Macak, M., Daubner, L., Rossi, B.: Mistakes in UML diagrams: analysis of student projects in a software engineering course. In: Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, pp. 100–109. IEEE Press (2019)
Christiansen, H., Theil, C., Tveitane, K.: From use cases to UML class diagrams using logic grammars and constraints. In: RANLP, vol. 7, pp. 128–132 (2007)
Cockburn, A.: Structuring use cases with goals. J. Object-Orient. Program. 10(5), 56–62 (1997)
Costain, G., McKenna, B.: Experiencing the elicitation of user requirements and recording them in use case diagrams through role-play. J. Inf. Syst. Educ. 22(4), 367–380 (2019)
Daigmorte, H., de Saqui-Sannes, P., Vingerhoeds, R.A.: A SysML method with network dimensioning. In: 5th IEEE International Symposium on Systems Engineering (ISSE 2019) (2019)
Dolques, X., Huchard, M., Nebut, C., Reitz, P.: Fixing generalization defects in UML use case diagrams, Sevilla, Spain, pp. 247–258 (2010)
Eichelberger, H.: Automatic layout of UML use case diagrams. In: Proceedings of the 4th ACM Symposium on Software Visualization, pp. 105–114. ACM (2008)
El-Attar, M., Miller, J.: Producing robust use case diagrams via reverse engineering of use case descriptions. Softw. Syst. Model. 7(1), 67–83 (2008). https://doi.org/10.1007/s10270-006-0039-3
Elallaoui, M., Nafil, K., Touahni, R.: Automatic transformation of user stories into UML use case diagrams using NLP techniques. Proc. Comput. Sci. 130, 42–49 (2018)
Fauzan, R., Siahaan, D., Rochimah, S., Triandini, E.: Use case diagram similarity measurement: a new approach, pp. 3–7, July 2019
Holt, J., Perry, S.: SysML for systems engineering, vol. 7. IET (2008)
IBM-Rhapsody (2020). https://www.ibm.com/ca-en/marketplace/architect-for-systems-engineers
Ibrahim, N., Ibrahim, R., Saringat, M.Z., Mansor, D., Herawan, T.: On well-formedness rules for UML use case diagram. In: Wang, F.L., Gong, Z., Luo, X., Lei, J. (eds.) WISM 2010. LNCS, vol. 6318, pp. 432–439. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16515-3_54
Jacobson, I.: Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley, Boston (1992)
Klimek, R., Szwed, P.: Formal analysis of use case diagrams. Comput. Sci. 11, 115–131 (2010)
Kruus, H., Robal, T., Jervan, G.: Teaching modeling in SysML/UML and problems encountered. In: 2014 25th EAEEIE Annual Conference (EAEEIE), pp. 33–36. IEEE (2014)
Lilly, S.: Use case pitfalls: top 10 problems from real projects using use cases. In: Proceedings of Technology of Object-Oriented Languages and Systems-TOOLS 30 (Cat. No. PR00278), pp. 174–183. IEEE (1999)
Marchese, F.: Use Case Diagrams Tutorial. Pace University. http://csis.pace.edu/~marchese/CS389/L9/Use%20Case%20Diagrams.pdf
Moisan, S., Rigault, J.-P.: Teaching object-oriented modeling and UML to various audiences. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 40–54. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-12261-3_5
Netten, B., Vingerhoeds, R., Koppelaar, H., Boullart, L.: Expert assisted discrete optimization of composite structures. In: European Simulation Symposium, pp. 143–148 (1993)
Object-Management-Group: Systems modeling language (SysML) v2 RFP (2017)
OMG: OMG Systems Modeling Language. Object Management Group (2017). https://www.omg.org/spec/SysML/1.5
OMG: OMG Unified Modeling Language (OMG UML) Version 2.5. Object Management Group (2018). https://www.omg.org/spec/UML/2.5/PDF
Ramollari, E., Dranidis, D.: StudentUML: an educational tool supporting object-oriented analysis and design. In: Proceedings of the 11th Panhellenic Conference on Informatics, pp. 363–373 (2007)
Rizzo Aquino, E., de Saqui-Sannes, P., Vingerhoeds, R.A.: A methodological assistant for use case diagrams. In: 8th MODELSWARD: International Conference on Model-Driven Engineering and Software Development (2020)
de Saqui-Sannes, P., Apvrille, L.: Making modeling assumptions an explicit part of real-time systems models. In: The 8th European Congress Embedded Real Time Software and Systems (ERTS2) (2016)
de Saqui-Sannes, P., Vingerhoeds, R.A., Apvrille, L.: Early checking of SysML models applied to protocols. In: 12th International Conference on Modeling, Optimisation and Simulation, MOSIM 2018, Toulouse, France (2018)
Seresht, S.M., Ormandjieva, O.: Automated assistance for use cases elicitation from user requirements text. In: Proceedings of the 11th Workshop on Requirements Engineering, WER 2008, vol. 16, pp. 128–139 (2008)
SparkSystems: Entreprise-architect (2019). https://www.sparxsystems.com/products/ea/
Srisura, B., Daengdej, J.: Retrieving use case diagram with case-based reasoning approach. J. Theoret. Appl. Inf. Technol. 19(2), 68–78 (2010)
TTool: An open-source UML and SysML toolkit (2020). https://ttool.telecom-paris.fr
Vacharajani, V., Pareek, J.: A proposed architecture for automated assessment of use case diagrams. Int. J. Comput. Appl. 108(4), 1–6 (2019)
Weilkiens, T.: Systems Engineering with SysML/UML: Modeling, Analysis, Design. Elsevier, Amsterdam (2011)
Zhao, J., Duan, Z.: Verification of use case with petri nets in requirement analysis. In: Gervasi, O., Taniar, D., Murgante, B., Laganà, A., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2009. LNCS, vol. 5593, pp. 29–42. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02457-3_3
Acknowledgements
Baptiste Labarthe has contributed to UCcheck software development.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Aquino, E.R., de Saqui-Sannes, P., Vingerhoeds, R.A. (2021). A Methodological Assistant for UML and SysML Use Case Diagrams. In: Hammoudi, S., Pires, L.F., Selić, B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2020. Communications in Computer and Information Science, vol 1361. Springer, Cham. https://doi.org/10.1007/978-3-030-67445-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-67445-8_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67444-1
Online ISBN: 978-3-030-67445-8
eBook Packages: Computer ScienceComputer Science (R0)