[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content

A Methodological Assistant for UML and SysML Use Case Diagrams

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2020)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Aamodt, A., Plaza, E.: Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun. 7(1), 39–52 (1994)

    Article  Google Scholar 

  2. 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

    Article  Google Scholar 

  3. 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)

    Google Scholar 

  4. Casse, O.: SysML in Action with Cameo Systems Modeler. ISTE Press, Elseiver, London (2018)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. Cockburn, A.: Structuring use cases with goals. J. Object-Orient. Program. 10(5), 56–62 (1997)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. Dolques, X., Huchard, M., Nebut, C., Reitz, P.: Fixing generalization defects in UML use case diagrams, Sevilla, Spain, pp. 247–258 (2010)

    Google Scholar 

  12. Eichelberger, H.: Automatic layout of UML use case diagrams. In: Proceedings of the 4th ACM Symposium on Software Visualization, pp. 105–114. ACM (2008)

    Google Scholar 

  13. 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

    Article  Google Scholar 

  14. 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)

    Article  Google Scholar 

  15. Fauzan, R., Siahaan, D., Rochimah, S., Triandini, E.: Use case diagram similarity measurement: a new approach, pp. 3–7, July 2019

    Google Scholar 

  16. Holt, J., Perry, S.: SysML for systems engineering, vol. 7. IET (2008)

    Google Scholar 

  17. IBM-Rhapsody (2020). https://www.ibm.com/ca-en/marketplace/architect-for-systems-engineers

  18. 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

    Chapter  Google Scholar 

  19. Jacobson, I.: Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley, Boston (1992)

    MATH  Google Scholar 

  20. Klimek, R., Szwed, P.: Formal analysis of use case diagrams. Comput. Sci. 11, 115–131 (2010)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. Marchese, F.: Use Case Diagrams Tutorial. Pace University. http://csis.pace.edu/~marchese/CS389/L9/Use%20Case%20Diagrams.pdf

  24. 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

    Chapter  Google Scholar 

  25. Netten, B., Vingerhoeds, R., Koppelaar, H., Boullart, L.: Expert assisted discrete optimization of composite structures. In: European Simulation Symposium, pp. 143–148 (1993)

    Google Scholar 

  26. Object-Management-Group: Systems modeling language (SysML) v2 RFP (2017)

    Google Scholar 

  27. OMG: OMG Systems Modeling Language. Object Management Group (2017). https://www.omg.org/spec/SysML/1.5

  28. OMG: OMG Unified Modeling Language (OMG UML) Version 2.5. Object Management Group (2018). https://www.omg.org/spec/UML/2.5/PDF

  29. 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)

    Google Scholar 

  30. 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)

    Google Scholar 

  31. 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)

    Google Scholar 

  32. 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)

    Google Scholar 

  33. 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)

    Google Scholar 

  34. SparkSystems: Entreprise-architect (2019). https://www.sparxsystems.com/products/ea/

  35. Srisura, B., Daengdej, J.: Retrieving use case diagram with case-based reasoning approach. J. Theoret. Appl. Inf. Technol. 19(2), 68–78 (2010)

    Google Scholar 

  36. TTool: An open-source UML and SysML toolkit (2020). https://ttool.telecom-paris.fr

  37. Vacharajani, V., Pareek, J.: A proposed architecture for automated assessment of use case diagrams. Int. J. Comput. Appl. 108(4), 1–6 (2019)

    Google Scholar 

  38. Weilkiens, T.: Systems Engineering with SysML/UML: Modeling, Analysis, Design. Elsevier, Amsterdam (2011)

    MATH  Google Scholar 

  39. 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

    Chapter  Google Scholar 

Download references

Acknowledgements

Baptiste Labarthe has contributed to UCcheck software development.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Pierre de Saqui-Sannes .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics