?
An algorithm of automatic workflow optimization
Programming and Computer Software. 2012. Vol. 38. No. 1. P. 43–56.
Kalenkova A.A.
This paper considers an algorithm of automatic workflow optimization that, unlike well-known redesign algorithms for workflows [1, 2], can analyze arbitrary structures containing conditional branches and cycles. This algorithm operates with workflows without structural conflicts and, in the course of operation, uses execution conditions obtained as a result of application of the Boolean verification algorithm (BVA) proposed earlier in [3]. A modified BVA is proposed and its computational complexity is estimated.
Language:
English
Gordin V. A., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Statistical evaluation of three-dimensional auto- and cross-correlation functions for increments from the first guess was performed to interpolate the complex forecast (postprocessing) of geopotential height and temperature to regular grid points. The forecast fields from the ICON model were used as the first guess. Positive definiteness was provided in the evaluation. The verification of the ...
Added: February 17, 2026
Stepanyants V., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Transportation systems are complicated and deal with significant problems. With the pool of possible solutions being wide, extensive transportation planning has to be involved. However, planning based on expert opinions is significantly limited in terms of rapidity, accuracy, and confidence. Computer-aided design and automated decision-making systems are the next step to ensure transportation system development ...
Added: October 3, 2025
Poplavsky E., Kuznetsova A., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
This paper presents an analysis of a new method for retrieving the parameters of the atmospheric boundary layer in hurricanes. This method is based on the approximation of the upper parabolic part of the wind speed profile and the retrieval of the lower logarithmic part. Based on the logarithmic part, the friction velocity, near-surface wind ...
Added: December 10, 2024
Mikhail Romashikhin, Romanov A., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.
This article describes a hardware and software complex for prototyping networks on a chip (NoCs) using multiple FPGAs. The rationale for using FPGAs to verify the RTL model of NoCs is given. The necessary software has been developed to automate the generation of configuration files (bitstream) for FPGA. The software divides the description of the ...
Added: June 13, 2024
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Multi-party agreements are used in distributed ledger systems and blockchain networks to reach an agreement on changes in the system. When one of the network participants proposes a transaction to be recorded, it should be first confirmed by certain network participants. A multi-party agreement or consensus determines who exactly these participants are. Based on the ...
Added: October 9, 2023
Fedotov I., Anton Khritankov, Barger A., , in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM).: NY: Association for Computing Machinery (ACM), 2022. P. 100–105.
Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions. Hyperledger Fabric framework exposes a multi-party consensus, based on endorsement policy protocol, to reach a consensus on a transaction. In this paper, we define the problem of verification of a blockchain multi-party consensus with ...
Added: September 20, 2022
Evtushenko N. V., Burdonov I., Kossachev A. et al., SCITEPRESS – Science and Technology Publications, 2021.
Software Defined Networking (SDN) devices (e.g., switches) route traffic according to the configured flow
rules, and thus a set of virtual paths gets implemented in the data plane. We propose a novel preventive approach
for verifying that no misconfigurations (e.g., infinite loops), can occur given the requested set of paths.
Such verification is essential since when configuring a ...
Added: October 25, 2021
AlTurki M. A., Kirigin T. B., Kanovich M. et al., , in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021.: SciTePress, 2021. P. 43–54.
Abstract: Development of automated technological systems has seen the increase in interconnectivity among its components. This includes Internet of Things (IoT) and Industry 4.0 (I4.0) and the underlying communication between sensors and controllers. This paper is a step toward a formal framework for specifying such systems and analyzing underlying properties including safety and security. We ...
Added: October 18, 2021
SciTePress, 2021.
The International Conference on Information Systems Security and Privacy provides a meeting point for researchers and practitioners, addressing the security and privacy challenges of information systems from both technological and social perspectives. The conference welcomes papers of either practical or theoretical nature, and is interested in research or applications addressing all aspects of security and privacy, ...
Added: October 18, 2021
Gnatenko A., Zakharov V., Системная информатика 2020 Vol. 17 P. 21–32
Sequential reactive systems such as controllers, device drivers, computer interpreters operate with two data streams and transform input streams of data (control signals, instructions) into output streams of control signals (instructions, data). Finite state transducers are widely used as an adequate formal model for information processing systems of this kind. Since runs of transducers develop ...
Added: November 9, 2020
Yenigün H., Nina Yevtushenko, Cavalli A. R., Software Quality Journal 2019 Vol. 27 No. 2 P. 497–499
Testing is one of the most frequently used techniques in practice to assure the quality and thereliability of software systems. It is used not only during the development of such systemsbut also during their operation. Over the last years, new testing technologies appeared forchecking both functional and non-functional requirements of systems. Application areas ofthese technologies ...
Added: October 31, 2019
Babkin E., Malyzhenkov P. V., Ivanova M. et al., International Journal of Information System Modeling and Design 2019 Vol. 10 No. 1 P. 1–19
For over a decade IT-business alignment has been ranked as a top-priority management concern, but there is little research on practical ways to achieve the alignment. EA development is a continuous iterative process, which implicitly ensures the achievement of a specific IT-business alignment level. Therefore, it is necessary to formalize the requirements for architecture and ...
Added: August 8, 2019
Springer, 2018.
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.
The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as ...
Added: November 12, 2018
Ermakova V., Lomazova I. A., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115–136
Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Multi-agent systems are highly concurrent. Verification of such systems with model ...
Added: October 21, 2016
М., Зеленоград: ИППМ РАН, 2016.
отсутствует ...
Added: September 27, 2016
Lomazova I. A., Ermakova V., , in: CEUR Workshop ProceedingsVol. 1591: Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings.: CEUR Workshop Proceedings, 2016. P. 93–112.
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has ...
Added: June 28, 2016
CEUR Workshop Proceedings, 2016.
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Added: June 27, 2016
Alexander I., Kozhevnikov Anatolij, Tumkovskiy Sergej, , in: 2016 International Siberian Conference on Control and Communications (SIBCON). Proceedings.: M.: HSE, 2016. P. 1–4.
Three methods of operational amplifier (Op amp) slew rate verification are considered. These methods are illustrated through the example of SPICE macro models of Op amp LMH6642 by Texas Instruments and ОР37 by Analog Devices. ...
Added: June 8, 2016
Botchkarev A., Вестник Нижегородского университета им. Н.И. Лобачевского 2016 № 2 С. 192–199
No study of meaning is possible without recourse to knowledge. In this context, semantics should first at all define what particular type of knowledge should be used in interpretation - an objectified in public practice taxonomic knowledge or alternatively opinions and views, witch are not always reliable. Obviously we would not be able to find ...
Added: February 16, 2016
Konnov I. V., Podymov V.V., Volkanov D. Y. et al., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 534–542
To verify realtime properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of realtime systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchical Timed Automata. Since the model language of UPPAAL is based on Networks of Timed ...
Added: September 29, 2015
Минченко О. С., Вопросы государственного и муниципального управления 2014 № 4 С. 136–152
В статье рассматриваются проблемы, связанные с отсутствием в законодательстве Российской Федерации четкого определения таких базовых государственных функций, как "государственный контроль", "государственный надзор" и "разрешительные функции государства". Соответствующие понятия не разграничены надлежащим образом и во многом дублируются.
На основании проведенного анализа нормативно-правовой базы, регламентирующей контрольно-надзорные и разрешительные функции государства, а также научных источников, посвященных указанной проблеме, авторами ...
Added: March 1, 2015