dc.contributor.author | Dubauskaitė, Rūta | |
dc.contributor.author | Vasilecas, Olegas | |
dc.date.accessioned | 2023-09-18T17:33:21Z | |
dc.date.available | 2023-09-18T17:33:21Z | |
dc.date.issued | 2009 | |
dc.identifier.issn | 1392-0561 | |
dc.identifier.other | (BIS)VGT02-000019568 | |
dc.identifier.uri | https://etalpykla.vilniustech.lt/handle/123456789/124271 | |
dc.description.abstract | Modelling of information systems (IS) involves development of different models that present various aspects of a system, like the static structure, behaviour, etc. Expression of an IS through various models is related to the problem of ensuring of different models consistency, which is very important for IS design, models transformation and finally code generation tasks. Restriction of IS models can help to solve the problem of models inconsistency. However, constraints defined in the OMT, OOSE, Booch object-oriented methods are suitable only for one model and at that point constraints of models relationships are not defined explicitly. Hence the authors of the paper suggest the approach for extension of an ensuring consistency, based on semi-formal models with constraints, by adding the consistency rules to object-oriented IS models. Consistency rules are directed to constrain relationships of different aspect models. The proposed approach is illustrated by a case study in a digital library domain. | eng |
dc.description.abstract | Projektuodami informacinę sistemą sukuriame skirtingus modelius pagal duomenis, procesus ir kitus aspektus. Šiuo atveju yra rizika, kad sistemos specifikacijoje bus darnos pažeidimų dėl tarpusavyje nesuderintų modelių. Darnūs ir neprieštaringi modeliai yra reikalingi tolesniam pradinių modelių transformavimui ir galiausiai programinio kodo generavimui. Taigi yra svarbu užtikrino modelių darna laikant objektinių sistemų kūrinio metodus darnos užtikrinimo problema sprendžiama apribojant kiekvieno aspekto, pavyzdžiui, duomenų, procesų ir kitų, nuulelius. Tačiau dviejų ir daugiau skirtingų aspektų modelių ribojimai nėra apibrėžti išreikštiniu būdu. Šiame darbe siūloma išplėsti ribojimais grindžiamų modelių darnos užtikrinimo būdų, papildant jį objektinių modelių darnos taisyklėmis. Darnos taisykle šiame kontekste apibrėžia ryšių tarp skirtingų aspektų modelių elementų ribojimus. Pasiūlytas objektinių modelių darnos užtikrinimo būdas yra iliustruojamas knygų bibliotekos dalykinės srities pavyzdžiu. | lit |
dc.format.extent | p. 160-167 | |
dc.format.medium | tekstas / txt | |
dc.language.iso | eng | |
dc.relation.isreferencedby | LISA | |
dc.source.uri | http://www.leidykla.eu/fileadmin/Informacijos_mokslai/50/160-167.pdf | |
dc.title | Ensuring models consistency in the OMT, Booch, and OOSE object-oriented methods | |
dc.type | Straipsnis kitoje DB / Article in other DB | |
dcterms.references | 18 | |
dc.type.pubtype | S3 - Straipsnis kitoje DB / Article in other DB | |
dc.contributor.institution | Vilniaus Gedimino technikos universitetas | |
dc.contributor.faculty | Fundamentinių mokslų fakultetas / Faculty of Fundamental Sciences | |
dc.subject.researchfield | T 007 - Informatikos inžinerija / Informatics engineering | |
dcterms.sourcetitle | Informacijos mokslai : mokslo darbai | |
dc.description.volume | Vol. 50 | |
dc.publisher.name | Vilniaus universiteto leidykla | |
dc.publisher.city | Vilnius | |
dc.identifier.elaba | 3878996 | |