Darbo tikslas – pagerinti UML kalbą naudojančius projektavimo procesus, papildant juos sekų ir būsenų diagramų derinimo galimybėmis, praplėsti UML specifikaciją, kad būtų įmanomas abipusis sekų diagramų ir būsenų mašinų transformavimas. Antrame darbo skyriuje pateikti keli literatūroje pasiūlyti sekų diagramų transformavimo į būsenų mašinas algoritmai ir transformacijų pavyzdžiai. Skyriaus gale pateikta šių algoritmų palyginimo lentelė pagal tam tikras savybes bei keleto CASE įrankių, kuriuose galėtų būti įgyvendinti algoritmai, apžvalga. Trečiame skyriuje pateikta abipusės sekų ir būsenų diagramų transformacijos metodika. Ketvirtame skyriuje pateiktas pagal trečio skyriaus metodiką atliktos sekų ir būsenų diagramų transformacijų realizacijos projektas praplečiant MagicDraw UML įrankį. Penktame skyriuje pateiktas sukurto įskiepio efektyvumo tyrimas bei transformacijų pavyzdžiai. Šeštame skyriuje pateiktos bendros darbo išvados. / In this master thesis the transformation from sequence diagrams to statemachines and vice versa is presented. The first section describes a research of four existing algorithms of generating state machines from sequence diagrams. For diagrams transformation plug-in for CASE tool MagicDraw is created according MDA standards. Transformation plug-in takes sequence (state) diagram model as input and generates state (sequence) diagrams according to transformation sules. Created plug-in requirements,functional specification and architecture described in Project section. The investigation section describes investigation of the developed plug-in. In this section were investigate the working efficiency of designer trying to reconcile model diagrams.

Šio darbo tikslas – pilnų objektinių-sąryšinių transformacijų algoritmų sukūrimas ir įgyvendinimas UML CASE įrankiuose. Pilnomis transformacijomis suprantamos tokios transformacijos, kurios gali transformuoti visas objektinio modelio konstrukcijas į sąryšinių duomenų bazių konstrukcijas. To neatlieka esami CASE įrankiai. Siūlomas sprendimas – panaudoti esamas CASE įrankių transformacijas ir papildyti jas iki teorinio modelio. Eksperimentinė realizacija UML CASE įrankyje Magic Draw patvirtino šio sprendimo veiksmingumą. / The goal of the current work – creation of complete transformation algorithms from object models to relational databases and their implementation in UML CASE tools. OOP has enabled the creation of tools for object oriented software and databases. One of the main aims of such tools is to create the object model of software and also a database for storing information about these objects. Most tools of software engineering enable the creation of object oriented software model and its transformation into RDB model. Afterwards the program code is generated from the OOP model and the SQL script of the database is generated from the RDB model. The analysis of CASE tools indicates that class models are not completely transformed into relational database schemes, i.e. none of existing case tools performs full transformation. One of the solutions is to take complete transformation process from class model into realational database model. The analysis of prototypes of created algorithms revealed that it is possible to perform such a task. The final result is the improved CASE tool with complete transformations from objectmodels to relational database schemas.

Tyrinėjant objektinius aparatūros projektavimo metodus, siekiama rasti sąsajų su jau žinomais ir plačiai naudojamais programinėje įrangoje metodais. Tai leistų sumažinti aparatūros projektavimo sudėtingumą, kuris nuolat didėja. Šiame darbe ir siekiama rasti bei išanalizuoti galimus objektinio projektavimo metodus. Pagrindinės objektinio projektavimo priemonės yra šios: abstrakcija, skaidymas, kompozicija bei apibendrinimas. Aptariamas žinomų iš programinės įrangos šablonų taikymas aparatūros aprašymo kalboje. Naudosime aukšto abstrakcijos lygio sistemų projektavimo kalbą UML ir automatizuoto projektavimo priemones aparatūrai aprašyti. Išnagrinėjęs aparatūros projektavimo kalbų galimybes, pasirinkau SystemC kalbą, nes ji kilus iš C++ programavimo kalbos ir turi daugiausia objektinio aparatūros projektavimo galimybių. / Researching object-oriented (OO) design techniques, we seek to develop links with already known widely used software design methods. This would let to decrease hardware design complexity, as it constantly increasing. In addition, this paper seeks to find and analyze possible object-oriented design methods. The main OO design techniques are as follows: abstraction, separation of concerns, composition and generalization. Considered-about templates, known for software, use in hardware language. We will use UML – the standard specification language of high-level systems, and automatic design techniques for a hardware describing. After exploring possibilities of hardware design languages, I pick SystemC, because it has derived from C++ language and contain the most OO design possibilities from hardware languages.

Modeliavimas aukštame abstrakcijos lygmenyje dažnai naudojamas išankstiniam kompromisų analizavimui vienlusčių sistemų projektavimo procese. Šiose magistro tezėse apžvelgiami du daugiausiai žadantys sisteminio lygmens specifikavimo metodai – vieninga modeliavimo kalba (UML) ir į aktorius orientuotas modeliavimas bei galimybės naudoti šiuos metodus kartu. Elgsenos projektavimo pavyzdžių abstrakcijos naudingos supaprastinant į duomenų perdavimą orientuotų sistemų projektavimą. Tradiciškai šie šablonai aprašomi naudojant UML diagramas, tačiau UML trūksta modelio vykdymą aprašančios sintaksės, dėl ko negalima atlikti UML šablonų modeliavimo kartu su šiuo metu vyraujančia vykdomųjų aprašymų technologija sisteminio lygmens projektavimui. Šiame dokumente pateikiamas metodas, kaip integruoti UML elgsenos šablonus kartu su vykdomaisiais sistemos modeliais. Šis metodas remiasi į aktorius orientuotu modeliavimu ir realizuotas kaip Ptolemy II papildymas. / Modeling at high levels of abstraction is often a need for early trade-off analysis within the Systems-on-Chip design flow. This master thesis overviews two the most promising approaches for system-level specification – Unified Modeling Language (UML) and actor oriented modeling. Also here is presented some possibilities of joint usage of those two approaches. Behavioral patterns are useful abstractions to simplify the design of the communication-centric systems. Such patterns are traditionally described using UML diagrams, but the lack of execution semantics in UML prevents the co-validation of the patterns together with simulation models and executable specifications which are the mainstream in today's system level design flows. In this paper there is described a method to validate UML-based behavioral patterns within executable system models. The method is based on actor orientation and was implemented as an extension of the Ptolemy II framework.

Šiame darbe sprendžiamos grafinio vientisumo reikalavimų vaizdavimo loginiuose duomenų modeliuose bei jų kodo realizavimo problemos. Sprendžiant šiuos uždavinius, buvo analizuojami vientisumo reikalavimų tipai, UML plėtimo mechanizmai bei esamos vientisumo reikalavimų įgyvendinimo CASE įrankiuose galimybės.Vientisumo reikalavimus UML modeliuose galima užrašyti OCL kalba, tačiau OCL yra per sudėtinga daugeliui projektuotojų. Be to, SQL kodo generavimas iš OCL kol kas nėra efektyvus. Šio magistrinio darbo tikslas yra padidinti UML CASE įrankių duomenų bazių projektavimo galimybes, sukuriant vientisumo reikalavimų vaizdavimo ir kodo generavimo priemones. / Fulfillment of data integrity constraint requirements is one of main problems in information system development process. The constraints are implemented at physical system development level. Despite the fact that most of current UML CASE tools allow to specify constraints using OCL language, for the most of system analytics and architects use of OCL is too complicated. Currently SQL code generated from OCL constraint implementation is not effective. In this study we will present alternative approach for constraint requirement implementation using UML2 extension possibilities – profiles and stereotypes with tag values. Also we will present SQL code generation template language and code template based constraint requirement transformation to SQL code algorithm. It was used to extend UML Case tool MagicDraw.

Pagrindinis darbo tikslas – sukurti struktūrizuotų ribojimų įvedimo į informacinių sistemų modelius įskiepį. Išbandyti struktūrizuotus ribojimus buvo pasirinkta MagicDraw UML sistema, kuriai sukurtas veiklos taisyklių įvedimo įskiepis. Įskiepis remiasi pagrindiniais šablonizuoto įvedimo principais ir dalinai užtikrina įvedamų duomenų teisingumą, kadangi aprašant ribojimus galima pasirinkti modelio elementus pagal jų navigavimo ryšius. Pasiūlytas prototipas skirtas sistemų analitikui, kuris aprašo sistemos reikalavimus. Sukurtas prototipas pasiekia užsibrėžtus darbo tikslus ir gali būti tobulinamas ateityje. Ribotos natūraliai kalbai artimos kalbos šablonai gali būti kuriami panaudojant TBEProfile modulį. Įskiepio pagalba sukurtos veiklos taisyklės yra struktūrizuotos ir nesunkiai suprantamos. Tai padidina projekto kūrimo automatizavimo lygį. Vartotojas naudojantis prototipu gali specifikuoti veiklos taisykles UML klasių, protokolų būsenų, būsenų mašinų, sekų ir veiklos diagramose. Įskiepis buvo sukurtas JAVA programavimo kalba ir naudojantis „MagicDraw UML“ OpenApi dokumentacija. / The main goal of this project was to develop template based business rules plug-in for CASE tool. We have chosen to create plug-in for CASE tool “Magic Draw UML”. This plug-in extends “Magic Draw UML” abilities of constraints creation, because system partially ensures the correctness of constraint elements. Plug-in was developed for system analysts, who precisely specify requirements for systems. The prototype we made successfully embodies main goals of project and can be improved in the future. Limited natural language templates can be specified using TBEProfile module. Business rules created with plug-in are formatted and clear to understand. It helps to improve project engineering level of automation. User using prototype is able to specify business rules in UML class, state protocol, state machine, sequence and activity diagrams. System was created using JAVA programming language and “Magic Draw UML OpenAPI”.

Šiame darbe siekiama padidinti informacijos sistemų kūrimo proceso automatizavimo laipsnį, taip palengvinant IS kūrėjų darbą. Darbe tobulinamas IS reikalavimų analizės ir transformavimo į projektą metodas EMDA (angl. Extended Model Driven Approach), kuris automatizuoja transformaciją iš reikalavimų į projekto modelį. Ši transformacija skirta paslaugų informacinėms sistemoms ir remiasi vienu pasiūlytu architektūriniu būsenų koordinatoriaus šablonu, pagal kurį atlieka transformaciją ir reikalavimų į projektą. Šiame darbe EMDA metodas tobulinamas, sukuriant transformaciją iš reikalavimų į projekto modelį, remiantis kitu informacinių sistemų kūrimo metodu RUP (angl. Rational Unified Process) bei MVC (angl. Model-View-Controller) architektūriniu šablonu. Darbe aprašomas siūlomas transformavimo algoritmas ir jo realizacija, panaudojant CASE įrankį MagicDraw. Sukurtas sistemos vedlys (angl. Wizard) leidžia išvengti klasių diagramos kūrimo rankiniu būdu, taip automatizuojant diagramos (ir jos elementų) kūrimą. / This work aims to increase the degree of automation of information system development process, thus facilitating the work of developers. Extended Model Driven Approach (EMDA) automates the transformation from the requirements to the design model, based on only one architectural pattern (State Coordinator) and performs the transformation using this pattern. The method proposed in this work was developed by creating a transformation of the requirements to the project model, based on other information systems development approach RUP (Rational Unified Process) and MVC (Model-View-Controller) architectural pattern. The proposed transformation algorithm was implemented in as an extension to CASE tool MagicDraw. Developed system wizard automates the creation of class diagram (and its elements).

Programų sistemų kūrimas, kai yra daug užsakovų, kurių reikalavimai skiriasi, yra sudėtingas procesas ir reikalauja aprašyti galimus programų sistemos variantus. Programų variantiškumui aprašyti naudojami kuriamos sistemos požymių modeliai. Sistemos požymių modeliavimas yra svarbus variantiškumo aprašymo metodas. Sistemos požymių variantiškumo modeliai aprašo aibę programų sistemų, kurios dar vadinamos programų sistemų linija. Programų sistemų linija yra eilė panašių programų kurios dalinasi bendrais atributais. Tiksliau apibūdinti programų sistemų linijai yra nustatomi sistemų atributai ir jų tarpusavio sąryšiai, jie yra pavaizduojami požymių diagramose. Požymis tai savitas, charakteringas sistemos atributas, kuris nusako matomus sistemos atributus, tačiau nesigilina į detalų sistemos apibūdinimą. Greitam ir kokybiškam programų sistemos variantiškumo modeliavimui reikalingas geras įrankis. Tam skirtas požymių diagramų modeliavimo įrankis, nes sukurti požymių modeliai yra informatyvūs ir gali lengvai perteikti sistemos variantiškumo informaciją. Tačiau programų sistemos požymių diagrama neturi techninės informacijos, kuri yra reikalinga programos kūrimui. Ši informacija yra saugoma UML modeliuose. Programos UML modelį galima išplėsti variantiškumo informacija, papildant jį sistemos požymių modelio informacija. Magistrinio projekto metu buvo sukurtas įrankis (FD2), kuris įgyvendina požymių diagramos susiejimą su UML klasių diagrama. Magistriniame darbe tiriamas sistemų... [toliau žr. visą tekstą] / Feature modeling is important approach to deal system variability at higher abstraction level. Variability models define the variability of a software product line. Unfortunately, it is not integrated into a modeling framework like the Unified Modeling Language (UML). To use it in conjunction with UML, it is important to integrate feature modeling into UML. This thesis describes the way how feature variability models can be linked with existing UML models and how it is done in the feature modeling tool FD2. The feature modeling tool is described and the complete example provided. Chapter 2 discusses the way of Feature model integration with UML model. Chapter 3 describes the implementation of FD2 tool. Chapter 4 discusses the advantages and disadvantages of FD2 tool. Chapter 5 provides examples and discusses their results. In conclusion this thesis propose feature modeling integration with UML modeling, discusses the program developed during master project, provides 2 examples and discusses their results, points out some issues requiring further work.

One of the main notational contexts in which model-driven software development has been studied is the Unified Modeling Language (UML), the de facto standard in software modelling. The current trend in software development is not just towards the use of models, but the use of executable models. In 2006, the Object Management Group issued a Request for Proposal (RFP), soliciting the definition of an Executable UML Foundation, with a fully specified executable semantics. The purpose of such a version of UML is to make the advantages of executable models available to UML users by enabling "a chain of tools that support the construction, verification, translation, and execution" of models. An oft-voiced criticism of UML is its lack of a formal, unambiguous description of its semantics. In an effort to improve the support for model-driven development, especially with respect to executable modelling, the UML 2 specification introduced a novel three-layer semantics architecture. This architecture provides a stratification of the description of UML models that clearly separates 'low-level' behavioural specification mechanisms, such as actions, from 'high-level' behavioural formalisms, such as activities, state machines and interactions. Although UML describes the effect of actions, it does not provide either the concrete syntax or the formal semantics of an action language. Our research focuses on a top-to-bottom slice of the three-layer architecture. We formally define the execution semantics of two-thirds of UML actions, including the most complicated actions---invocation actions. Our formal definition is expressed in terms of state changes to a global state machine representing an executing UML model. Our work provides an alternate formalization to that of the current submission to the RFP and could be used to enhance that submission. To validate our formal semantics and to determine the usefulness of the three-layer architecture, we have created an interpreter for UML actions and activities. This interpreter was designed in accordance with the complex token passing semantics of UML and provides analysis capabilities that have been successfully used to identify problems even in published activity diagrams. In effect, we have created a tool that supports the construction, verification and execution of a subset of UML models, namely activities. Our handling of this slice of the three-layer architecture is a preliminary step to realizing the grander vision of general executable (and analyzable) models. / Thesis (Ph.D, Computing) -- Queen's University, 2009-01-12 20:16:47.738

Sukurtos klasių diagramų generavimo iš Java kalbos šaltinio tekstų programos dokumentacija: reikalavimų bei architektūros specifikacijos, testavimo dokumentacija ir vartotojo vadovas. / Created class diagram generation from Java source code program's documentation: requirements and artchitecture specifications, testing documentation and users manual.