Dienas kārtība: Uz ontoloģijām balstītas tīmekļa videi pielāgotas modelēšanas tehnoloģijas un rīki zināšanu analīzei (LU MII uzdevumi 1, 2, 3, 4) - J.Bārzdiņš,

Slides:



Advertisements
Similar presentations
Software change management
Advertisements

Configuration management
Conformance Testing of MOST based Applications Towards Effective System Testing André Baresel, Michael Schmidt - DaimlerChrysler AG Contact:
Computer Science Department
Software Modeling SWE5441 Lecture 3 Eng. Mohammed Timraz
L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.
IS112 – Chapter 1 Notes Computer Organization and Programming Professor Catherine Dwyer 2003.
IS112 – Chapter 1 Notes Computer Organization and Programming Professor Catherine Dwyer Fall 2004.
Review 4 Chapters 8, 9, 10.
©TheMcGraw-Hill Companies, Inc. Permission required for reproduction or display. COMPSCI 125 Introduction to Computer Science I.
Managing Agent Platforms with the Simple Network Management Protocol Brian Remick Thesis Defense June 26, 2015.
Lecture Nine Database Planning, Design, and Administration
System Engineering Instructor: Dr. Jerry Gao. System Engineering Jerry Gao, Ph.D. Jan System Engineering Hierarchy - System Modeling - Information.
Introduction to Systems Analysis and Design
Introduction to Software Testing
Web 3.0 or The Semantic Web By: Konrad Sit CCT355 November 21 st 2011.
Building an Application Server for Home Network based on Android Platform Yi-hsien Liao Supervised by : Dr. Chao-huang Wei Department of Electrical Engineering.
Robots at Work Dr Gerard McKee Active Robotics Laboratory School of Systems Engineering The University of Reading, UK
INFO 355Week #61 Systems Analysis II Essentials of design INFO 355 Glenn Booker.
This chapter is extracted from Sommerville’s slides. Text book chapter
Systems Design. Systems Design Skills People skill (25%) - Listening, understanding others, understanding between two lines, conflict resolution, handling.
Chapter 9 Database Planning, Design, and Administration Sungchul Hong.
Overview of the Database Development Process
Chapter 2 The process Process, Methods, and Tools
1 Chapter 11 Implementation. 2 System implementation issues Acquisition techniques Site implementation tools Content management and updating System changeover.
1 CS 456 Software Engineering. 2 Contents 3 Chapter 1: Introduction.
CSC271 Database Systems Lecture # 4.
Mobile Agent Technology for the Management of Distributed Systems - a Case Study Claudia Raibulet& Claudio Demartini Politecnico di Torino, Dipartimento.
© Yilmaz “Agent-Directed Simulation – Course Outline” 1 Course Outline Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory Computer Science &
 To explain the importance of software configuration management (CM)  To describe key CM activities namely CM planning, change management, version management.
11 C H A P T E R Artificial Intelligence and Expert Systems.
ITEC 275 Computer Networks – Switching, Routing, and WANs Week 12 Chapter 14 Robert D’Andrea Some slides provide by Priscilla Oppenheimer and used with.
Configuration Management (CM)
1 Advanced topics in OpenCIM 1.CIM: The need and the solution.CIM: The need and the solution. 2.Architecture overview.Architecture overview. 3.How Open.
DELMIA DPM Assembly This is the Master “Presentation title” page. Type the title of your presentation in the "Presentation title” field. Cette page est.
Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.
1 Introduction to Microsoft Windows 2000 Windows 2000 Overview Windows 2000 Architecture Overview Windows 2000 Directory Services Overview Logging On to.
Lecture 7: Requirements Engineering
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Abstract We present two Model Driven Engineering (MDE) tools, namely the Eclipse Modeling Framework (EMF) and Umple. We identify the structure and characteristic.
PRESENTED BY, SARANYA , GAYATHRI, II ECE-B.
1 Introduction to Software Engineering Lecture 1.
Ihr Logo Chapter 5 Business Intelligence: Data Warehousing, Data Acquisition, Data Mining, Business Analytics, and Visualization Turban, Aronson, and Liang.
Control in ATLAS TDAQ Dietrich Liko on behalf of the ATLAS TDAQ Group.
Chapter 10 Analysis and Design Discipline. 2 Purpose The purpose is to translate the requirements into a specification that describes how to implement.
Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.
Session III. Information Systems A system, whether automated or manual, that comprises people, machines, and/or methods organized to collect, process,
L6-S1 UML Overview 2003 SJSU -- CmpE Advanced Object-Oriented Analysis & Design Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I College.
The System and Software Development Process Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
Self-assembling Agent System Presentation 1 Donald Lee.
J. Scott Hawker p. 1Some material © Rational Corp. Rational Unified Process Overview See and use the RUP Browser on lab machines.
Abstract A Structured Approach for Modular Design: A Plug and Play Middleware for Sensory Modules, Actuation Platforms, Task Descriptions and Implementations.
Digital Libraries1 David Rashty. Digital Libraries2 “A library is an arsenal of liberty” Anonymous.
CrossCheckSimulation Results Conclusions References Model Instrumentation Modeling with CUTS Property Specification SPRUCE Challenge Problem Checking Model.
Computer Simulation of Networks ECE/CSC 777: Telecommunications Network Design Fall, 2013, Rudra Dutta.
1 Chapter 12 Configuration management This chapter is extracted from Sommerville’s slides. Text book chapter 29 1.
College of Computer Science, SCU Computer English Lecture 1 Computer Science Yang Ning 1/46.
Software Development Process CS 360 Lecture 3. Software Process The software process is a structured set of activities required to develop a software.
Design and implementation Chapter 7 – Lecture 1. Design and implementation Software design and implementation is the stage in the software engineering.
5. 2Object-Oriented Analysis and Design with the Unified Process Objectives  Describe the activities of the requirements discipline  Describe the difference.
ITEC 275 Computer Networks – Switching, Routing, and WANs Week 12 Chapter 14 Robert D’Andrea Some slides provide by Priscilla Oppenheimer and used with.
ITEC 275 Computer Networks – Switching, Routing, and WANs
Runtime Verification of Business Processes
Chapter 18 Maintaining Information Systems
Runtime Verification of Business Processes
Model-Driven Analysis Frameworks for Embedded Systems
VPP „SOPHIS” 2.projekta „Uz ontoloģijām balstītas tīmekļa videi pielāgotas zināšanu inženierijas tehnoloģijas” LU Datorikas fakultātes 3.posma uzdevumi.
Introduction to Software Testing
Presentation transcript:

Dienas kārtība: Uz ontoloģijām balstītas tīmekļa videi pielāgotas modelēšanas tehnoloģijas un rīki zināšanu analīzei (LU MII uzdevumi 1, 2, 3, 4) - J.Bārzdiņš, A.šostaks, E.Rencis, M.Grasmanis, A.Sproģis Uz ontoloģijām balstītas dabīgās valodas semantikas izgūšanas metodes (LU MII uzdevums 5) - G.Bārzdiņš, D.Goško, P.Paikens Semantiskā tīmekļa tehnoloģijas zināšanu formalizācijai, vairākkārtīgai izmantošanai un koplietošanai (RTU DITF uzdevumi 1, 2, 3) – J.Grundspeņķis, V.Graudiņa, M.Kirikova, A.Novickis Jaunas tīmekļa videi piemērotas datu atlasīšanas un vizualizācijas metodes un ar tām saistītas problēmas (LU DF uzdevumi 1, 2) – J.Bičevskis, G.Arnicāns, Ģ.Karnītis 1. Attīstīt metodes liela apjoma datu pieejamībai, kas balstītas uz modeļiem un nozares ontoloģijām, piedāvājot jaunas tīmekļa videi piemērotas datu atlasīšanas un vizualizācijas metodes. - Sagatavota zinātniskā publikācija - G.Arnicāns, Ģ.Karnītis 2. Attīstīt biznesa procesu modeļu pielietošanas metodes programmas izpildes laika notikumu analīzē, lai paaugstinātu informācijas sistēmu drošības līmeni. Sagatavota zinātniskā publikācija - J.Bičevskis VPP „SOPHIS” 2.projekta „Uz ontoloģijām balstītas tīmekļa videi pielāgotas zināšanu inženierijas tehnoloģijas” 1.posmā veiktie darbi un iegūtie rezultāti 8/7/2015VPP SOPHIS prjekts Nr.21

1. Attīstīt metodes liela apjoma datu pieejamībai, kas balstītas uz modeļiem un nozares ontoloģijām, piedāvājot jaunas tīmekļa videi piemērotas datu atlasīšanas un vizualizācijas metodes.. This paper presents the scalability and hardware dependency problems found in existing solutions in the high resolution display wall domain and proposes a new solution. Authors propose hosting the system that provides the visual content for the display wall inside a virtual machine. In such way any needed configuration of displays and resolutions can be applied to the graphics processing unit simulated by the virtualization system. The frame buffer content of the virtual graphics processing unit is then split, encoded with H.264 and sent over gigabit Ethernet as an RTP stream to the display wall. The display wall is driven by Raspberry Pi embedded devices that receive the stream, decode it and send digital video signal to the displays. This paper describes the construction of a prototype for this architecture and provides preliminary results that prove the potential of this solution. Publikācija: Rudolfs Bundulis, and Guntis Arnicans Concept of virtual machine based high resolution display wall. Information, Electronic and Electrical Engineering (AIEEE), 2014 IEEE 2nd Workshop on Advances in. pp. 1-6, IEEE, DOI: /AIEEE , 8/7/2015VPP SOPHIS prjekts Nr.22

This paper provides scalability and use case analysis of a prototype for virtual machine based high resolution display architecture. This architecture has been presented by the authors to overcome the reasons due to which other research results in the high resolution display wall domain have still not achieved industrial success. Authors have provided use cases of this architecture with common operating systems like Linux and Windows and common software applications to demonstrate how a display wall solution can become seamless to the software layer while providing scalability, which is limited in the hardware based display wall solutions that dominate the industry. Publikācija: Rudolfs Bundulis, and Guntis Arnicans Virtual Machine Based High Resolution Display Wall: Experiments on Proof of Concept. International Conference on Systems, Computing Sciences and Software Engineering (SCSS 14), Electronic CISSE 2014 Conference Proceedings, (tiks publicēts Innovations and Advances in Computer, Information, Systems Sciences, and Engineering. LNEE, Springer) 8/7/2015VPP SOPHIS prjekts Nr.23

Relational databases remain the leading data storage technology. Nevertheless, many companies want to reduce operating expenses, to make scalable applications that use cloud computing technologies. Use of NoSQL database is one of the possible solutions, and it is forecasted that the NoSQL market will be growing at a CAGR of approximately 50 percent over the next five years. The paper offers a solution for quick data migration from a relational database into a document-oriented database. We have created semiautomatically two logical levels over physical data. Users can refine generated logical data model and configure data migration template for each needed document. Data migration features are implemented into relational database browser DigiBrowser. Real patients’ database was migrated to Clasterpoint database. The offered approach provides means to obtain at least proof-of-concept for new document-oriented database solution in a couple of days. Publikācija: Girts Karnitis and Guntis Arnicans Migration of Relational Database to Document-Oriented Database: Structure Denormalization and Data Transformation. In: 7th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN’2015), pp , (CICSyN’2014 ir Scopus) 8/7/2015VPP SOPHIS prjekts Nr.24

In the paper a concept for integrated and simpleto-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agent, environment, communication arena, attribute are described, and class model with the main concepts is given. Scope of features for proposed modeling environment are described and illustrated. We give an overview of technical implementation and prototyping in Erlang programming language. Publikācija: Ingars Ribners and Guntis Arnicans Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems. In: 7th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN’2015), pp , uksim.info/cicsyn2015/CD/data/7016a083.pdf (CICSyN’2014 ir Scopus) uksim.info/cicsyn2015/CD/data/7016a083.pdf 8/7/2015VPP SOPHIS prjekts Nr.25

Posters: Rudolfs Bundulis, Guntis Arnicans, and Rihards Gailums Virtual Machine Based High Resolution Display Wall: Experiments on Proof of Concept. NVENC Based H.264 Encoding for Virtual Machine Based Monitor Wall Architecture, GPU Technology Conference, San Jose, Mart 17-20, ulti_Display_01_P5174_WEB.pdf 8/7/2015VPP SOPHIS prjekts Nr.26 Promocijas darbs - Rūdolfs Bundulis (tēma „Augstas izšķirtspējas monitoru sienas izveide”) Bakalaura studiju programmas studenti: Matīss Zērvēns (kursa darbs „Stereoskopisko attēlu renderēšana”) Mārtiņš Andersons (kursa darbs „Augstas izšķirtspējas monitoru sienas vadība ar Android iekārtu”) Matīss Ķeiris (kvalifikācijas darbs „Augstas izšķirtspējas monitoru sienas vadības programmatūra”)

2. Attīstīt biznesa procesu modeļu pielietošanas metodes programmas izpildes laika notikumu analīzē, lai paaugstinātu informācijas sistēmu drošības līmeni. The authors propose a runtime verification mechanism for business processes. This mechanism allows verifying the correctness of business process execution and it runs in parallel with the base processes affecting them insignificantly. The authors have identified the case where the use of business process runtime verification is helpful and applicable. The verification mechanism monitors the business process execution and verifies compliance with the base process description. The verification mechanism prototype was developed and tested in real business processes, as well as limits of runtime verification overhead were evaluated. 8/7/2015VPP SOPHIS prjekts Nr.27 Publikācija: I.Oditis, J.Bicevskis Asynchronous Runtime Verification of Business Processes 7th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN’2015) pp , 2015 (CICSyN’2014 ir Scopus)

Promocijas darbs – Ivo Odītis (tēma: Izpildes laika verifikācija) Maģistra darbi (2015): Kirkiļevičs „ Sadarbojošos procesu testēšana” Kuliņš „Konfigurējama bankomāta testēšanas pilnība” Safronova „Informācijas sistēmu testēšanas stratēģijas un automatizācija” Steadily increasing complexity of software systems makes them difficult to configure and use without special IT knowledge. One of the solutions is to improve software systems making them “smarter”, i.e. to supplement software systems with features of self-management, at least partially. This paper describes several software components known as smart technologies, which facilitate software use and maintenance. As to date smart technologies incorporate version updating, execution environment testing, self-testing, runtime verification and business process execution. The proposed approach has been successfully applied in several software projects. 8/7/2015VPP SOPHIS prjekts Nr.28 Publikācija: Z.Bicevska, J.Bicevskis, I.Oditis Smart Technologies for improved Software Maintenance. Pieņemts publicēšanai FedCSIS’2015 (FedCSIS’2014 ir Scopus) „

Attīstīt metodes liela apjoma datu pieejamībai, kas balstītas uz modeļiem un nozares ontoloģijām, piedāvājot jaunas tīmekļa videi piemērotas datu atlasīšanas un vizualizācijas metodes Augstas izšķirtspējas monitoru sienas izveide Klienta-servera vides izveide, kas nodrošina aģentbāzētu modelēšanu un izpildi «dzīvām sistēmām» Relāciju datubāzu datu pārlūkošana – migrējot uz NOSQL datubāzi, – Izmantojot pārlūku, kas darbojas ar monitoru sienu 8/7/2015VPP SOPHIS prjekts Nr.29

Monitoru siena un tās izmantošana Mērķis ir izveidot zemu izmaksu (~$10’000) augstas izšķirtspējas (> 32 megapikseļi) monitoru sienu Viens no izmantošanas veidiem – atbalsts gan sistēmu izveidē (modelēšana, projektēšana, testēšana) un uzraudzībā, gan datu analīzē – varētu analizēt daudz informācijas, nezaudējot fokusu un saistīto apkārtni – grupu darbs Ļoti daudz pikseļu (var pārsniegt pašreiz esošos risinājumus) – Prototips 5x5 monitori – Kopā 52 megapikseļi Elastīga un mērogojama arhitektūra 8/7/2015VPP SOPHIS prjekts Nr.210

Tipisks sienas risinājums I 8/7/2015VPP SOPHIS prjekts Nr.211 OS GPU Monitor Monitoru sienas arhitektūra, kurā grafiskās apstrādes iekārtas izeja atbilst kādam monitoram uz sienas Plusi: Operētājsistēma «dabīgā veidā» pārvalda monitorus Trūkumi: Enerģijas patēriņš, monitoru skaits atkarīgs no datora iespējām ielikt grafiskās apstrādes iekārtas un šo iekārtu izeju daudzuma, problēmas ar daudziem vadiem un garuma ierobežojuma

Tipisks sienas risinājums II 8/7/2015VPP SOPHIS prjekts Nr.212 Monitoru sienas arhitektūra, kurā grafiskās apstrādes iekārtas izeja tiek sadalīta starp vairākiem monitoram uz sienas Plusi: Programmatūras sarežģītība samazinās, jo nav jāuztraucas par daudziem monitoriem Trūkumi: Maza izšķirtspēja, attēls nav dabīgajā lielumā, dārgs risinājums OS GPU Splitter / Scaler Monitor

Piedāvātā arhitektūra 8/7/2015VPP SOPHIS prjekts Nr.213 Prototips strādā pat uz mini-PC bez neatkarīgas grafiskās kartes!

Detalizētāka arhitektūra 8/7/2015VPP SOPHIS prjekts Nr.214

Sienas konstrukcija 8/7/2015VPP SOPHIS prjekts Nr.215

Arhitektūras izvērtējums Plusi – Mērogojams risinājums, izmanto virtualizācijas pieeju, dažādas kombinācijas, kā virtuālās GPU iekārtas sadarbojas ar fiziskajām GPU iekārtām – Dati uz monitoriem tiek nodoti pa tīklu, likvidējot video vadu ierobežojumus (sienas serveris var atrasties tālu no monitoru sienas) – Kopēja izšķirtspēja var būt daudz lielāka nekā to spēj nodrošināt pieejamās grafiskās apstrādes iekārtas – Programmatūras izstrādi var veikt ar ierastajām tehnoloģijām, var darbināt jau gatavās programmas Trūkumi – Izmanto saspiešanu ar zudumiem – Nav uzreiz gatavs atbalsts Direct3D, OpenGL tehnoloģijām – Kopējā izšķirtspēja var būt ierobežota ar izmantotās operētājsistēmas iespējām 8/7/2015VPP SOPHIS prjekts Nr.216

Prototipa pārbaude I 8/7/2015VPP SOPHIS prjekts Nr.217

Prototipa pārbaude II 8/7/2015VPP SOPHIS prjekts Nr.218

Publikācijas un konferences Rudolfs Bundulis, Guntis Arnicans, and Rihards Gailums. NVENC Based H.264 Encoding for Virtual Machine Based Monitor Wall Architecture, GPU Technology Conference, San Jose, Mart 17-20, Plakāts Rudolfs Bundulis, and Guntis Arnicans, Concept of virtual machine based high resolution display wall. Information, Electronic and Electrical Engineering (AIEEE), 2014 IEEE 2nd Workshop on Advances in. pp. 1-6, IEEE, (IEEE Explore) Rudolfs Bundulis, and Guntis Arnicans. Virtual Machine Based High Resolution Display Wall: Experiments on Proof of Concept. International Conference on Systems, Computing Sciences and Software Engineering (SCSS 14), Electronic CISSE 2014 Conference Proceedings, (tiks publicēts Innovations and Advances in Computer, Information, Systems Sciences, and Engineering. LNEE, Springer) 8/7/2015VPP SOPHIS prjekts Nr.219

Studentu piesaiste Doktorants Rūdolfs Bundulis Bakalaura studiju programmas studenti – Matīss Zērvēns (kursa darbs „Stereoskopisko attēlu renderēšana”) – Mārtiņš Andersons (kursa darbs „Augstas izšķirtspējas monitoru sienas vadība ar Android iekārtu”) – Matīss Ķeiris (kvalifikācijas darbs „Augstas izšķirtspējas monitoru sienas vadības programmatūra”) 8/7/2015VPP SOPHIS prjekts Nr.220

Klienta-servera vides izveide, kas nodrošina aģentbāzētu modelēšanu un izpildi «dzīvām sistēmām» Mērķis ir izveidot modelēšanas un simulēšanas vidi daudzaģentu sistēmām, kuras var raksturot kā «dzīvas» un kuru aģentu skaits ir liels (pat vairāki miljoni) Monitoru siena varētu palīdzēt atainot sistēmā notiekošo, lai analizētu sistēmas uzvedību dažādos apstākļos 8/7/2015VPP SOPHIS prjekts Nr.221

Aģents I 8/7/2015VPP SOPHIS prjekts Nr.222

Aģents II 8/7/2015VPP SOPHIS prjekts Nr.223

Hierarhiskais modelis 8/7/2015VPP SOPHIS prjekts Nr.224

Klienta-servera arhitektūra 8/7/2015VPP SOPHIS prjekts Nr.225

Vides konceptuālā arhitektūra 8/7/2015VPP SOPHIS prjekts Nr.226

Galveno jēdzienu klašu diagramma 8/7/2015VPP SOPHIS prjekts Nr.227

Runtime Verification of Business Processes proceses staff systems CICSyN 2015, Riga

Initial question Does business process runs correctly? Process can run over more than one IS Environment is changing May be process instance is late? Some processes only partly are supported by IS CICSyN 2015, Riga

Main objectives Provide verification for processes without built-in verification mechanism Provide verification for processes running in heterogeneous environment Provide early warning and error messaging system Provide easy and dynamic definition of process verification descriptions CICSyN 2015, Riga

Correctness criteria Process is executed by legal execution path Required actions are executed Execution time limits are not violated CICSyN 2015, Riga

Proposed solution Verification process is designed for each base process Controller verifies process execution using process verification description Process execution events are detected by agents CICSyN 2015, Riga

Base process -> verification process CICSyN 2015, Riga

Language meta-model CICSyN 2015, Riga

Summary Solution is applicable for heterogeneous environment No changes are required in running systems Set of agents may be supplements without any changes in controller or verification process descriptions Solution is applicable for wide area of problems: – high level business processes – document processing systems – time critical data processing systems CICSyN 2015, Riga