| Vol-1356 urn:nbn:de:0074-1356-8 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# ICTERI 2015
ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

### Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

### Lviv, Ukraine, May 14-16, 2015.

Edited by

### Sotiris Batsakis *
Heinrich C. Mayr **
Vitaliy Yakovyna ***
Mykola Nikitchenko ****
Grygoriy Zholtkevych *****
Vyacheslav Kharchenko ******
Hennadiy Kravtsov *******
Vitaliy Kobets *******
Vladimir Peschanenko *******
Vadim Ermolayev ********
Yuriy Bobalo ***
Aleksander Spivakovsky *******

* University of Huddersfield, UK
** Alpen-Adria-Universitat Klagenfurt, Austria
*** Lviv Polytechnic National University, Ukraine
**** Taras Shevchenko National University of Kyiv, Ukraine
***** V. N. Karazin Kharkiv National University, Ukraine
****** National Aerospace University "KhAI", Ukraine
******* Kherson State University, Ukraine
******** Zaporizhzhya National University, Ukraine

## Table of Contents

- Preface
- Organization
- Sponsors

### INVITED CONTRIBUTIONS

- Rigorous Semantics and Renement for Business Processes 1-2
  Klaus-Dieter Schewe
- Smart Learning Environments: a Shift of Paradigm 3
  David Esteban

### TUTORIAL

- Systematic Business Process Modeling in a Nutshell 4
  Heinrich C. Mayr

### PART I: MAIN ICTERI CONFERENCE

### I.I Teaching ICT and Using ICT in Education

- Using ICT in Training Scientic Personnel in Ukraine: Status and Perspectives 5-20
  Aleksandr Spivakovsky, Maksim Vinnik, Yulia Tarasich
- On the Results of a Study of the Willingness and the Readiness to Use Dynamic Mathematics Software by Future Math Teachers 21-34
  Olena Semenikhina, Marina Drushlyak
- An Analysis of Video Lecture in MOOC 35-50
  Jyoti Chauhan, Anita Goel
- Using Fuzzy Logic in Knowledge Tests 51-61
  Aleksandr Alekseev, Marika Aleksieieva, Kateryna Lozova, Tetiana Nahorna

### I.II Model-Based Software System Development

- Knowledge-Based Approach to EObject-Oriented Technologies in Software Maintenance 62-77
  Mykola Tkachuk, Kostiantyn Nagornyi, Rustam Gamzayev
- Provably Correct Graph Transformations with Small-tALC 78-93
  Nadezhda Baklanova, Jon Hael Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
- A Study of Bi-Objective Models for Decision Support in Software Development Process 94-99
  Vira Liubchenko
- Method of Evaluating the Success of Software Project Implementation Based on Analysis of Specication Using Neuronet Information Technologies 100-107
  Tetiana Hovorushchenko, Andriy Krasiy

### I.III Machine Intelligence, Knowledge Engineering and Management for ICT

- Calculation Method for a Computer's Diagnostics of Cardiovascular Diseases Based on Canonical Decompositions of Random Sequences 108-120
  Igor P. Atamanyuk, Yuriy P. Kondratenko
- Synthesis of Time Series Forecasting Scheme Based on Forecasting Models System 121-136
  Fedir Geche, Vladyslav Kotsovsky, Anatoliy Batyuk, Sandra Geche, Mykhaylo Vashkeba
- C-Clause Calculi and Refutation Search in First-Order Classical Logic 137-152
  Alexander Lyaletski
- Principles of Intellectual Control and Classication Optimization in Conditions of Technological Processes of Beneciation Complexes 153-160
  Andrey Kupin, Anton Senko

### I.IV ICT in Industrial Applications

- A Composite Indicator of K-society Measurement 161-171
  Kseniia Ilchenko, Ivan Pyshnograiev
- Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid 172-187
  Leo Van Moergestel, Erik Puik, Danel Telgen, John-Jules Meyer
- ICT and e-Business Development by the Ukrainian Enterprises: The Empirical Research 188-195
  Nataliia Medzhybovska
- Geospatial Intelligence and Data Fusion Techniques for Sustainable Development Problems 196-203
  Nataliia Kussul, Andrii Shelestov, Ruslan Basarab, Sergii Skakun, Olga Kussul, Mykola Lavreniuk

### PART II: ICTERI WORKSHOPS

### II.I 4th International Workshop on Information technologies in economic research (ITER 2015)

- Risk Assessment of Use of the Dnieper Cascade Hydropower Plants 204-213
  Andriy Skrypnyk, Olha Holiachuk
- Behavioral Aspects of Financial Anomalies in Ukraine 214-224
  Tetiana Paientko
- The Formation of the Deposit Portfolio in Macroeconomic Instability 225-235
  Andriy Skrypnyk, Maryna Nehrey
- Dynamic Model of Double Electronic Vickrey Auction 236-251
  Vitaliy Kobets, Valeria Yatsenko, Maksim Poltoratskiy
- Which Data Can Be Useful to Make Decisions on Foreign Exchange Markets? 252-261
  Karine Mesropyan
- Econometric Analysis of Educational Process on the Web Site 262-275
  Alexander Weissblut
- The Multidimensional Data Model of Integrated Accounting Needed for Compiling Management Reports Based on Calculation EBITDA Indicator 276-283
  Viktoria Yatsenko
- Statistical Analysis of Indexes of Capitalization of the Ukrainian Firms: an Empirical Research 284-294
  Anastasiia Kolesnyk, Ihor Lukianov

### II.II 3rd International Workshop on Methods and Resources for Distance Learning (MRDL 2015)

- The Hybrid Service Model of Electronic Resources Access in the Cloud-Based Learning Environment 295-310
  Mariya Shyshkina
- Methods and Technologies for the Quality Monitoring of Electronic Educational Resources 311-325
  Hennadiy Kravtsov

### II.III 4th International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2015)

- Realisation of "Black Boxes" Using Machines 326-337
  Grygoriy Zholtkevych
- An Interleaving Reduction for Reachability Checking in Symbolic Modeling 338-353
  Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko
- Abstracting an Operational Semantics to Finite Automata 354-365
  Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
- The Static Analysis of Linear Loops 366-381
  Michael Lvov, Yulia Tarasich
- Dening Finitely Supported Mathematics over Sets with Atoms 382-395
  Andrei Alexandru, Gabriel Ciobanu
- On a Strong Notion of Viability for Switched Systems 396-407
  Ievgen Ivanov
- Natural Computing Modelling of the Polynomial Space Turing Machines 408-418
  Bogdan Aman, Gabriel Ciobanu

### II.IV International Workshop on Theory of Reliability for Modern Information Technologies (WS TheRMIT 2015)

- Discrete and Continuous Time High-Order Markov Models for Software Reliability Assessment 419-431
  Vitaliy Yakovyna, Oksana Nytrebych
- Evolution of Software Quality Models: Green and Reliability Issues 432-445
  Oleksandr Gordieiev, Vyacheslav Kharchenko, Mario Fusani
- Service and Business Models with Implementation Analysis of Distributed Cloud Solution 446-461
  Olga Yanovskaya, Maria Anna Devetzoglou, Vyacheslav Kharchenko, Max Yanovsky
- Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy 462-475
  Bogdan Volochiy, Oleksandr Mulyak, Vyacheslav Kharchenko
- Features of Hidden Fault Detection in Pipeline Digital Components of Safety-Related Systems 476-485
  Alex Drozd, Miroslav Drozd, Viktor Antonyuk
- The Control Technology of Integrity and Legitimacy of LUT-Oriented Information Object Usage by Self-Recovering Digital Watermark 486-497
  Kostiantyn Zashcholkin, Olena Ivanova
- Functional Diversity Design of Safety-Related Systems 498-506
  Ivan Malynyak
- Computer's Analysis Method and Reliability Assessment of Fault-Tolerance Operation of Information Systems 507-522
  Igor P. Atamanyuk, Yuriy P. Kondratenko
- Distributed Datastores: Towards Probabilistic Approach for Estimation of Dependability 523-534
  Kyrylo Rukkas, Galyna Zholtkevych
- Direct Partial Logic Derivatives in Analysis of Boundary States of Multi-State System 535-549
  Elena Zaitseva, Vitaly Levashenko, Jozef Kostolny, Miroslav Kvassay
- Automation of Building the Safety Models of Complex Technical Systems for Critical Application 550-565
  Bohdan Volochiy, Bohdan Mandziy, Leonid Ozirkovskyy
- Scenario-Based Markovian Modeling of Web-System Availability Considering Attacks on Vulnerabilities 566-577
  Vyacheslav Kharchenko, Yurij Ponochovny, Artem Boyarchuk, Anatoliy Gorbenko

- AUTHOR INDEX
- Proceedings in a Single File

2015-05-12: submitted by Sotiris Batsakis, metadata incl. bibliographic data published under Creative Commons CC0
2015-05-12: published on CEUR-WS.org |valid HTML5|