iiti-2024/paper_eng_short.tex

% This is samplepaper.tex, a sample chapter demonstrating the
% LLNCS macro package for Springer Computer Science proceedings;
% Version 2.21 of 2022/01/12
%
\documentclass[runningheads]{llncs}
%
\usepackage[T1]{fontenc}
% T1 fonts will be used to generate the final print and online PDFs,
% so please use T1 fonts in your manuscript whenever possible.
% Other font encondings may result in incorrect characters.
%
\usepackage{graphicx}
% Used for displaying a sample figure. If possible, figure files should
% be included in EPS format.
%
% If you use the hyperref package, please uncomment the following two lines
% to display URLs in blue roman font according to Springer's eBook style:
%\usepackage{color}
%\renewcommand\UrlFont{\color{blue}\rmfamily}
%\urlstyle{rm}
%
\begin{document}
%
\title{Forming a rule base for PLM systems}
%
%\titlerunning{Abbreviated paper title}
% If the paper title is too long for the running head, you can set
% an abbreviated paper title here
%
\author{		
	Liliya~Kamaletdinova\inst{1}\orcidID{0009-0006-2929-9757} \and
	Anton~Romanov\inst{1}\orcidID{0000-0001-5275-7628} \and
	Aleksey~Filippov\inst{1}\orcidID{0000-0003-0008-5035} \and
	Nadezhda~Yarushkina\inst{1}\orcidID{0000-0002-5718-8732}
}%
\authorrunning{L. Kamaletdinova et al.}
% First names are abbreviated in the running head.
% If there are more than two authors, 'et al.' is used.
%
\institute{Ulyanovsk State Technical University, Ulyanovsk, Russian Federation
\email{romanov73@gmail.com}\\
\url{https://ulstu.ru/}}
%
\maketitle              % typeset the header of the contribution
%
\begin{abstract}
In production, there are tasks of the integration of a PLM systems and a third-party information system. This system may not be part of the PLM complex, but provides information support for managing production processes. An analyst is currently responsible for carrying out the integration. He must form a structural and process models of the integrated information system to make interaction rules with the system. During the operation process, besides the analyst, there is an operator involved, who performs maintaining the relevance of the integrated information system data and the entire complex, and a decision maker, who performs managing the integrated information system, namely maintaining its operational state.
An approach is to reduce the load both on the analyst, who configures the interaction and display of data, and on the operator, who is involved in ensuring the relevance of data structures, and on the decision-maker, who is involved in making important decisions related to risks in production.
We propose using data-based management by forming a data meta-model of the integrated information system based on the analysis of its storage; mapping of the data of PLM systems and the integrated information system on the enterprise through the use of a rule base for the behavior of the integrated information system.

\keywords{Rule base \and PLM systems \and Data-driven management}
\end{abstract}
%
%
%
\section{Introduction}
As of today, many large manufacturing facilities use PLM systems \cite{Terzi-2010} to manage the product lifecycle. PLM systems are used to control data flows in production, including tasks such as storing, integrating, and maintaining data in each information subsystem within the complex. The data bus plays a key role in this \cite{Menge-2007}. Each complex of systems with a data bus has its own implementation features \cite{Swedenko-2016}. However, the common feature of data bus-based integration is the use of rule-based interaction. To configure the interaction between subsystems, analysts perform the following tasks:  building a model of the information system behavior, identifying key features, forming system behavior rules.

This work considers not only the approach to forming interactions between systems, but also the approach to managing PLM subsystems. There is often a need to integrate a PLM system with an external information system (referred to here as the integrable IS) that is not part of the PLM complex but is involved in tasks related to supporting information for managing production processes. At present, an analyst or decision-maker (DM) performs integrating the two systems. The analyst must create structural and process models of the integrable IS based on which interaction rules with the system are formed. During operation, the analyst’s (DM) tasks include managing the integrable IS, ensuring the data is up to date, and maintaining the system’s operational state. 
\begin{figure}
	\centering
	\includegraphics[width=1.0\linewidth]{figures/interaction}
	\caption{The process of organizing interaction and maintaining a system in a state of operability with human participation}
	\label{fig:interaction}
\end{figure}

It is worth separately considering the process where the interaction between the integrable IS and the entire PLM complex involves the operator. In this process, the amount of work required by the operator for setting up interaction, data display, and maintaining the system’s operational state is considerable. The role of the operator in this process is shown in figure~\ref{fig:interaction}.

The analyst must take into account changes in the data structure of the integrable IS. The operator monitors potential risks associated with ensuring the data matches the PLM complex. The DM makes decisions regarding minimizing possible risks. An approach is proposed that helps reduce the workload on both the analyst responsible for setting up interaction and data display and the operator involved in ensuring the data structure’s timeliness, and the DM making crucial decisions related to potential risks in production.

\subsection{Overview of existing methods and approaches to management}
Currently, approaches to managing production information systems are discussed in the following sources: \cite{Feng-2006,Sudarsan-2005,Alahi-2023,Sacks-2020,Cimini-2020,Hou-2009}. Sources \cite{Feng-2006,Sudarsan-2005,Sacks-2020} suggest using an integrated IS model. These approaches directly depend on the accuracy and completeness of the model, with the model being formulated either by an analyst \cite{Feng-2006,Sacks-2020} or automatically \cite{Sudarsan-2005}, which does not always guarantee the adequacy and accuracy of the model. Source \cite{Feng-2006} presents classical control based on the model of processes and data in the information system, where the role of the analyst is significant. Source \cite{Sudarsan-2005} suggests using a framework for model formation. Despite the fact that the model formation process occurs automatically, the controlling component still depends on the accuracy and completeness of the model. Source \cite{Alahi-2023} proposes using a training sample and unsupervised machine learning. However, depending on the completeness and quality of the data sample, the model of the integrated IS being formed may lead to misinterpretation of the results of control mechanisms forecasting, especially if the data contains errors or is heavily noisy. In source \cite{Sacks-2020}, a digital twins approach is proposed. Despite the advantages of this approach overall, in the context of the set task, namely integration of information systems, data representation, and reducing the workload of analysts, operators, and managers, the digital twins approach requires additional qualitative analysis and building a model of the information system, leading to an increased workload on the analyst.

In source \cite{Cimini-2020}, an approach to human-in-the-loop management is described. The main idea of this approach is complete control of the control system behavior by a human and boils down to supervised machine learning. This approach is the safest in terms of preventing production-related risks, but it is more complex and requires the involvement of managers at all stages of the control system lifecycle, from forming the training sample to monitoring the control system behavior. Therefore, a data-driven control approach is proposed \cite{Hou-2009}. It is assumed to reduce the workload of the analyst and operator by integrating and partially managing the tasks of the production information system with the developed control system. 

To solve the control problem, it is proposed to use a production rule-based model. Classical fuzzy systems are based on the Mamdani approach \cite{Mamdani-1974}. In such systems, there are 2 modules for converting regular data into fuzzy data. The fuzzification module establishes a correspondence between real values of input data and fuzzy values, based on the membership function. On the other hand, the defuzzification module establishes a correspondence between fuzzy values and real values of output data of the subject area. Fuzzy rule bases (systems based on fuzzy rules) are based on the principle of converting crisp values into fuzzy values. In this case, rules represent a set of linguistic terms, and output data is associated with them; for example, a rule may have multiple input data and only a certain value of the output parameter. There are variants of non-classical systems based on fuzzy rules:Hierarchical fuzzy systems \cite{Razak-2021,Zhang-2014,Duan-2001}, Neuro-fuzzy systems \cite{Jang-1991}, Evolutionary fuzzy systems \cite{Komartsova-2011}.

To solve the research problem in data organization, it was decided to combine the hierarchical fuzzy rule base and neuro-fuzzy rule base approaches with a result based on Mamdani fuzzy rules, using an evolutionary algorithm approach for rule formation based on changes in the metamodel. Thus, the rule base will be structured as shown in Figure \ref{fig:kb-structure}.
\begin{figure}
	\centering
	\includegraphics[width=1.0\linewidth]{figures/kb-structure}
	\caption{Structure of the hybrid base with fuzzy logical inference}
	\label{fig:kb-structure}
\end{figure}
According to the diagram, the knowledge base consists of several levels of conditions taking into account possible changes in the metamodel and in the database of the integrated information system, and several levels of consequences forming a clear logical inference based on the linguistic representation of rules in the rule base.

\section{Model of the knowledge base of behavior of the integrated information system} 
According to figure \ref{fig:kb-structure}, the rule base will be represented as a hierarchical structure with two levels of rules. Previously, the authors obtained a structural model of the metadata $M$ of the integrated IS \cite{Kamaletdinova-2024}. Thus, the first level will be represented as rules consisting of linguistic terms and will depend on changes in the meta-model. The second level of rules will be dynamically formed based on the results obtained at the first level.

Let $INP=\{INP_1,INP_2, ..., INP_z\}, z \in N$ be the set of linguistic terms representing the input data of the metadata model $M$, and $OUT= \allowbreak \{OUT_1, OUT_2, ...,\allowbreak OUT_w\}, w \in N$ be the set of linguistic terms representing the key processes of the metadata model $M$. Hence, the rule describing the first level will have a set-theoretic representation as follows: 
\begin{equation} 
		P(INP) \rightarrow \{INP^{OUT_s}\}, OUT_s,
\end{equation}
where $OUT_s$ is a linguistic term reflecting a specific key process of the metadata model $M$, and $\{INP^{OUT_s}\}$ is a set of linguistic terms reflecting the input data for a specific key process of the metadata model $M$.

Let's represent $\{INP^{OUT_s}\}$ as $X$ and $OUT_s$ as $Y$. Table \ref{tab:second_level_rules} shows the input data for the second-level rule, which will be used to generate the final values of the behavior of the integrated IS.

\renewcommand{\arraystretch}{1.3}
\begin{table}[h]
	\centering
	\caption{Tabular representation of the input data for the second level rule}
	\label{tab:second_level_rules}
	\begin{tabular}{|l|l|l|l|l|}
		\hline
		$\mathbf{X_1}$ & $\mathbf{X_2}$ & $\mathbf{...}$ & $\mathbf{X_m}$ & $\mathbf{Y}$ \\ \hline
		$v_1^1$ & $v_2^1$ & ... & $v_m^1$ &$y^1$ \\ \hline
		$v_1^2$ & $v_2^1$ & ... & $v_m^2$ &$y^2$ \\ \hline
		... & ... & ... & ... & ... \\ \hline
		$v_1^n$ & $v_2^n$ & ... & $v_m^n$ & $y^n$ \\ \hline
	\end{tabular}
\end{table}

The columns 1-4 represent the input data values for the key processes of the information system, and column 5 represents the values that are the system's reaction to the input data values.

To form second-level rules of controlling the integrated IS, let's define the following functionality: 
\begin{equation} 
	p(X,V) \rightarrow Y, 
\end{equation}
where $V=\{\{v_1^1,...,v_m^1 \},\{v_1^2,...,v_m^2\}, ... , \{v_1^n, ..., v_m^n\}\}$ - the input values of m parameters $X = \{x_k\}, k=[1,m], m \in N, n \in N$, $Y=\{y^i\}, i = [1,n], n \in N$ - $n$ states of the integrated IS.

The system state $y^i$ is determined by the vector of input values $\{v_1^i, ..., v_m^i\}$. Thus, to form a rule for controlling the system to transition to a state (issuing control actions) $y^i$, it is necessary to include a comparison of the parameter vector $X$ with the values $\{v_1^i, ..., v_m^i\}$ in the rule's antecedent as shown in equation \ref{eq:comparison}.

\begin{equation}
	\label{eq:comparison}
	p^i (X, \{v_1^i, ..., v_m^i\}) \rightarrow y^i.
\end{equation}

During the operation of the integrated IS, there may be situations where different input parameter values lead to the same state $y^i$. In this case, they should be grouped, explicitly specifying the same output state.

To account for uncertainty in input values, fuzzy membership functions of triangular form $\mu_(y^i ) (x^i)$ \cite{Mamdani-1974} will be used. This function of input parameter values $x^i$ inherent in system state $i$ allows for logical inference even when the input value vector contains values that do not precisely match the values used in the rule antecedents.

\section{Algorithm for generating output data based on a hierarchical rule base}
Figure \ref{fig:algorithm} depicts the decision-making algorithm using a hierarchical fuzzy rule base with fuzzy logical inference based on the Mamdani approach \cite{Mamdani-1974}.

\begin{figure}
	\centering
	\includegraphics[width=1.0\linewidth]{figures/li}
	\caption{Decision making algorithm}
	\label{fig:algorithm}
\end{figure}

The algorithm presented in Figure \ref{fig:algorithm} consists of the following steps: 
\begin{itemize}
		 \item Input data, represented as key-value data tuples ($inp1 = 7$) of different types (integer, string, date, and boolean variables), are transformed into linguistic terms represented as $INP=\{INP_1, INP_2, ..., INP_z\}, z \in N$.
	
		\item Using the first level rule base (abstract level rule base) and the transformed input data ($INP$), a logical inference is performed, represented as $\{\{INP^{OUT_s}\}, OUT_s\}, s \in N$.
		
		\item The result of the first level rule execution ($\{INP^{OUT_s}\}, OUT_s$), the original input data (key-value data tuples such as $inp1 = 7$) of different types, and the data base of the integrated IS participate in the dynamic formation of second-level rules (generate key level rule base), whose mathematical representation is given in equation \ref{eq:comparison}.
		
		\item Through fuzzy logical inference (logic inference by Mamdani) based on the Mamdani approach, the result of rule execution ($y^i$) is obtained based on the second-level rule base.
		
		\item In the final stage (generate out), suitable output data are formed as key-value data tuples ($out1 = 7$) of different types (integer, string, date, and boolean variables). The final stage uses the data base of the integrated IS and the result of rule execution ($y^i$) based on the second-level rule base as input data.	
\end{itemize}
Thus, the decision-making process is based on a hierarchical fuzzy rule base with fuzzy logical inference.

\section{Illustrative example of a hierarchical rule base}
As an example, let's consider the rule base obtained based on the information system designed for processing requests, faveo service desk \cite{faveo}. The data metamodel depicted in \cite{Kamaletdinova-2024-2} is shown in Figure \ref{fig:metamodel}.
\begin{figure}[h]
	\centering
	\includegraphics[width=0.8\linewidth]{figures/metamodel}
	\caption{Metamodel of the Faveo information system}
	\label{fig:metamodel}
\end{figure}

Based on the metamodel, a first-level rule base is built, as shown in Figure \ref{fig:rules1}. The first level contains linguistic terms that reflect the dependency of key processes on input data. The input data has been transformed into a linguistic description beforehand.
\begin{figure}
	\centering
	\includegraphics[width=0.8\linewidth]{figures/rules1}
	\caption{Base of rules of the first level of the Faveo information system}
	\label{fig:rules1}
\end{figure}
\begin{figure}
	\centering
	\includegraphics[width=1.0\linewidth]{figures/rules2}
	\caption{Base of rules of the second level of the Faveo information system for the key process ticket\_thread}
	\label{fig:rules2}
\end{figure}
When comparing the figures \ref{fig:metamodel} and \ref{fig:rules1}, differences can be seen between the names of the input entities for the metamodel and the input data presented as linguistic terms in the rule condition. This is because the input data is transformed before forming the first-level rule base. 
When following the link of one of the rules presented in figure \ref{fig:rules1}, a second-level rule base is dynamically formed. Figure \ref{fig:rules2} shows an example of a second-level rule base for the key process ticket\_thread, depicted in figure \ref{fig:metamodel}.
The conditions of the rules contain key parameters with integer values. In the process of fuzzy logical inference, a search for a suitable rule is carried out using the membership function, as a result of which user-friendly data corresponding to the state of the key process with the given input data are generated.
An example of the output result is presented in Table \ref{tab:output}.
\begin{table}[h]
	\centering
	\caption{Result of rule 31}
	\label{tab:output}
	\scalebox{0.7}{
	\begin{tabular}{|p{1.8cm}|p{1cm}|p{2.2cm}|p{7cm}|}
		\hline
		
		\textbf{id} & 31 & \textbf{body} & Ticket have been deleted by Lily Kamaletdinova \\ \hline
		\textbf{ticket\_id} & 9 & \textbf{created\_at} & 2023-11-29 14:27\\ \hline
		\textbf{user\_id} & 1 & \textbf{updated\_at} & 2023-11-29 14:27\\ \hline
		\textbf{format} & 0 &\textbf{reply\_rating} & 0 \\ \hline
		\textbf{source} & & \textbf{is\_internal} & 1 \\ \hline
		\textbf{title} &  & \textbf{ip\_address} & \\ \hline
	 	\textbf{poster} & & \textbf{rating\_count} &   \\ \hline
	\end{tabular}}
\end{table}
Thus, with the given input data, a result is generated that reflects the state of the key process of the faveo service desk information system. This output confirms the feasibility of applying the proposed approach, as the generated result reflects real data when working with the faveo service desk ticketing system, and obtaining the result does not depend on the launch of the integrated information system itself, which is an advantage when displaying data and the parallel operation of the integrated information system with the PLM complex.

\section{Control system of the control complex}
The proposed approach involves using a control system to reduce the time and effort of the operator involved in the control process. The control system (CS) is a software tool that implements the proposed management approach based on data \cite{Kamaletdinova-2024}. Control involves configuration and data exchange, in this case, through the use of the metamodel of the integrated IS and a hierarchical rule base with fuzzy logic inference. The control system acts as an adapter to facilitate the interaction of the integrated IS with the PLM software complex.

Figure \ref{fig:control_system} shows the process of organizing the management of an information system with the involvement of a control system.
\begin{figure}
	\centering
	\includegraphics[width=0.9\linewidth]{figures/control_system}
	\caption{The process of organizing interaction and maintaining the system in a state of operability with the participation of the management system and the decision maker}
	\label{fig:control_system}
\end{figure}
When comparing Figures \ref{fig:interaction} and \ref{fig:control_system}, it is noted that the role of the analyst and the operator is excluded from the control process, their functions are performed by the CS. It is also worth noting that in the management process, there are several conditions in both cases:
\begin{enumerate}
	\item The possible reaction of the integrated IS to input data exists;
	
	\item The influence of the received reaction on the state of the PLM system (the possibility of adding data to the complex without errors and risks to the entire production complex).
\end{enumerate}

Thus, it can be seen that the main task of the CS is to adjust the data of the overall PLM complex without interacting with the integrated information system. The overall percentage of scenarios in which a person should be involved in working with the system without the CS is 85\%, while the total number of scenarios when working with the CS is 18\%. The main task, in the case of using the CS, is to react to errors in generating results from the integrated IS. This results in a 67\% reduction in the role of the decision maker.

\section{Conclusion}
The article presents a data-driven management approach applied to production processes. The approach involves using the data metamodel of an information system and a hierarchical rule base for the behavior of the information system with fuzzy logic inference. The main conclusions are provided, confirming the feasibility of using this approach in tasks related to data representation in information systems and managing information systems to reduce the human factor in organizing control of external systems in production. The tasks are relevant in many production facilities of the Russian Federation, including industrial enterprises in the Ulyanovsk region.

\begin{credits}
\subsubsection{\ackname} This study was supported the Ministry of Science and Higher Education of Russia in framework of project No. 075-03-2023-143 "The study of intelligent predictive analytics based on the integration of methods for constructing features of heterogeneous dynamic data for machine learn-ing and methods of predictive multimodal data analysis".
\end{credits}

\begin{thebibliography}{8}
\bibitem{Terzi-2010}
Terzi S., Bouras A., Dutta D., Garetti M., Kiritsis D. Product Lifecycle Management — from its History to its New Role. International Journal Product Lifecycle Management, 2010, vol. 4, no. 4, pp. 360–389.

\bibitem{Menge-2007}
Menge F. Enterprise Service Bus. Free and Open Source Software Conference, 2007. Available at: https://programm.froscon.org/2007/attachments/15-falko\_menge\_-\_enterpise\_service\_bus.pdf

\bibitem{Swedenko-2016}
Shvedenko V. N., Shchekochikhin O. V. Architecture of an integrated information system that ensures behavioral properties (In russian) // Scientific and technical bulletin of information technologies, mechanics and optics. – 2016. – V. 16. – No. 6. – pp. 1078-1083.

\bibitem{Checkal-2012}
Chekal E. G. Reliability of information systems: textbook: in 2 parts. Part 1 (In russian) / E. G. Chekal, A. A. Chichev. – Ulyanovsk: UlGU, 2012. – 118 p.

\bibitem{Feng-2006}
Feng, Gang. "A survey on analysis and design of model-based fuzzy control systems." IEEE Transactions on Fuzzy systems 14.5 (2006): 676-697.

\bibitem{Sudarsan-2005}
R. Sudarsan, S.J. Fenves, R.D. Sriram, F. Wang, A product information modeling framework for product lifecycle management / Computer-Aided Design 37 (2005) 1399–1411

\bibitem{Alahi-2023}
Alahi MEE, Sukkuea A, Tina FW, Nag A, Kurdthongmee W, Suwannarat K, Mukhopadhyay SC. Integration of IoT-Enabled Technologies and Artificial Intelligence (AI) for Smart City Scenario: Recent Advancements and Future Trends. Sensors. 2023; 23(11):5206. https://doi.org/10.3390/s23115206 

\bibitem{Sacks-2020}
Sacks R, Brilakis I, Pikas E, Xie HS, Girolami M. Construction with digital twin information systems. Data-Centric Engineering. 2020;1:e14. doi:10.1017/dce.2020.16 

\bibitem{Cimini-2020}
Ch. Cimini, F. Pirola, R. Pinto, S. Cavalieri, A human-in-the-loop manufacturing control architecture for the next generation of production systems // Journal of Manufacturing Systems. - 2020. - vol. 54. - pp. 258-271

\bibitem{Hou-2009}
Hou Z.S., Xu J.X. On Data-driven Control Theory: the State of the Art and Perspective. Acta Automatica Sinica, 2009, vol. 35, no. 6, pp. 650–667.

\bibitem{Mamdani-1974}
Mamdani, E.H.: Application of fuzzy algorithms for control of simple dynamic plant. In: Proceedings of the Institution of Electrical Engineers, vol. 121, pp. 1585–1588. IET (1974).

\bibitem{Duckstein-1995}
Duckstein, L., et al.: Fuzzy Rule-Based Modeling with Applications to Geophysical, Biological, and Engineering Systems, vol. 8. CRC Press, Boca Raton (1995)

\bibitem{Razak-2021}
Razak, T.R., Fauzi, S.S.M., Gining, R.A.J., Ismail, M.H., Maskat, R.: Hierarchical fuzzy systems: interpretability and complexity. Indones. J. Electr. Eng. Inform. 9(2), 478–489 (2021)

\bibitem{Zhang-2014}
Zhang, X., Onieva, E., Perallos, A., Osaba, E., Lee, V.C.: Hierarchical fuzzy rule-based system optimized with genetic algorithms for short term traffic congestion prediction. Transport. Res. C: Emerg. Technol. 43, 127–142 (2014)

\bibitem{Duan-2001}
Duan, J.-C., Chung, F.-L.: Cascaded fuzzy neural network model based on syllogistic fuzzy reasoning. IEEE Trans. Fuzzy Syst. 9(2), 293–306 (2001)

\bibitem{Jang-1991}
Jang, J.-S.R., et al.: Fuzzy modeling using generalized neural networks and Kalman filter algorithm. AAAI 91, 762–767 (1991)

\bibitem{Komartsova-2011}
Komartsova L. G. Evolutionary methods for forming fuzzy rule bases. – 2011.

\bibitem{Kamaletdinova-2024}
Kamaletdinova, Lilia \& Romanov, Anton. (2024). Control System Design (In russian). System Analysis \& Mathematical Modeling. 6. 60-77. 10.17150/2713-1734.2024.6(1).60-77. 

\bibitem{faveo}
Faveo Service Desk - URL: https://www.faveohelpdesk.com/servicedesk/?lang=ru (accessed at 1.05.2024)

\bibitem{Kamaletdinova-2024-2}
L. Kamaletdinova, A. Romanov and N. Yarushkina, "Industrial Data-Driven Control," 2024 International Russian Smart Industry Conference (SmartIndustryCon), Sochi, Russian Federation, 2024, pp. 62-67

\end{thebibliography}
\end{document}