=Paper= {{Paper |id=Vol-2608/paper32 |storemode=property |title=Models of information processing optimization for technical interoperability in a network of distributed situational centers |pdfUrl=https://ceur-ws.org/Vol-2608/paper32.pdf |volume=Vol-2608 |authors=Oleksii Kovalenko,Vitalii Vishnevsky,Vladimir Kosolapov |dblpUrl=https://dblp.org/rec/conf/cmis/KovalenkoVK20 }} ==Models of information processing optimization for technical interoperability in a network of distributed situational centers== https://ceur-ws.org/Vol-2608/paper32.pdf
     Models of Information Processing Optimization for
    Technical Interoperability in a Network of Distributed
                     Situational Centers

    Oleksii Kovalenko1[0000-0002-9639-3544] , Vitalii Visnevsky1[0000-0003-2204-0487] , Vladimir
                                Kosolapov1[0000-0002-5264-7872]
          1
              Institute of Mathematical Machines and Systems Problems NAS of Ukraine,
                         Academician Glushkov Av. 42, Kyiv, 03187, Ukraine
              Kovalenko.O.E@nas.gov.ua, vit.vizual@gmail.com,
                         KosolapovVL1953@gmail.com



         Abstract. The problems and directions of development of distributed informa-
         tion services of situational systems are considered. A method for assessment the
         interoperability of distributed situational centers is proposed. The urgency of
         creating a network of distributed situational centers based on convergent tech-
         nological solutions is substantiated. Models and algorithms for providing tech-
         nical interoperability between participants of the process of situational man-
         agement in the network of distributed situational centers have been developed.
         The potential for further improvement of situational management systems for
         strategic planning based on the management (control) of the capabilities of the
         target systems is shown.

         Keywords: system of situational management, network of distributed situ-
         ational centers, convergence of information technologies, interoperability opti-
         mization, system capability


1        Introduction

An urgent issue for the development of information technologies and systems is the
task of creating a Network of Distributed Situational Centers (NDSCs) based on con-
vergent technological solutions. In this regard, it is of particular importance to de-
velop information services for information and analytical systems based on NDSCs to
support and make decisions at different levels of state governance. Developing and
implementing into practice the system of situational centers (SC) for solving public
administration tasks is an integral part of the creation of effective governance systems
for different levels of the country's economic complex.
   Standard ISO/IEC 10746 [1] defines the essential concepts necessary to specify
reference model of open distributed processing (RM-ODP) systems from five pre-
scribed viewpoints. It provides a well-developed framework for the structuring of
specifications for large-scale, distributed systems.

  Copyright © 2020 for this paper by its authors. Use permitted under Creative
Commons License Attribution 4.0 International (CC BY 4.0).
  The framework for system specification provided by ISO/IEC 10746 has four fun-
damental elements:

 An object modeling approach to system specification;
 The specification of a system in terms of separate but interrelated viewpoint speci-
  fications;
 The definition of a system infrastructure providing distribution transparencies for
  system applications;
 A framework for assessing system conformance.

   The RM-ODP framework provides five generic and complementary viewpoints on
the system and its environment:

 The enterprise viewpoint, which focuses on the purpose, scope and policies for the
  system. It describes the business requirements and how to meet them;
 The information viewpoint, which focuses on the semantics of the information and
  the information processing performed. It describes the information managed by the
  system and the structure and content type of the supporting data;
 The computational viewpoint, which enables distribution through functional de-
  composition on the system into objects, which interact at interfaces. It describes the
  functionality provided by the system and its functional decomposition;
 The engineering viewpoint, which focuses on the mechanisms and functions re-
  quired to support distributed interactions between objects in the system. It de-
  scribes the distribution of processing performed by the system to manage the in-
  formation and provide the functionality;
 The technology viewpoint, which focuses on the choice of technology of the sys-
  tem. It describes the technologies chosen to provide the processing, functionality
  and presentation of information.

   In context of ISO/IEC 10746 standard interoperability notion is defined as capabil-
ity of objects to collaborate, that is, the capability mutually to communicate informa-
tion in order to exchange events, proposals, requests, results, commitments and flows
[2].


2      Formal statement of the problem

When implementing the information-analytical process of information processing
during the alternatives preparation and decision-making in NDSC, there is rising the
task to administrate the sequence of information processing and control flows such
that the system of the SC associated with one same problem could provides the neces-
sary level of interoperability in the processes of information, analytical and expert
servicing for participants of situation management processes (PSMP) at a minimum
cost of time. The PSMP set includes experts, analysts, decision-makers, and other
involved stakeholders and sites. The information and analytical process is formed in
the form of an application that determines the need for information resources and
analytical and expert capabilities and time of service of each SC. The convergent
approach involves the composition of heterogeneous components in a single system
[3], ensuring compliance with 12 basic interoperability principles [4]: 1) subsidiarity
and proportionality; 2) openess; 3) transparency; 4) reusability; 5) technological
neutrality and data partability; 6) user-centricity; 7) inclusion and accessibility; 8)
security and privacy; 9) multilingualism; 10) administrative simplification; 11)
preservation of information; 12) assessment of effectiveness and efficiency.
   These basic principles are divided into the following 4 categories:

 Principle setting the context for governance actions on interoperability (1st
  principle);
 Core interoperability principles (2nd to 5th principles);
 Principles related to generic user needs and expectations (6th to 9th principles);
 Foundation principles for cooperation among public administrations (10th to 12th ).

   A heterogeneous network of SCs is considered. Let M be the set of users (PSMP)
of NDSC; n is the number of SCs (in our case, |M| > n, that is, multi-user and content-
different nodes of monitoring and analysis of the information being processed (eco-
nomic, environmental, military, etc.); ck is estimation of the k-th user information
needs (kM); Ri is the bandwidth estimation of the i-th SC of the NDSC; Pij – the
flow of information redistribution among i-th and j-th SCs (i, j=1,2,…,n) in the net-
work; q is the maximum permissible information flow among two SCs.
   We introduce a variable

          1, if the k  th user is served by the i  th SC of the NDSC, i  1,..., n
    xki                                                                             .
                                         0, otherwise

   The formalized view of the model for actual loading Hi of the i-th SC (i=1,2,…,n)
in NDSC during of user’s servicing in NDSC is as follows:

                               H i  max  ck xki  min ,                                 (1)
                                          i
                                              kM


                                 ck xki  Ri , i  1,2,..., n ,                          (2)
                                kM


                                      1 n
                                         xki  1, k  M ,
                                      M i 1
                                                                                          (3)

                                 
                      Pij xki , xkj  q; k  M ; i  j; i, j  1,2,..., n .               (4)

   Condition (2) expresses the limitation on bandwidth information of the i-th SC,
condition (3) is a requirement of obligatory service of all users (PSMP) and belonging
of the user to the service group of local SC, condition (4) regulates the service flows
between users (PSMP) of NDSC .
   The problem in statement of (1) - (4) is the problem of zero-one integer program-
ming (Boolean integer programming). To solve problem (1) - (4), an algorithm is
proposed that implements the search method with local optimization [5], which al-
lows one to obtain a solution of problem (1) - (4) with acceptable accuracy for practi-
cal operation of the NDSC.


3      Literature review

The problem of efficient distribution of tasks in automated computer systems (ACS)
network was considered in other works by Glushkov [6], Morozov [7] and others.
NDSC is a development and extension of the concept of ACS network to date. One of
the key mechanisms for the effective functioning of NDSC is to ensure interoperabil-
ity among its constituents.
   According to the definition of interoperability in accordance with ISO/IEC 24765
[2] and the interoperability framework (EIF) adopted at the EU [4], the basic level of
interoperability is technical interoperability (Fig. 1).




                          Fig. 1. Four levels of interoperability

   On the basis of the EIF [4] the European Interoperability Reference Architecture
(EIRA) was developed [8]. Various aspects of interoperability have been considered
in [9-13].


4      Models of optimization of technical interoperability

4.1    Model of optimization of loading of NDSC
The paper proposes models and algorithms for providing technical interoperability
between PSMPs in NDSC. Consider the problem of PSMP service in a distributed
system, which can consist of several local (regional) SCs and aimed at solving various
content problems. As a rule, when organizing the interaction of many SCs, appropri-
ate expert assessments and calculations of their loading are conducted in order to
serve the needs of the PSMP in a timely manner. However, over time, uploads can
change significantly (for example, through the introduction of new tasks and man-
agement information flows), and NDSC will not be able to meet PSMP requirements
at the right time and volume. The challenge is to redistribute the load of NDSC in
order to ensure a uniform load on organizational, human and technical and informa-
tion resources for timely and qualitative decision-making in SCs that cater to PSMPs
at various levels.
    The outputs for solving problem (1) - (4) are formed in the form of matrix A. The
rows of the matrix represent the estimation of information needs of PSMPs served by
the NDSC. The columns of matrix A are the actual loading of the NDSC, i.e. Hi
(i=1,2,…,n).
    The algorithm for solving the problem of customer service in NDSC is presented in
the form of the following five steps.
    Step 1. If all the columns of matrix A are revised, then proceeds to step 5. Other-
wise go to the next step. In the analysis, matrix A is searched for the column with the
maximum sum of rows, that is, with the maximum load of a specific SC. Let such a
column be the column i. The next step is to fix an area of three columns i, i+1, i–1
(i=1,2, ...,n). If i + 1 or i–1 do not exist (for finite elements), then the column i neigh-
borhood will be truncated.
    Step 2. In the i-th column there is a non-zero element сkхki and the possibility of
shifting this element to the right or left according to conditions (2) - (4) is checked. If
such shifts are possible, they are executed. To remember the movements of elements
of matrix A in the next step of the algorithm (in order to determine possible move-
ments in the next step) is an auxiliary matrix B, which elements are numbers from the
set (–1, 0, 1). Initial values of matrix elements are equal 0. When moving the element
сkхki to the location of the element сkхki-1, the еki element of the matrix B takes a value
of –1, when moving the сkхki to the location сkхki+1 the еki element takes the value +1,
otherwise the value of the еki element remains equal to 0. If the following iterations of
the algorithm necessitate the displacement of some element сkхki-1 of matrix A in
place of the element сkхki, and the element –еki of matrix B has a value of –1, as well
as the need to move the element сkхki+1 of matrix A to the location of the element
сkхki, and element –еki of matrix B is +1, then these movements are not made and go to
row k +1 of matrix A.
    Step 3. In this step, check which of the three options (original and two received)
gives the best result by criterion (1). If the shift was possible only to the left or only to
the right, then both variants are subject to verification – initial and obtained. If, at the
m-th iteration, it is found that Hiт=Him-1, then the process is completed and Hт is taken
as an approximate solution for column i. The corresponding changes are made to
matrix A, matrix B and vector H = {Hi} (i=1,2,...,n). Thus, the i-th column is excluded
from consideration and proceeds to step 1 of the algorithm. Otherwise, step 4 is per-
formed.
    Step 4. Go to row k+1 of matrix A and step 2 of the algorithm. If all rows was re-
viewed, then the process ends, the value of Hik is taken as an approximate solution for
the problem with resolved column i and the corresponding changes are made to ma-
trix A, matrix B and vector H = {Hi} (i=1,2,...,n). Thus, the i-th column is excluded
from consideration and step 1 of the algorithm is performed.
    Step 5. After all the columns of matrix A have been revised, the solution of prob-
lem (1) - (4) ends. A new pin has been obtained for users in the local SC.
    The above algorithm for solving problem (1) - (4) of servicing the PSMP in the
NDSC is finite due to the finite number of SCs in the network.
   The results for the 9-node loading redistribution algorithm for the first 5 iterations
are presented in Fig. 2. The graph number in the diagram corresponds to the iteration
number. The horizontal axis shows the numbers of the NDSC nodes, along the verti-
cal axis the volume of nominal information flow for a specific decision making on a
given problem, which should be processed within the regulated time limit.




        Fig. 2. Results for 5 iterations of loading redistribution for NDSC with 9 nodes

   Thus, the algorithm for solving the problem (1) - (4) of optimization of loading for
NDSC based on zero-one programming allows to increase qualitatively the level of
information service of users in the NDSC and thereby to increase the efficiency of its
functioning. This example is a prototype of PSMP servicing in NDSC by different
criteria and experts assessments in the relevant monitoring and analysis areas stored
in distributed data warehouses.


4.2    Model of minimization of servicing time in NDSC

When implementing the information-analytic process of information processing for
downloading the corresponding SC, the task of managing the sequence of processing
of information and control flows arises, so that the complex of SCs provides the max-
imum convenience of information, analytical and expert service to users (PSMP) with
the minimum time consuming [7]. Such a problem is dual to the primal problem dis-
cussed above. The information-analytical process is formed as request that defines the
need for information resources and analytical and expert capacities and time of ser-
vice in each local SC. Such a task is formulated as follows.
   Consider the common distributed information resource of the NDSC, which exists
in n SCs А1, А2,..., Аn, which can provide various information, analytical, expert or
forecast (foresight) services. The SC system executes some request for information,
analytical or expert service for PSMP. An request is considered serviced if it is ser-
viced by each local system SC sequentially, starting with SC of A1. Suppose that the
time of service of an application in the i-th SC is an independent random variable with
a distribution function F i t  and a distribution density t t   F i t  . The system
works like this. The request is serviced at SC A1 as soon as it arrives. At the time of
arriving of request to SC A2 there are two possible cases:
    1) the application was serviced by SC A1 earlier than SC A2 was involved and is
awaiting response from SC A2. This pays some fine for a delay of request servicing;
    2) the application was serviced by SC A1 later than the request was sent to SC A2,
that is, SC A2 is awaiting the completion of servicing of the request in SC A1. In this
case a fine is paid for a delay of SC A2. In this way, interaction between other SCs is
performed.
    Obviously, the fine fi is a random variable. It is necessary to determine such mo-
ments x1, x2, ..., xn of switching on of SCs А2,, А3,..., Аn, that the mathematical expec-
tation of the total fine (penalty) equal to the sum of fines paid due to the discrepancy
of moments xi of switching on of the i-th SC with the moment  i 1 of termination of
service of the request in the i-th SC was minimal.
    Let  be the unit cost of idle time of request and let  be the unit cost of idle
time of Situational Center. Then the penalties related to the discrepancy between mo-
ments xi of switching on and moments i1 of termination of service of the application
in (i–1)-th SC are determined as follows:

                                                  x2  1 ,1  x2
                                 f1 1 , x2                        ,                    (5)
                                                  1  x2 ,1  x2

  where 1   1 ,

                                                    x   2 , 2  x3
                                 f 2  2 , x3    3                     ,                (6)
                                                     2  x3 , 2  x3

  where  2  max1 , x2    2 ,

                                                     x   n1 , n1  xn
                             f n1  n1 , xn    n                         ,            (7)
                                                     n1  xn , n1  xn

  where  n1  max  n2 , xn1    n1 ,


                                                                                   
                                                  x2
                     Mf1 1 , x2       F u1 du1   M   x2 , 1
                                                                                            (8)
                                                   0


                                   x u                                         
                                                                          
        Mf 2  2 , x3          F u1  2 u2  u1 du1   M   x2 du 2  
                                      3   3


                                      
                                   x x
                                                                                
                                                                               1`
                                      2   2                                            ,   (9)
                              x
                                                    
           M   M    F u1 du1  x3 
                                 2


                 1       2
                              0                    
                                x u u                                             
      Mf 3 3 , x4           F u1  2 u2  u1 du1 3 u3  u2 du2 du3 
                                          4        3   2



                                   
                                x x x
                                                                                    
                                          3        3   2                            
                                                                                              ,      (10)
                                   x                 x  u                                
         M   M   M    F u1 du1     F u1  2 u2  u1 du1 du 2  x4 
                                                   2                       3       2



              1       2              3                 
                                                      x x
                                                                                           
                                   0                                      2      2        

                                  x  u                               
  Mf n1  n1 , xn         ...  F u1  2 u2  u1 du1 ...du n1 
                                           n               2



                                     
                                 x  x
                                                                       
                                          n 1             2           
                                                                                                . (11)
                             x                 x  u                                      
     M   ...  M    F u1 du1    ...  F u1  2 u2  u1 du1 ...du n2  xn 
                                  2                             n 1           2


          1               n
                                                                                          
                                                x  x                               
                             0                                 n2            2
                                                                                              

   The total fine is equal

                                                   F x    Mf i 1  i 1 , xi                  (12)
                                                               i 2


   The use of the classical approach to minimize the function F(x) is due to the need
to calculate multiple integrals and the value of the laws of distribution Fi t  , which is
not always possible. However, these difficulties can be eliminated by using methods
of stochastic programming [14], in terms of which we formulate the problem. The
problem is to find the minimum of function

                                                           F x   Mf  , x                       (13)

   under condition

                                               xi+1  xi  0, i = 2,3,…, n ,                         (14)

   where

                               f  , x      xi   i 1      j 1  x j                 (15)
                                                       iI                             jJ


   moreover

                                   i  max i 1 , xi    i , i  2,3,..., n .

   We note that function (15) is convex with respect to xi for fixed  i 1 .
   Problems (13) - (15) are a special case of the stochastic programming problem. To
solve them, a stochastic quasi-gradient projection method [14] can be used, which is
described by the procedure

                                                                      
                      xis 1   x x s   sWi s , s  0,1,..., i; i  2,3,..., n ,                  (16)
   where s is the iteration number; X is the projection area intersected by the con-
straints of (14);  x   is an operator that maps each point x  R to a point
 x x   X so that x   x x   y  x
                                          2            2
                                                           for any yX;  s is a step multiplier; Wi s is
                                                                         
a random vector such that M Wi s xi0 , xi1 ,..., xis  FxA xis , s  0,1,..., i; i  2,..., n , where
F x   is the gradient (generalized gradient) of the function F(x). The sequence
    x
     A
         i
          s


x , s  0,1,..., i , conditioned by procedure (16), converges with probability 1 to the
    i
     s


solution of problems (13), (14).
   The computational scheme for solving the problem is formalized as follows. Let xs
be given on the s-th iteration (initial x0 is given). The following steps are required to
obtain the (s + 1)-th approximation.
   Step 1. Observe the implementation of xis of the value хi.
  Step 2. Calculate the vector Wi s .
  Step 3. As a result of performing a design operation on the                                       area
X  xi : xi  xi 1  0 , the following approximation is determined as follows:

                                                           
                   xis 1  max 0, max xis1; xis   sWi s , s  0,1,..., i; i  2,3,..., n .

   The above algorithm is easy to implement and does not depend on the type of law
of distribution of random service time of the PSMP application.
   It is convenient to use the value of the smoothed mean

                                                                         
                                    Z s 1  Z s  1 / W s f  s , x s  Z s ,

   which is an estimate of the mathematical expectation of a random function
    
 f  s , xs .  
   The algorithm defined for managing the load on the SC is thus an effective tool for
managing the NDSC in order to provide maximum convenience in the implementa-
tion of information, analytical and expert services to PSMP with minimization of
information processing time.


5             Conclusion

   Proposed models allow to solve the problems of technical interoperability in terms
of ensuring efficient loading and minimizing the time of servicing applications in
distributed information systems by resolving the primal and dual problems of mathe-
matical programming.
   To resolve the primal problem, the use of the zero-one integer programming meth-
od is justified and an algorithm for its implementation is proposed. To resolve the
dual problem, the use of stochastic programming method is justified and an algorithm
for its realization is proposed. The algorithm defined for managing the load on the
SCs is thus an effective tool for managing the NDSC in order to provide maximum
convenience in the implementation of information, analytical and expert services to
PSMP with minimization of information processing time.
   Proposed models of technical interoperability support and algorithms for managing
the information and analytical environment of NDSC create opportunities for further
improvement of systems for strategic planning based on the capabilities management
of complex situational systems.


       References
 1. ISO/IEC 10746-2:2009 – Information technology — Open distributed processing —
    Reference model: Foundations. https://www.iso.org/ru/standard/55723.html
 2. ISO/IEC 24765:2017 – Systems and Software Engineering – Vocabulary.
    https://www.iso.org/standard/71952.html
 3. Kovalenko, O. E.: Compositional convergence of information technologies in systems of
    situational management based on the knowledge domain model. Mathematical modeling in
    economy. 2 (15), 39-44. (2019). doi: 10.35350/2409-8876-2019-15-2-40-45
 4. New European Interoperability Framework (EIF). ISA² - Interoperability solutions for
    public administrations, businesses and citizens. https://ec.europa.eu/isa2/eif_en
    https://ec.europa.eu/isa2/sites/isa/files/eif_brochure_final.pdf
 5. Zabrodskiy, V.A., Skurikhin, V.I.: Optimization of the functioning of the enterprise ACS.
    Vyshcha Shkola, Kiev (1978) (In Russian)
 6. Glushkov, V.: Introduction to ACS, 2-nd ed. Tekhnika, Kiev (1972) (In Russian)
 7. Morozov, A.O., Kosolapov, V.L., Otrishko, A.V.: Means of information service of objects
    of intellectual property. Mathematical Machines and Systems. 3: 136-147 (2002). (In
    Ukrainian)
 8. European Interoperability Reference Architecture (EIRA). ISA² - Interoperability solutions
    for          public         administrations,          businesses      and          citizens.
    https://joinup.ec.europa.eu/asset/eia/description
 9. Koulou, A., Zemzami, M., El Hami, N., Elmir, A., Hmina, N.: Optimization in
    collaborative information systems for an enhanced interoperability network. Int. J. Simul.
    Multidisci. Des. Optim. 11, 2 (2020) doi: 10.1051/smdo/2019021
10. Leal, G., Guedria, W., Panetto H.: A semi-automated system for interoperability
    assessment: an ontology- based approach. Enterprise Information Systems. 14 (3), 308-
    333. (2020). doi: 10.1080/17517575.2019.1678767
11. Guédria, W., Naudet, Y., Chen, D.: Maturity Model for Enterprise Interoperability.
    Enterprise Information Systems 9 (1), 1–28. (2015). doi:10.1080/17517575.2013.805246
12. Gabriel da Silva Serapião Leal, Wided Guédria, Hervé Panetto: Interoperability
    Assessment: A Systematic Literature Review. Computers in Industry. 106, 111-132. (April
    2019). doi:10.1016/j.compind.2019.01.002
13. Khisro, J., Sundberg, H.: Enterprise interoperability development in multi relation
    collaborations: Success factors from the Danish electricity market, Enterprise Information
    Systems, (2018). doi: 10.1080/17517575.2018.1528633
14. Yermolyev, Yu.M.: Methods of stochastic programming. Nauka, Moscow (1976). (In
    Russian)