Application of Information Processes Applicative Modelling to Virtual Machines Auto Configuration
The paper discusses application of the algorithm based information processes modeling and Q-machine learning to the task of virtual machines auto configuration. Usage of virtual machines is one the most common solution nowadays for almost every companies. Although using of virtual machines simplifies settings of hardware landscape and allows physical servers decentralization they may cause performance decrease. To overcome this issue, we propose using method of virtual machines auto configuration. The method is based on the following premises: tracking real business process held by virtual machines, using algorithms of machine learning to investigate optimal configuration, and virtual machine configuration by independent process.
Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a solid foundation for Business Process Management (BPM) research. The BPM discipline develops methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Mainstream business process modeling notations and workflow management systems are using token-based semantics borrowed from Petri nets. Moreover, state-of-the-art BPM analysis techniques are using Petri nets as an internal representation. Users of BPM methods and tools are often not aware of this. This paper aims to unveil the seminal role of Petri nets in BPM.
This book constitutes the proceedings of the First Asia Pacific Conference on Business Process Management held in Beijing, China, in August 2013.
In all, 19 contributions from seven countries were submitted. Following an extensive review process by an international Program Committee, seven full papers and one short paper were accepted for publication in this book and presentation at the conference. In addition, a keynote by Wil van der Aalst is also included.
The present paper proposes an analysis of the experimental verification results of the means of automatic determining of the optimal configuration of a virtual machine (VM) implemented based on previously developed models and methods of automation for virtual machine configurations (including in the conditions of changing loads). For information process analytical models, machine learning algorithms with reinforcements are applied. All the while, models are constructed automatically in the language of the typed π-calculus taking into account the journal entries of functions performed by the VM. In order to calculate the optimal configuration of the VM, a machine learning Q-algorithm has been implemented. Its special feature is the reduction of terms correspondent to information processes on the basis of an abstract machine with states. This being said, the implemented method for modeling information processes performed by the VM uses an applicative approach in the form of the an abstract machine.
The The workshop first took place in 2015 as a succession of the Applications of Region Theory (ART) workshop series. After the success of the initial workshop, it is only natural to bring together researchers working on region-based synthesis and process mining again. The ATAED'2016 workshop took place in Torun on June 20-21, 2016 and was a satellite event of both the 37th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2016) and the 16th International Conference on Application of Concurrency to System Design (ACSD 2016). Papers related to process mining, region theory and other synthesis techniques were presented at ATAED'2016.
Business Process Management (BPM) has become one of the most widely used approaches for the design of modern organizational and information systems. The conscious treatment of business processes as significant corporate assets has facilitated substantial improvements in organizational performance but is also used to ensure the conformance of corporate activities. This Handbook presents in two volumes the contemporary body of knowledge as articulated by the world' s leading BPM thought leaders. This first volume focuses on arriving at a sound definition of BPM approaches and examines BPM methods and process-aware information systems. As such, it provides guidance for the integration of BPM into corporate methodologies and information systems. Each chapter has been contributed by leading international experts. Selected case studies complement their views and lead to a summary of BPM expertise that is unique in its coverage of the most critical success factors of BPM. The second edition of this handbook has been significantly revised and extended. Each chapter has been updated to reflect the most current developments. This includes in particular new technologies such as in-memory data and process management, social media and networks. A further focus of this revised and extended edition is on the actual deployment of the proposed theoretical concepts. This volume includes a number of entire new chapters from some of the world's leading experts in the domain of BPM. "The practice of Business Process Management has progressed significantly since Michael Hammer and I wrote the Reengineering book. This "handbook" presents the most complete description of the competencies required for BPM and exhaustively describes what we have learned about process management in the last 20 years."
The article is based on the results obtained by participants research seminar the faculty of business Informatics of the Higher School of Economics. Objective – to study the possibilities of learning management as a process and application of modern information technologies and tools. The learning process is defined as joint activity of participants for organization of study discipline, receive regular and procedural knowledge. For research the learning process discipline "Modeling and optimization of business processes" was chosen. The features of learning process, requirements of process management, modeling and assessment capabilities of automated process management were defined. The analysis is based on information of real process Faculty of Business Informatics. Requirements for learning process were identified. Different notations for modeling were used: eEPC (ARIS); interaction diagram and behavior diagram (Metasonic). It was shown that satisfaction of requirements for process is provided on subject-oriented approach and it is almost impossible for classical approach. Principles of sharing the learning process into smaller processes, process models (interaction diagrams and behavior diagrams of subjects) are developed. Possibility of changing process management with help of subjects (teachers, students) without programming, including the automated generation of workflow application were presented. Results of research can be useful for any organization thinking about the transition from traditional rigid structure to a more modern reflexive organization with network communications.
Video broadcasts on the Internet have become a commonplace and increasingly find their audience, supported by popular video services and social networks. But there are tasks, that require content delivery network (CDN), which lead to extra expences, and moreover, does not give sufficient flexibility and limits personalization of the broadcasts. This paper presents the principles of creating a flexible and scalable streaming content delivery network, created automatically for each individual broadcast over existing infrastructure of the cloud virtual machine hosting providers. The report originates from a commercial project dedicated to creation of media-content delivery network, currently being at development stage.
Seit ihrem Entwurf im Jahr 1962 sind Petrinetze in ganz unterschiedlichen Bereichen eingesetzt worden. Obwohl sie graphisch dargestellt werden und intuitiv einfach verständlich sind, haben Petrinetze eine formal eindeutige Semantik mit einer Vielzahl mathematischer Analysetechniken. Sie reichen vom Model Checking und der Strukturellen Analyse über das Process Mining bis zur Performanz-Analyse. Im Lauf der Zeit haben Petrinetze solide Grundlagen für die Forschung zum Geschäftsprozess-Management (BPM) beigetragen. Sie umfassen Methoden, Techniken und Werkzeuge um Geschäftsprozesse zu entwerfen, implementieren, verwalten und zu analysieren. Die etablierten Modellierungsmethoden und Workflow-Managementsysteme verwenden Token-basierte, von Petrinetzen entlehnte Beschreibungen. Nutzer moderner BPM-Analysetechniken wissen oft gar nicht, dass ihre Geschäfts- prozesse intern als Petrinetze repräsentiert werden. Dieser Beitrag zeigt die grundlegende Rolle von Petrinetzen im BPM.