Evaluation and extracting factual software architecture of distributed system by process mining techniques

The factual software architectures that are actually implemented of distributed systems do not conform the planned software architectures (Beck 2010). It happens due to the complexity of distributed systems. This problem begets two main challenges; First, how to extract the factual software architectures with the proper techniques and second, how to compare the planned software architecture with the extracted factual architecture. This study aims to use process mining to discover factual software architecture from codes and represents software architecture model in Petri Net to evaluate model by the linear temporal logic and process mining. In this paper, the applicability of process mining techniques, implemented in the ProM6.7 framework is shown to extract and evaluate factual software architectures. Furthermore, capabilities of Hierarchical Colored Petri Net implemented in CPN4.0 are exploited to model and simulate software architectures. The proposed approach has been conducted on a case study to indicate applicability of the approach in the distributed data base system. The final result of the case study indicates process mining is able to extract factual software architectures and also to check its conformance

The design of key modules for superconductivity NMR spectrometer

现有超导NMR谱仪气体控制相关的计算功能全部集中于其硬件控制台，增加了系统的复杂性和系统成本，故障率高，不易维护，从而直接降低了气路与温控系统的可靠性、可扩展性和可维护性。本文在研究了NMR共振气控系统的基础上，设计了一套了基于LAN、RS485、μCOS操作系统和模糊PID控制技术的分布式气控系统。主要成果总结如下： 一、设计了一套基于LAN网络和RS485总线的分布式气路与温控系统，各功能模块均具有自主控制能力，可以脱离硬件控制台独立工作，从而提高了系统的灵活性、可靠性。 二、系统软件以多任务操作系统μCOS为基础，并采用了基于DARTS任务分析方法，实现了网络管理、升/降、旋转、温度...In the current NMR spectrometers, all calculating units are all integrated in the control console. So the controller is very complicated, high cost and instable. In this paper, A distributed pneumatic router based on LAN, RS485, μCOS and fuzzy PID is designed. The main conclusions are summarized as follows: 1. A distributed pneumatic router based on LAN and RS485 is desgined and all function modu...学位：博士后院系专业：物理与机电工程学院物理学系_无线电物理学号：200817121

Configuration of service oriented architectures with semantic technologies based on non-functional requirements

Ова дисертација је фокусирана на примену семантичких технологија за решавање проблема оптималне конфигурације сервисно-оријентисаних архитектура (енгл. Service Oriented Architecture – SOA) на основу нефункционалних захтева корисника. Решење је базирано на проширењу АHP алгоритма за рад са различитим врстама захтева и развоју хеуристичког приступа заснованог на генетичким алгоритмима за решавање проблема оптималне конфигурације. Постојећа решења у овој области су показала изузетно мали ниво персонализације, тј корисницима није дозвољено дефинисање разних софистициранијих врста захтева који осликавају њихове жеље, очекивања и строге захтеве за које захтевају потпуно испуњење. Такође, постојећа решења су била перманентно фокусирана на испуњење захтева функционалности, након чега се врши одабир конфигурације сходно захтевима о смањењу вредности карактеристика које имају тенденцију раста (нпр., цена и време извршавања), односно повећању вредности карактеристика које имају тенденцију опадања (нпр., поузданост и доступност). Међутим, када се посматрају целе фамилије SOA, од посебног значаја постаје проблем конструкције конфигурације при истовременом задовољењу функционалних и нефункционалних захтева. Предложено интегрално решење под називом OptConfSOAFобезбеђује представљање различитих врста захтева (безусловни, условни, захтеви о лексикографском поретку) о нефункционалним карактеристикама и оптималну конфигурацију фамилија SOA на основу дефинисаних захтева. Приступ који се предлаже обезбеђује истовремено задовољење захтева који се тичу функционалности система као и нефункционалних захтева који могу бити различитог нивоа приоритета, односити се на поједине делове или сервисно- оријентисану архитектуру у целости. Предложено решење је опште и није ограничено само на веб сервисе, иако се појам семантичких технологија обично везује за дати домен примене. Решење се може применити у било ком домену у којем се SOA парадигма може применити посматрањем сервиса као било које компоненте (необавезно софтверске) дате функционалности...This dissertation is focused on the application of semantic technologies for solving the problem of optimal configuration of service-oriented architectures (SOA) based on stakeholders’ non-functional requirements. The proposed solution is developed as an extension of the AHP algorithm to allow for processing of different kinds of requirements. To address the problem of optimal configuration of SOA, a heuristic approach based on genetic algorithms has also been proposed and validated. Existing approaches in this field have shown low level of personalization, i.e. stakeholders are neither enabled to define sophisticated requirements that reflect their own expectations and attitudes, nor they are able to indicate hard requirements that have to be fully satisfied. Furthermore, existing approaches were primarily addressing the problem of fulfilling functional requirements, while the selection of an appropriate configuration is driven by the goal of decreasing the values of monotonically decreasing features (e.g., price and execution time) and simultaneous increasing the values of monotonically increasing features (e.g., availability and reliability). By considering the whole SOA families, the problem of configuration based on both functional and nonfunctional requirements gets special importance for research and further applications. The proposed solution, titled OptConfSOAF provides a framework for specification and processing of different kinds of requirements (unconditional, conditional, and requirements about lexicographical order) over non-functional features, and further optimal configuration of SOA families. The proposed approach provides simultaneous fulfillment of functional requirements (i.e., requirements related to the system’s functionalities) and non-functional requirements, where the latter could be defined with different level of importance, for specific parts of a SOA-based system or the system in its entirety. The proposed solution is general and is not bound to web services, even though semantic technologies are often associated with that domain. Since the solution considers a service as a component (no mandatory to be software component) with the specified functionality, it is applicable and easily adaptable to any specific application domain where SOA paradigm may be applied..