Alexander Reder
Alexander Egyed
ABSTRACT
Integrated development environments are widely used in industry and support software engineers with instant error feedback about their work. Modeling tools often react to changes at a coarse level of granularity that make reasoning about errors inefficient and late. Furthermore, there is often a lack of appropriate visualizations of model errors and information on how to fix them. This paper presents the Model/Analyzer tool, an eclipse-based plug-in for the IBM Rational Software Modeler (RSM). The tool lets software engineers define arbitrary design rules and provides instant feedback on their validity in context of a model. Design errors are then visualized together with the information on what parts of the model contributed to them and how to fix them. The tool is fully automated and currently supports OCL and Java as languages for defining the design rules; and UML as the modeling language. The main benefit for the software engineer is the tool's incremental nature if providing instant feedback for many kinds of design errors even for large models.
- }}A. Egyed. Instant consistency checking for the UML. In L. J. Osterweil, H. D. Rombach, and M. L. Soffa, editors, ICSE, pages 381--390. ACM, 2006. Google Scholar
Digital Library
- }}A. Egyed. UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. In ICSE, pages 793--796. IEEE Computer Society, 2007. Google ScholarDigital Library
- }}I. Groher, A. Reder, and A. Egyed. Incremental Consistency Checking of Dynamic Constraints. In D. S. Rosenblum and G. Taentzer, editors, FASE, volume 6013 of Lecture Notes in Computer Science, pages 203--217. Springer, 2010. Google ScholarDigital Library
- }}C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Trans. Internet Techn., 2(2):151--185, 2002. Google ScholarDigital Library
- }}C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency Management with Repair Actions. In ICSE, pages 455--464. IEEE Computer Society, 2003. Google ScholarDigital Library
- }}Y. Xiong, Z. Hu, H. Zhao, H. Song, M. Takeichi, and H. Mei. Supporting automatic model inconsistency fixing. In H. van Vliet and V. Issarny, editors, ESEC/SIGSOFT FSE, pages 315--324. ACM, 2009. Google ScholarDigital Library
Index Terms
- Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
Recommendations
Model-driven approach to modeling and validating integrity constraints for XML with OCL and Schematron
The idea behind Model Driven Development (MDD) (Miller and Mukerji 2003) is to model the software system on several layers of abstraction. A designer starts from the very abstract specification (independent of the platform and language used) and ...
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool
BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and ApplicationsThis contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) ...
USE: A UML-based specification environment for validating UML and OCL
The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the ...
Comments