|
VGTU talpykla >
Doktorantūros skyrius / Department for Doctoral Studies >
Technologijos mokslų daktaro disertacijos ir jų santraukos >
Please use this identifier to cite or link to this item:
http://dspace.vgtu.lt/handle/1/1454
|
| Title: | Research on Consistency Checking of Different Aspects Models of the Information System |
| Other Titles: | Informacinės sistemos skirtingų aspektų modelių darnos tikrinimo tyrimas |
| Authors: | Dubauskaitė, Rūta |
| Issue Date: | 2012 |
| Publisher: | VGTU leidykla „Technika“ |
| Citation: | Dubauskaitė, R. 2012. Research on Consistency Checking of Different Aspects Models of the Information System: Doctoral Dissertation. Vilnius: Technika. 154 p. |
| Description: | Modelling of information systems (IS) involves development of different models that present various aspects of a system. Expression of an IS through various models is related to the problem of ensuring consistency of different models, which is very important for IS design, models transformation and finally IS program code generation tasks. In order to improve ensuring consistency of IS models in a design phase, a method of checking consistency of IS models is proposed. The method is based on rules among different aspects models defined for the metamodel. It also includes requirements for consistency rules. Assigning an enforcement level and verification of rules according to the metamodel of a modelling language are the most important ones.
The dissertation consists of these main parts: introduction, review of the related researches, our proposal, experiments and conclusions.
Chapter 1 presents the analysis of publications related with the problem of this thesis. Therefore, the concept of consistency of IS models is analysed; specifications of IDEF and UML, object-oriented modelling methods and design tools are analysed from the perspective of ensuring consistency. Special methods of models checking and their consistency rules are also researched. According to the results obtained during the analysis conclusions are drawn, and the tasks for the dissertation are reconsidered.
Chapter 2 describes the author’s of thesis proposed method of checking consistency of IS different aspects models, paying special attention to the requirements for consistency rules. A method of consistency checking of IS different aspects models not related with a specific modelling language was proposed. It is also specialised for UML models. The processes of ensuring consistency and approach of evaluating consistency are proposed. The Z notation is used to formalise the method.
In Chapter 3 the experiments aimed at the evaluation of the proposed method are described. The proposed requirements for consistency rules are evaluated using a questionnaire, and the collected data are processed applying a paired t-test method. The proposed method is also implemented in a software prototype for MagicDraw UML tool.
The thesis is finished with general conclusions on the accomplished re-search.
The results of the dissertation are published in 12 scientific articles. 5 articles are in the reviewed scientific periodical publications and 7 articles are in other scientific editions. 1 article is accepted for publication in other scientific editions. 10 presentations on the subject have been given in conferences at the national and international level. |
| URI: | http://dspace1.vgtu.lt/handle/1/1454 |
| ISBN: | 978-609-457-298-2 |
| Appears in Collections: | Technologijos mokslų daktaro disertacijos ir jų santraukos
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
