Damiano Torre
Abstract
The Unified Modeling Language (UML), with its 14 different diagram types, is the de-facto standard modeling language for object-oriented software modeling and documentation. Since the various UML diagrams describe different views of one, and only one, software system under development, they strongly depend on each other in many ways. In other words, the UML diagrams describing a software system must be consistent. Inconsistencies among these diagrams may be a source of faults during software development and analysis. It is therefore paramount that these inconsistencies be detected, analyzed and -- hopefully -- fixed. The goal of this workshop was to gather input and feedbacks on UML consistency rules from the community. This workshop provided an opportunity for researchers who have been working in the area of UML consistency to interact with each other at a highly interactive venue, improve the body of knowledge on UML consistency rules and discuss ideas for further research in this area. This report summarizes details of the workshop and the results obtained that day.
- Mukerji, J. and J. Miller, 2003. Overview and guide to OMG's architecture. http://www.omg.org/mda/ (last accessed Dec. 2015).Google Scholar
- Thomas, D., 2004. MDA: Revenge of the modelers or UML utopia? IEEE Software 21, 3, 15--17. DOI=http://dx.doi.org/10.1109/MS.2004.1293067. Google ScholarDigital Library
- Lucas, F.J., F. Molina, and A. Toval, 2009. A systematic review of UML model consistency management. Information and Software Technology 51, 12, 1631--1645. DOI=http://dx.doi.org/10.1016/j.infsof.2009.04.009. Google ScholarDigital Library
- Genero, M., A.M. Fernández-Saez, H.J. Nelson, G. Poels, and M. Piattini, 2011. A Systematic Literature Review on the Quality of UML Models. Journal of Database Management 22, 3 (July-September 2011), 46--70. Google ScholarDigital Library
- Usman, M., A. Nadeem, K. Tai-hoon, and C. Eun-suk, 2008. A Survey of Consistency Checking Techniques for UML Models. In Proceedings of the Conference on Advanced Software Engineering and Its Applications (Hainan Island, China, December 13-15 2008), IEEE Computer Society, 57--62. DOI=http://dx.doi.org/10.1109/asea.2008.40. Google ScholarDigital Library
- OMG, 2015. OMG Unified Modeling Language Version 2.5. Object Management GroupGoogle Scholar
- Pender, T., 2003. UML Bible (1st ed.). John Wiley & Sons, Inc., New York, NY, USA. Google ScholarDigital Library
- Petre, M., 2013. UML in practice. In Proceedings of the 35th International Conference on Software Engineering (San Francisco, CA, USA, May 18-26 2013), IEEE Press, 722--731. Google ScholarDigital Library
- Ibrahim, N., R. Ibrahim, M.Z. Saringat, D. Mansor, and T. Herawan, 2011. Consistency rules between UML use case and activity diagrams using logical approach. International Journal of Software Engineering and its Applications 5, 3, 119--134.Google Scholar
- Simmonds, J., R.V. Straeten, V. Jonkers, and T. Mens, 2004. Maintaining Consistency between UML Models using Description Logic. RSTI -- L'Object LMO'04 10, 2-3, 231--244.Google Scholar
- Huzar, Z., L. Kuzniarz, G. Reggio, and J.L. Sourrouille, 2005. Consistency problems in UML-based software development. In Proceedings of the International Conference on UML Modeling Languages and Applications (Lisbon, Portugal 2005), Springer-Verlag, 1--12. DOI= http://dx.doi.org/10.1007/978-3-540-31797-5_1. Google ScholarDigital Library
- Muskens, J., R.J. Bril, and M.R.V. Chaudron, 2005. Generalizing Consistency Checking between Software Views. In Proceedings the 5th Working IEEE/IFIP Conference on Software Architecture (Pittsburgh, Pennsylvania, USA, November 6-10 2005), IEEE Computer Society, 169--180. DOI=http://dx.doi.org/10.1109/wicsa.2005.37. Google ScholarDigital Library
- Spanoudakis, G. and A. Zisman, 2001. Inconsistency management in software engineering: Survey and open research issues. In Handbook of Software Engineering and Knowledge Engineering, S.K. Chang Ed. World Scientific Publ. Co., Singapore, 329--380.Google Scholar
- Torre, D., Y. Labiche, and M. Genero, 2014. UML consistency rules: a systematic mapping study. In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering (EASE 2014) (London, UK, 13-14 May 2014), ACM. Google ScholarDigital Library
- Torre, D., Y. Labiche, M. Genero, and M. Elaasar, 2015. A systematic identification of consistency rules for UML diagrams. Carleton University. http://goo.gl/TFMgnE.Google Scholar
- Torre, D., Y. Labiche, M. Genero, and M. Elaasar, 2015. Introduction to WUCOR 2015. In Proceedings of the 1st International Workshop on UML Consistency Rules (WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) (Ottawa 2015), CEUR. http://ceur-ws.org/Vol-1508/.Google Scholar
- Hoisl, B. and S. Sobernig, 2015. Consistency Rules for UML-based Domain-specific Language Models: A Literature Review. In Proceedings of the 1st International Workshop on UML Consistency Rules (WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) (Ottawa, Canada, September 28 2015), CEUR.Google Scholar
- Sobernig, S., B. Hoisl, and M. Strembeck, 2016. Extracting reusable design decisions for UML-based domain-specific languages: A multi-method study. Journal of Systems and Software 113, 140--172. Google ScholarDigital Library
- Chiorean, D., V. Petra?cu, and I. Chiorean, 2015. Proposal for Improving the UML Abstract Syntax. In Proceedings of the 1st International Workshop on UML Consistency Rules (WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) (Ottawa, Canada, September 28 2015), CEUR.Google Scholar
- Reggio, G., M. Leotta, F. Ricca, and D. Clerissi, 2013. What are the used UML diagrams? A Preliminary Survey. In Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling - CEUR Workshop Proceedings (EESSMod 2013) (Miami, Florida - USA, October 1 2013), 3--12.Google Scholar
- Petersen, K., R. Feldt, S. Mujtaba, and M. Mattsson, 2008. Systematic mapping studies in software engineering. In Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering (EASE 2008) (Bari, Italy 2008), British Computer Society, 71--80. Google ScholarDigital Library
Index Terms
- 1st International Workshop on UML Consistency Rules (WUCOR 2015): Post workshop report
Recommendations
On collecting and validating UML consistency rules: a research proposal
EASE '14: Proceedings of the 18th International Conference on Evaluation and Assessment in Software EngineeringThe main aim of my doctoral research is to create a comprehensive set of well-accepted consistency rules for UML diagrams that can be found in the literature, in reference textbooks or in the UML standard. Moreover, an important part of that aim will be ...
UML consistency rules: a systematic mapping study
EASE '14: Proceedings of the 18th International Conference on Evaluation and Assessment in Software EngineeringContext: The Unified Modeling Language (UML), with its 14 different diagram types, is the de-facto standard modeling language for object-oriented modeling and documentation. Since the various UML diagrams describe different aspects of one, and only one, ...
UML diagram synthesis techniques: a systematic mapping study
MiSE '18: Proceedings of the 10th International Workshop on Modelling in Software EngineeringContext: UML software development relies on different types of UML diagrams, which must be consistent with one another. UML Synthesis techniques suggest to generate diagram(s) from other diagram(s), thereby implicitly suggesting that input and output ...
Comments