Security Requirements Specification and Tracing within Topological Functioning Model

Specification and traceability of security requirements is still a challenge since modeling and analysis of security aspects of systems require additional efforts at the very beginning of software development. The topological functioning model is a formal mathematical model that can be used as a reference model for functional and non-functional requirements of the system. It can also serve as a reference model for security requirements. The purpose of this study is to determine the approach to how security requirements can be specified and traced using the topological functioning model. This article demonstrates the suggested approach and explains its potential benefits and limitations

Enterprise Modeling for Information System Development within MDA

Objektorientēta analīze piedāvā pusformālas lietošanas gadījumu vadāmas metodes problēmas domēna modelēšanai no skaitļošanas neatkarīga skatu punkta. Piedāvātā pieeja – Topoloģiskā Funkcionēšanas Modelēšana Modeļvadāmai Arhitektūrai (TFM4MDA) palielina formalizācijas pakāpi. Tā izmanto Topoloģiskā Funkcionēšanas Modeļa (TFM) matemātiskus pamatus. Šis modelis holistiski attēlo sistēmas pilnu funkcionalitāti. TFM4MDA ievieš biznesa sistēmas formālāku analīzi, proti, ļauj definēt ne to, ko grib klients, bet to, ko klientam vajag, ka arī atļauj tekstuālo funkcionālo prasību verifikāciju, pazaudēto prasību pārbaudi atbilstībā ar problēmas domēna „kā ir” modeli. Lietojumprogrammas lietošanas gadījumu modelis ir definēts, izmantojot uz mērķiem bāzēto metodi. Domēna konceptu modelis ir definēts, izmantojot TFM grafu transformāciju. TFMfMDA apmierina MDA galveno īpašību – skatījumu sadalīšanu