<p>Извршено је моделирање и имплементација&nbsp;софтверског система за каталогизацију по MARC 21&nbsp;формату. За реализацију система коришћен је&nbsp;обједињени процес за развој софтвера, развој заснован&nbsp;на моделу и развој заснован на софтверским&nbsp;компонентама. Моделирање је извршено у CASE алату<br />235&nbsp;MagicDraw верзија 16.0 који подржава UML 2.0.&nbsp;Имплементација је реализована коришћењем Eclipse&nbsp;plug-in технологије и програмског језика Јава.</p><p>У софтверском алату Xtext специфицирана је граматика&nbsp;за опис модела МАRC 21 записа. На основу ове&nbsp;граматике генерисан је основни едитор и EMF модел.&nbsp;Основни едитор је проширен додатним&nbsp;спецификацијама над EMF моделом. То су следеће&nbsp;спецификације: ограничења на структуру и садржај&nbsp;библиографских записа коришћењем језика Check;&nbsp;темплејти за трансформацију записа у форму&nbsp;каталошког листића коришћењем језика Xpand; понуда&nbsp;предефинисаног скупа података за унос у језику Xtend.&nbsp;</p><p><span style="font-size: 12px;">Извршено је проширење основног едитора додатним&nbsp;</span><span style="font-size: 12px;">функционалностима система за каталогизацију: приказ&nbsp;</span><span style="font-size: 12px;">података о библиографском формату, унос локацијских&nbsp;</span><span style="font-size: 12px;">података, експорт и импорт записа, приказ каталошких&nbsp;</span><span style="font-size: 12px;">листића и библиотечко окружење.&nbsp;</span></p><p>Коришћењем RCP технологије генерисана је&nbsp;софтверска компонента за каталогизацију која се може&nbsp;користити у различитим библиотечким&nbsp;информационим системима.</p> / <p>Izvršeno je modeliranje i implementacija&nbsp;softverskog sistema za katalogizaciju po MARC 21&nbsp;formatu. Za realizaciju sistema korišćen je&nbsp;objedinjeni proces za razvoj softvera, razvoj zasnovan&nbsp;na modelu i razvoj zasnovan na softverskim&nbsp;komponentama. Modeliranje je izvršeno u CASE alatu<br />235&nbsp;MagicDraw verzija 16.0 koji podržava UML 2.0.&nbsp;Implementacija je realizovana korišćenjem Eclipse&nbsp;plug-in tehnologije i programskog jezika Java.</p><p>U softverskom alatu Xtext specificirana je gramatika&nbsp;za opis modela MARC 21 zapisa. Na osnovu ove&nbsp;gramatike generisan je osnovni editor i EMF model.&nbsp;Osnovni editor je proširen dodatnim&nbsp;specifikacijama nad EMF modelom. To su sledeće&nbsp;specifikacije: ograničenja na strukturu i sadržaj&nbsp;bibliografskih zapisa korišćenjem jezika Check;&nbsp;templejti za transformaciju zapisa u formu&nbsp;kataloškog listića korišćenjem jezika Xpand; ponuda&nbsp;predefinisanog skupa podataka za unos u jeziku Xtend.&nbsp;</p><p><span style="font-size: 12px;">Izvršeno je proširenje osnovnog editora dodatnim&nbsp;</span><span style="font-size: 12px;">funkcionalnostima sistema za katalogizaciju: prikaz&nbsp;</span><span style="font-size: 12px;">podataka o bibliografskom formatu, unos lokacijskih&nbsp;</span><span style="font-size: 12px;">podataka, eksport i import zapisa, prikaz kataloških&nbsp;</span><span style="font-size: 12px;">listića i bibliotečko okruženje.&nbsp;</span></p><p>Korišćenjem RCP tehnologije generisana je&nbsp;softverska komponenta za katalogizaciju koja se može&nbsp;koristiti u različitim bibliotečkim&nbsp;informacionim sistemima.</p> / <p> Modelling and implementation of software system for MARC 21 cataloguing have been done. Unified software development process is used as well as model-driven software development and component-based software development. System modelling is done in CASE tool MagicDraw (version 16.0) which supports UML 2.0. System implementation is realised using Eclipse plug-in technology and Java programming languages. Software tool Xtext is used for specification of MARC 21 record grammar. On the basis of this grammar the basic editor and its EMF model have been generated. The basic editor is extended with additional specifications on generated EMF model. Those specifications are: constraints on structure and content of bibliographic record written in Check language; Xpand templates for transforming records into cataloguing cards; content assist extensions written in Xtend. Addition functionalities of cataloguing system are also added to basic editor, and those are: showing data about MARC 21 format, entering holdings data, export and import of records, showing cataloguing cards and librarian environment. At the end, RCP technology is used for generating software component for cataloguing that can be used in different library information systems.</p>

In the field of software engineering, software architecture plays an important role particularly in areas of critical and large-scale software system development and over the years it has evolved as an important sub-discipline within the field of software engineering. However, software architecture is still an emerging discipline mainly attributed by the lack of standardized way for architectural representation and also due to lack of analysis methods that can determine if the intended architecture translates into correct implementation during the software development [HNS00]. Architecture compliance checking [KP07] is a technique used to resolve latter part of the problem and Fraunhofer SAVE (Software Architecture Visualization and Evaluation) is a compliance-checking tool that uses fact extraction. This master’s thesis provides fact extraction support to Fraunhofer SAVE for a system developed using Ruby on Rail framework by developing a fact extractor. The fact extractor was developed as an eclipse plug-in in Java that was integrated with SAVE platform, it consists of a parser that parses Ruby source code and then generates an abstract syntax tree. The architectural facts are extracted by analyzing these abstract syntax trees using a visitor pattern from which architecture of the system are generated. It is represented using the internal model of the SAVE platform. The fact extractor was validated using two reference systems of differing sizes developed using Ruby on Rails framework. A reference system with smaller size, which contains all the relevant Ruby language constructs, was used to evaluate correctness and completeness of the fact extractor. The evaluation result showed the correctness value of 1.0 or 100% and completeness value of 1.0 or 100%. Afterwards, a larger application with more complex architecture was used to validate the performance and robustness of the fact extractor. It has successfully extracted, analyzed and build the SAVE model of this large system by taking 0.05 seconds per component without crashing. Based these computations, it was concluded that the performance of the fact extractor was acceptable as it performed better than C# fact extractor.

This paper deals with the creation of the tool for chip design in UML. The intention of this work is to present the news in the UML language version 2.0, that can be possibly used for modeling of embedded systems. Furthermore, it deals with the possibility and method of modeling in the Eclipse environment and it focuses on the Eclipse Modeling Framework. This work explains the principle of developing of graphical editors based on GMF used fully by developing tool. Finally, it discusses the chosen solution.

The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space as a function of the number of the components which constitute the model. Because they are mapped onto continuous-time Markov chains (CTMCs), models described in the stochastic process algebra PEPA are no exception. This thesis presents a deterministic continuous-state semantics of PEPA which employs ordinary differential equations (ODEs) as the underlying mathematics for the performance evaluation. This is suitable for models consisting of large numbers of replicated components, as the ODE problem size is insensitive to the actual population levels of the system under study. Furthermore, the ODE is given an interpretation as the fluid limit of a properly defined CTMC model when the initial population levels go to infinity. This framework allows the use of existing results which give error bounds to assess the quality of the differential approximation. The computation of performance indices such as throughput, utilisation, and average response time are interpreted deterministically as functions of the ODE solution and are related to corresponding reward structures in the Markovian setting. The differential interpretation of PEPA provides a framework that is conceptually analogous to established approximation methods in queueing networks based on meanvalue analysis, as both approaches aim at reducing the computational cost of the analysis by providing estimates for the expected values of the performance metrics of interest. The relationship between these two techniques is examined in more detail in a comparison between PEPA and the Layered Queueing Network (LQN) model. General patterns of translation of LQN elements into corresponding PEPA components are applied to a substantial case study of a distributed computer system. This model is analysed using stochastic simulation to gauge the soundness of the translation. Furthermore, it is subjected to a series of numerical tests to compare execution runtimes and accuracy of the PEPA differential analysis against the LQN mean-value approximation method. Finally, this thesis discusses the major elements concerning the development of a software toolkit, the PEPA Eclipse Plug-in, which offers a comprehensive modelling environment for PEPA, including modules for static analysis, explicit state-space exploration, numerical solution of the steady-state equilibrium of the Markov chain, stochastic simulation, the differential analysis approach herein presented, and a graphical framework for model editing and visualisation of performance evaluation results.

Complex software systems are difficult to understand and very hard to debug. Programmers trying to understand or debug these systems must read through source code which may span over thousands of files. Software Visualization tries to ease this burden by using graphics and animation to convey important information about the program to the user, which may be used either for understanding the behavior of the program or for detecting any defects within the code. SoftViz is one such software visualization system, developed by Ben Kurtz under the guidance of Prof. George T. Heineman at WPI. We carry forward the work initiated with SoftViz. Our preliminary study showed various avenues for making the system more effective and user-friendly. Specifically I completed the unfinished work, made optimizations, implemented new functionality and added new visualization plug-ins, all aimed at making the system a more versatile and user-friendly debugging framework. We built a solid core functionality that would be able to support various functionalities and created new plug-ins that would make understanding and bug-detection easier. Further we integrated SoftViz with the Eclipse development environment, making the system easily accessible and potentially widely used. We created an error classification framework relating the common error classes and the visualizations that could be used to detect them. We believe this will be helpful in both selecting the right visualization options as well as constructing new plug-ins.

在「設計易調整的電子病歷存取控管機制」論文中，針對病患隱私的保障，設計了一套XML格式的存取控管規則語言，讓安全管理者可以藉由設計安全組態檔，動態並細緻化地切換電子病歷的存取控管程式碼。根據前述論文的需求，我們建構出一套可融合於Eclipse開發平台中的存取規則編輯環境。除了具備XML編輯器的基本功能外，我們的編輯環境針對此存取控管規則語言提供使用者自訂屬性與規則變數的機制，以半自動化的方式免去記憶屬性值的困擾；並在存取規則的限制條件編修畫面當中，加入語法解析功能與基本格式驗證功能，協助使用者編輯限制條件，早期發現錯誤，大幅簡化安全管理人員設計存取控管規則的工作。 / This thesis presents a Configurable Editor for Specifying Access Control Rule in Electronic Medical Records based on the XML rule schema designed in another thesis, "Using Aspects to Implement Adaptable Access Control for Electronic Medical Records". Our editor is developed as a plug-in in the Eclipse development platform. It has three distinguished features. First, the user can configure the specific attributes and rule variables referenced in the rule schema and rule instances. Second, the user can edit access control rules as any XML documents and view the rules in multiple views, such as tree view. Third, the editor performs static checks on the constraints specified in the rules to provide early error detection. Thus, we argue that the editor will of significant help to the security administrators.