Affiliation:
1. Ben-Gurion University of the Negev, Israel
Abstract
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone for any modeling effort. Class diagrams are widely used for purposes such as software specification, database and ontology engineering, meta-modeling, and model transformation. The central role played by class diagrams emphasizes the need for strengthening UML modeling tools with features such as recognition of erroneous models and the detection of errors’ sources. Correctness of UML class diagrams refers to the capability of a diagram to denote a finite but not empty reality. This is a natural, unquestionable requirement. Nevertheless, incorrect diagrams are often designed, due to the interaction of contradicting constraints and the limitations of current tools. In this paper, the authors clarify the notion of class diagram correctness, discuss various approaches for detecting correctness problems, and propose a pattern-based approach for identifying situations in which correctness problems occur, and for providing explanations and repair advices.
Subject
Management of Technology and Innovation,Information Systems
Reference55 articles.
1. Ackermann, J., & Turowski, K. (2006). A Library of OCL Specification Patterns to Simplify Behavioral Specification of Software Components. In Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE 2006), Luxembourg, Germany (pp. 255-269). Berlin: Springer.
2. Anastasakis, K., Bordbar, B., Georg, G., & Ray, I. (2007). UML2Alloy: A Challenging Model Transformation. In Proceedings of the 10th International Conference Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (pp. 436-450). Berlin: Springer.
3. Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., & Zakharyaschev, M. (2007). Complexity of Reasoning over Entity-Relationship Models. In Proceedings of the 20th International Workshop on Description Logic (DL 2007), Brixen-Bressanone, Italy (pp. 163-170).
4. Balaban, M., & Maraee, A. (2006). Consistency of UML Class Diagrams with Hierarchy Constraints. In Proceedings of the 6th International Conference on Next Generation Information Technologies and Systems (NGITS 2006), Kibbuts Shefayim, Israel (pp. 71-82). Berlin: Springer.
5. MEER—An EER model enhanced with structure methods
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献