Development of a library for automated verification of UML models

Download
2006
Çelik, Makbule Filiz
Software designs are mostly modeled as Unified Modeling Language (UML) diagrams when object oriented software development is concerned. Some popular topics in the industry such as Model Driven Development, generating test cases automatically in the early phases of software development, automated generation of code from design model etc. use the benefits of UML designs. All of these topics have something in common which is the need for accuracy against the meta-model not to face problems in the latter phases of the development process. Support on the full checking of the design models is necessary for the detection of design inconsistencies. This thesis presents an approach for automated verification of UML design models and explains the implementation of the library called UMLChecker.

Suggestions

A gis domain framework utilizing jar libraries as components
Ödoğru, Ebru; Doğru, Ali Hikmet; Department of Computer Engineering (2005)
A Component Oriented Software Engineering (COSE) modeling environment is enhanced with the capability to import executable components and deliver applications through their composition. For this purpose, an interface layer that utilizes JAR libraries as components has been developed. Also, Domain Engineering process has been applied to Geographical Information Systems (GIS) domain and utilized towards converting the environment to a development framework. The interface layer imports JAR libraries into the C...
Investigation of the effects of structural characteristics of object-oriented software on fault-proneness
Gölcük, Halit; Bilgen, Semih; Department of Electrical and Electronics Engineering (2014)
This study investigates the effects of structural characteristics of object-oriented software, which are observable at the model level of the software developed by means of Unified Modeling Language (UML), on software quality, assessing quality in terms of fault-proneness. In the scope of this thesis study, real-time embedded software components developed by Aselsan, a leading defense industry company in Turkey, were analyzed. The correlation between software metrics measured from the UML models of the soft...
Analysis Pattern of Sanliurfa Harran Plain in UML and its Implementation in Geodatabase
Çubuk, Ulaş; Usul, Nurünnisa; Department of Geodetic and Geographical Information Technologies (2004)
An emerging trend in GIS is the adoption of object oriented concepts for both logical and physical design phases. Extensive research has been conducted on logical design of GIS and several conceptual models have been proposed. Classical data models like the relational data model have proven to be insufficient for the conceptual modeling of spatial data. Therefore among other object oriented modeling tools, a new modeling language, Unified Modeling Language (UML) has also become a popular modeling tool in th...
Using collaboration diagrams in component oriented modelin
Tuncel, Mehmet Burhan; Doğru, Ali Hikmet; Department of Computer Engineering (2006)
Component Oriented Software Engineering (COSE) seems to be the future of software engineering. Currently, COSEML is the only modeling language that completely supports the COSE approach. Abstract decomposition of the system and their representing components are shown in a hierarchy diagram to support the COSE process model. In COSEML, only static modeling is supported through this single diagram. However, software is about behavior and static modeling is not sufficient to describe the system. The aim of thi...
An Automated defect detection approach for cosmic functional size measurement
Yılmaz, Gökçen; Demirörs, Onur; Department of Information Systems (2012)
Software size measurement provides a basis for software project management and plays an important role for its activities such as project management estimations, process benchmarking, and quality control. As size can be measured with functional size measurement (FSM) methods in the early phases of the software projects, functionality is one of the most frequently used metric. On the other hand, FSMs are being criticized by being subjective. The main aim of this thesis is increasing the accuracy of the measu...
Citation Formats
M. F. Çelik, “Development of a library for automated verification of UML models,” M.S. - Master of Science, Middle East Technical University, 2006.