Abstract
A software model is a widely used technique to specify software. A UML model may contain different diagrams and a diagram is built from different elements. Each element is restraint to certain constraint or well-formedness rules (WFR). Assurance to these WFR is important to ensure the quality of UML diagrams produced. Even though, the formal definition to UML elements is rapidly increased; there is still lack of formalization of WFR. Therefore, this paper will define the WFR for use case diagrams as it is ranked as one of the most used diagram among UML practitioners. The formalization is based on set theory by logic and quantification. Based on an example of a use case diagram, we show how the diagram satisfied the WFR. Then, the elements involved in the well-formedness problem are detected and formally reasoned.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Consistency Problems in UML-Based Software Development UML Modeling Languages and Applications. In: Jardim Nunes, N., et al. (eds.) UML Satellite Activities 2004. LNCS, vol. 3297, pp. 1–12. Springer, Heidelberg (2005)
Dobing, B., Parsons, J.: Dimensions of UML Diagram Use: A Survey of Practitioners. Journal of Database Management 19(1), 1–18 (2008)
Shinkawa, Y.: Inter-Model Consistency in UML Based on CPN Formalism. In: 13th Asia Pacific Software Engineering Conference (APSEC 2006), pp. 414–418. IEEE Press, Los Alamitos (2006)
Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in UML. In: 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), pp. 215–224. IEEE Press, Los Alamitos (2001)
Övergaard, G., Palmkvist, K.: A Formal Approach to Use Cases and Their Relationships. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 406–418. Springer, Heidelberg (1999)
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: International Conference on Methods and Models in Computer Science 2009 (ICM2CS 2009), pp. 1–4. IEEE Press, Los Alamitos (2009)
Mostafa, A.M., Ismail, M.A., El-Bolok, H., Saad, E.M.: Toward a Formalization of UML 2.0 Metamodel using Z Specifications. In: Eighth ACIS International Conference on Artificial Intelligence, Networking, and Parallel/Distributed Computing, SNPD 2007, pp. 694–701. IEEE Press, Los Alamitos (2007)
Sengupta, S., Bhattacharya, S.: Formalization of UML Diagrams and Their Consistency Verification- A Z Notation Based Approach. In: Proceedings of the 1st India Software Engineering Conference, pp. 151–152. ACM, New York (2008)
Lange, C., Chaudron, M.: An empirical assessment of completeness in UML designs. In: 8th International Conference on Empirical Assessment in Software Engineering (EASE 2004), pp. 111–119. IEEE Seminar Digests (2004)
Object Management Group (OMG): OMG Unified Modeling LanguageTM (OMG UML) Superstructure. Object Management Group (2009)
Lucas, F.J., Molina, F., Toval, A.: A Systematic Review of UML Model Consistency Management. Information and Software Technology 51(12), 1631–1645 (2009)
Lange, C.F.J., Chaudron, M.R.V.: Managing Model Quality in UML-based Software Development. In: 13th IEEE International Workshop Software Technology and Engineering Practice, pp. 7–16. IEEE Press, Los Alamitos (2005)
Labiche, Y.: The UML Is More Than Boxes and Lines. In: Chaudron, M.R.V. (ed.) Models in Software Engineering. LNCS, vol. 5421, pp. 375–386. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ibrahim, N., Ibrahim, R., Saringat, M.Z., Mansor, D., Herawan, T. (2010). On Well-Formedness Rules for UML Use Case Diagram. In: Wang, F.L., Gong, Z., Luo, X., Lei, J. (eds) Web Information Systems and Mining. WISM 2010. Lecture Notes in Computer Science, vol 6318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16515-3_54
Download citation
DOI: https://doi.org/10.1007/978-3-642-16515-3_54
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16514-6
Online ISBN: 978-3-642-16515-3
eBook Packages: Computer ScienceComputer Science (R0)