Return to search

Automatizuotas formalių PLA specifikacijų sudarymas ir interaktyvusis redagavimas / Automated creation and interactive editing of PLA specifications

PLA (Atkarpomis tiesinių agregatų) formalizavimo metodas gali būti naudojamas sistemų formalių specifikacijų sudarinėjimui. Sistemų formalios specifikacijos gali būti užrašomos tekstiniu pavidalu, tačiau tai yra labai varginantis procesas, ko pasėkoje gautas rezultatas yra vaizdiniai neinformatyvus ir vartotojai negali lengvai perprasti sistemos specifikacijos. Šiame dokumente pateikiamas būdas vizualiai ir pakankamai lengvai užrašyti sistemų formalias specifikacijas naudojant PLA formalizavimo metodą. Šiame dokumente taip pat pristatomas grafinis redaktorius – sudėtingų formalių specifikacijų integruotos analizės automatizavimo sistemos posistemė, skirta agregatinių specifikacij�� kūrimui ir redagavimui. / PLA method can be used to formally specify systems. Systems specifications are written as text, what is exhaustive and understandable, but unfortunately are not visual, and user can’t quickly acquaintance with the formalized system. This article presents a way to visually and quite easily write systems specifications using PLA formalization method. This article also presents a software tool to accomplish this task. That’s graphical editor – a subsystem of a formal complex systems integrated analysis automatization system (FSA).

Identiferoai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2008~D_20080710_111851-31550
Date10 July 2008
CreatorsŠuklevičius, Gediminas
ContributorsStulpinas, Raimundas, Motiejūnas, Kęstutis, Bareiša, Eduardas, Butleris, Rimantas, Kazanavičius, Egidijus, Tomkevičius, Arūnas, Šeinauskas, Rimantas, Štuikys, Vytautas, Pranevičius, Henrikas, Blažauskas, Tomas, Kaunas University of Technology
PublisherLithuanian Academic Libraries Network (LABT), Kaunas University of Technology
Source SetsLithuanian ETD submission system
LanguageLithuanian
Detected LanguageUnknown
TypeMaster thesis
Formatapplication/pdf
Sourcehttp://vddb.library.lt/obj/LT-eLABa-0001:E.02~2008~D_20080710_111851-31550
RightsUnrestricted

Page generated in 0.002 seconds