Carassius: A Simple Process Model Editor
N. M. Nikitina, A. A. Mitsyuk
Process models and graphs are commonly used for modeling and visualization of process models. They may represent sets of objects or events linked with each other in some way. Wide use of models in such languages engenders necessity of tools for creating and editing them. This paper describes the model editor which allows for dealing with classical graphs, Petri nets, and finite-state machines. Additionally, the tool has a list of features like simulation of Petri nets, import and export of models in different storage formats. In the paper one can find a detailed description of a couple of layout algorithms which can be used to visualize graphs.
, , Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 219-236
Process models and graphs are commonly used for modeling and visualization of processes. They may represent sets of objects or events linked with each other in some way. Wide use of models in such languages engenders necessity of tools for creating and editing them. This paper describes the model editor which allows for dealing with classical ...
Added: August 18, 2015
, , Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 237-254
This paper is dedicated to a tool whose aim is to facilitate process mining experiments and evaluation of the repair algorithms. Process mining is a set of approaches which provides solutions and algorithms for discovery and analysis of business process models based on event logs. Process mining has three main areas of interest: model discovery, ...
Added: August 18, 2015
, , В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.). .: М.: МГУ, МАКС Пресс, 2017.. С. 68-71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Added: October 22, 2017
Управление стоимостью поставок запасных частей для послепродажного обслуживания сложных технических изделий
, , et al., Бизнес-информатика 2015 № 3 (33) С. 65-73
The article considers the issues of technical product life cycle management in the field of spare parts delivery organization and management within the framework of after-sales service. It provides an examination of a Petri net model, describing the cause-effect relations between events that are linked to delivery planning and management, based on a probabilistic analytical ...
Added: September 7, 2015
, , et al., Programming and Computer Software 2016 Vol. 42 No. 1 P. 27-33
A detailed description of a method for detection of code clones is described. This method is based on the semantic analysis of programs and on new algorithms that make it scalable without affecting its accuracy. The proposed method involves two phases. In the first phase, the program dependence graph (PDG) is constructed while the program ...
Added: March 22, 2017
, , Mathematics 2019 Vol. 7 No. 11 P. 1-17
Fullerenes are molecules that can be presented in the form of cage-like polyhedra, consisting only of carbon atoms. Fullerene graphs are mathematical models of fullerene molecules. The transmission of a vertex v of a graph is a local graph invariant defined as the sum of distances from v to all the other vertices. The number ...
Added: October 27, 2020
, , et al., М.: Юрайт, 2021
Мы часто принимаем решения не единолично, а в коллективе, с учетом мнений и предпочтений всех членов коллектива: в задачах голосования, распределения работников по работам или студентов по курсам, в задачах дележа наследства или общего имущества, в распределении мест в парламенте после выборов и оценке влияния участников в выборном органе, в задачах оценки эффективности работы в ...
Added: November 29, 2020
, , , in: RuZA 2015 Workshop. Proceedings of Russian and South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015). November 30 - December 5, 2015, Stellenbosch, South Africa. Vol. 1552.: Aachen: CEUR Workshop Proceedings, 2015.. P. 1-9.
In this paper we present some preliminary results for text corpus visualization by means of so-called reference graphs. The nodes of this graph stand for key words or phrases extracted from the texts and the edges represent the reference relation. The node A refers to the node B if the corresponding key word / phrase ...
Added: June 14, 2016
, , Вестник РГГУ. Серия "Информатика. Информационная безопасность. Математика" (Российская Федерация) 2020 № 2 С. 8-26
In this paper the authors consider the cross-cultural and cognitive aspects of the semiotic information transmission, namely, how information is exchanged and interpreted by representatives of different cultural groups in the context of business processes. The article deals with the issues of subjective perception of information, the visual effectiveness of business process models and their ...
Added: October 16, 2020
, , , in: Analysis of Images, Social Networks and Texts. 6th International Conference, 2017, Revised Selected Papers. Vol. 10716.: Cham: Springer, 2018.. P. 371-377.
In this paper we present an approach for searching sub-traces in event logs, generated by information systems. Our technique is heavily based on the Aho-Corasick algorithm, and extends it with simultaneous search on several event log traces. The computational complexity of the proposed approach was estimated. Moreover, the approach was implemented and verified on real-life ...
Added: October 11, 2017
Specific features of graphical-analytical representation of a process model of managing innovation activity in the framework of software development for import substitution projects
, , Journal of Theoretical and Applied Information Technology 2017 Vol. 95 No. 14 P. 3337-3351
Added: March 7, 2019
, , М.: Вузовская книга, 2016
Concepts of the theory of algorithmic languages and methods of broadcasting and also processing of data and their organization are considered. Statement of material is followed by practical examples. The grant is intended for students of the higher educational institutions studying in the Applied Mathematics and Applied Mathematics and Informatics directions. Contains the subjects studied ...
Added: December 11, 2017
, T-Comm: Telecommunications and transport 2017 Vol. 11 No. 9 P. 80-85
The highest rates of development of infocommunication technologies, covering various subject areas relevant to humanity, raise new requirements for ensuring information security of risk objects. Cyber-attacks, as complex processes, are based on the latest infocommunication technologies, which causes the development of intellectual approaches to counteract them. To apply methods of artificial intelligence to counter information ...
Added: August 15, 2018
, , in: Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2017), Moscow, Russia, July 27-29, 2017. Vol. 1975.: Aachen: CEUR-WS.org, 2017.. Ch. 31. P. 293-300.
Commonly in network analysis a graph (network) is represented by its adjacency matrix, and the latter may have an enormous order. We show that in many situations (generalizing the case of regular graph) a much smaller matrix (referred as type adjacency matrix) may be used instead. We introduce concepts of the types of nodes and ...
Added: November 7, 2017
, , , in: Preliminary Proceedings of the 9th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015). .: M.: [б.и.], 2015.. P. 137-143.
This paper is dedicated to a tool which is aimed to facilitate process mining experiments and evaluation of the repair algorithms. Process mining is a set of approaches which provides solutions and algorithms for discovery and analysis of business process models based on event logs. Process mining has three main areas of interest: model discovery, ...
Added: June 11, 2015
, , et al., , in: Information Systems Development and Applications. .: Sopot: Faculty of Management University of Gdańsk, 2015.. P. 91-104.
The paper presents an ontological modelling tool that may serve as a visual editor for the DEMO methodology and simulator of business-processes. The main goal of the study is to develop an instrumental tool that would enable business analysts to describe business processes at ontological level and analyse their performance. In the paper all stages ...
Added: February 14, 2016
, , , Australasian Journal of Combinatorics 2017 Vol. 67 No. 2 P. 119-130
This paper is a collection of thoughts and observations, being partly a review and partly a report of current research, on recent work in various aspects of Grunbaum colorings, their existence and usage. In particular, one of the most striking significances of Grunbaum’s Conjecture in the 2-dimensional case is its equivalence to the 4-Color Theorem. ...
Added: January 13, 2017
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers Editors: Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales. Springer International Publishing. 2014.
Berlin: Springer, 2014
Graph Structures for Knowledge Representation and Reasoning 2014. Workshop on IJCAI-2014. ...
Added: June 7, 2014
, , , Procedia Computer Science 2017 Vol. 117 P. 175-182
This article describes the development of a free/open-source morphological description of Maltese, originally created as the analysis component in a rule-based machine translation system for Maltese to Arabic and later applied to other tasks. The lexicon formalism we use is lttoolbox, part of the Apertium machine translation platform. An evaluation of the analyser shows that ...
Added: November 10, 2017
, , , Открытые системы. СУБД 2014 № 2 С. 51-53
Популярные сегодня социальные сети в реальном времени работают с гигантскими объемами данных, что требует применения соответствующих СУБД, в частности графовых, однако и среди них нужно отбирать наиболее адекватные поставленным задачам. ...
Added: November 25, 2017
, Прикладная информатика 2017 Т. 12 № 1 (67) С. 16-25
The paper focuses on analyzing development programs for complex organizational and technical systems. Such programs comprise projects and program events linked with each other by relations of precedence. The programs exert influence on maturity of managed objects and have certain financial consequences. Distinctive features of such programs include impossibility of assessment of their results in ...
Added: June 28, 2017
Разработка схемы адаптивного конфигурирования загрузки виртуальных машин на основе аппликативного исчисления информационных процессов
, , , Cloud of Science 2018 Т. 5 № 4 С. 711-720
This paper examines typical scenarios that require limited system resources shared by several virtual machines. Load balancing rules were developed; these are dependent on the information processes performed by the virtual machines. The productivity of these operations is based on types that allow assessment of the entire system productivity. ...
Added: January 30, 2019
, Обозрение прикладной и промышленной математики 2015 Т. 22 № 4 С. 403-409
The probabilistic characteristics of the graph of degrees of equiprobable random mappings. In particular the exact expression of the probability of collision for two random vertices in the graph of degree of random mapping is obtained. ...
Added: April 23, 2016
, , et al., Journal of Computational Biology 2013 Vol. 20 No. 4 P. 359-371
One of the key advances in genome assembly that has led to a significant improvement in contig lengths has been improved algorithms for utilization of paired reads (mate-pairs). While in most assemblers, mate-pair information is used in a post-processing step, the recently proposed Paired de Bruijn Graph (PDBG) approach incorporates the mate-pair information directly in ...
Added: March 21, 2014