Abstract
Recently, intuitionistic fuzzy pairs have been used as uncertainty estimations of the request services in service systems. In the present paper, three intuitionistic fuzzy characterizations of virtual service devices are specified: intuitionistic fuzzy traffic estimation, intuitionistic fuzzy flow estimation and intuitionistic fuzzy estimation about probability. Discussed herein are two approaches to the intuitionistic fuzzy estimation of the uncertainty of compositions of services. One of the approaches is based on the definitions of the intuitionistic fuzzy pairs for one service device. The other approach is based on the aggregation operators over intuitionistic fuzzy pairs. A total of six intuitionistic fuzzy estimations of the uncertainty of comprise service device are proposed. The proposed uncertainty estimations allow for the definition of new Quality of Service (QoS) indicators and can be used to determine the quality of service compositions across a wide range of service systems.
Keywords:
traffic quality; service composition; intuitionistic fuzzy pairs; intuitionistic fuzzy sets MSC:
03E72; 68M10
1. Introduction
Quality of Service (QoS) in service compositions is an important criterion for the selection of services in the process flow in order to maintain a certain level of quality. The QoS of a composition of services can be considered as a complex service provision scheme where the service cost varies depending on its partnership with another service [1]. In [2], the design and implementation of QoS-aware and adaptive frameworks for service compositions are developed. The focus is on self-optimization through which the composite services seek to restore and maintain their QoS levels. A survey of QoS-aware service composition is conducted in [3]. The composition of several services represents a new service. The embedded services may share similar functionality but different QoS. Therefore, it is important to define and derive QoS of the various compositions of services. Web service composition issues are considered a significant area of research for selecting the appropriate web services that provide the expected QoS and attain the clients’ Service Level Agreement (SLA, see [4]). A model that helps the selection and composition of web services through minimization of the number of integrated services is proposed in [5].
The Service Quality Agreement (SQA) is a formalized program to monitor, measure and set targets that are intended to satisfy customers and service providers. In the standardization SQA documents of ITU-T and ETSI, in force, the uncertain service results are not considered, but service compositions are foreseen [6]. On the other hand, service termination due to an uncertainty reason and/or uncertainty service result is not rare (e.g., ‘abandoned service’). In greater detail, we herein consider the definitions and usage of intuitionistic fuzzy characterization of the traffic of service requests and methods for intuitionistic fuzzy estimation of service compositions. The importance of the intuitionistic fuzzy approach for the Fourth Industrial Revolution is discussed in [7]. To the best of our knowledge, the approach to the representation of uncertainty in the service of requests proposed in [8] and further developed in [9,10], and in the present paper, is a novel one that outlines a prospective area of research.
The problem regarding the representation of uncertainty in the service of requests is studied in [8] where the apparatus of the Intuitionistic Fuzzy Sets (IFSs, see [11]) is proposed as an approach to quantifying the uncertainty. The problem is further studied in [9], where three IF characterizations of uncertainty of the service of requests are proposed: IF flow, IF traffic and IF time characterizations. The advantages of using Intuitionistic Fuzzy Pairs (IFP, see [12]) are illustrated in the case of a consecutive composition of two services. In [10], IF estimation of a parallel composition of services is obtained.
In the present paper, the intuitionistic fuzzy estimations of the uncertainty of a service device are specified and their analytical expressions are derived. A total of two approaches to the estimation of uncertainty of comprise service devices are discussed. The first approach is based on the definition of intuitionistic fuzzy estimations of a single service device. It has been applied to a parallel composition of two services in [10] and analytical expressions of the degrees of membership, non-membership and uncertainty of the composition are expressed through the corresponding degrees of the embedded devices. The second approach described in the present paper is based on the aggregation operators on IFPs. A new aggregation operator is also defined.
The two approaches are important for the estimation of traffic quality in complex service systems and in particular in overall telecommunication systems consisting of a large number of embedded service devices on several levels.
2. Preliminaries
In the present paper, the overall approach described in [8] is used for the conceptual modeling of service systems. It is based on the notion of base virtual service devices.
2.1. Service Modeling Virtual Devices
Different types of virtual service devices are used similar to those used in the modeling language GPSS [13], Generalized Nets [14] and Petri Nets [15]. Their graphical representations are shown in Figure 1.
Figure 1.
Virtual devices.
Every base virtual device type is characterized by a specific function (see [8]):
- Director—used to show the next device to which the requests are tranferred. It does not delay, change or transfer the requests.
- Terminator—removes from the model every request that has been tranferred to it.
- Server—models the delay in the service of requests. It does not remove or generate requests. It is also used to model time and traffic characteristics in the process of servicing of requests.
- Switch—for every request transfer it receives, it selects one exit. In this way, it determines the next device to which the request is transferred.
- Split Transition—eliminates from the model an incoming request and simultaneously generates (inducts) two different analogous (similar) requests.
- Assemble Transition—eliminates simultaneously the two incoming requests and generates (induces) a different analogous request.
- Causal device—represents the causes of a service ending, e.g., successful (carried) or not (interrupted, abandoned, etc.).
- Fictive device—represents fictive traffic used for engineering purposes (e.g., device dimensioning).
2.2. Naming System for the Devices and Their Parameters
According to the principles of structured programming (see [16]), we assume that each block-schematic representation, according to the above-mentioned information, can be decomposed to virtual devices (with the exception of the transitions) which have only one entrance and one exit and do not contain any other virtual devices (see Figure 2).
Figure 2.
Virtual device parameters.
2.3. Causal and Intuitionistic Fuzzy Traffic Classification
In the papers [8,10], causal and intuitionistic fuzzy traffic characterization is proposed (see Figure 3).
Figure 3.
Causal and intuitionistic fuzzy traffic classification.
In the papers [8,17], the notion of generalized comprising causal device is used. It encompasses the causes of service ending and the corresponding causal devices. It is shown that only three causal traffic qualificators are sufficient to represent the service of requests: “parasitic”, “carried” and “served” (see [18]). For completeness, the meaning of each qualificator is given below (see [17]).
In a pool of resources, the traffic that is not successfully served is referred to as parasitic traffic. Usually, the parasitic traffic does not result in a useful service execution, but it always occupies real resources. The qualifier “uncertain” is used in the present paper as a more adequate term from the analyzer’s point of view.
In a pool of resources, the succesfully served traffic that is consequently carried to the next device is referred to as carried traffic.
The served traffic in a pool of resources is any traffic occupying (using) resources in the pool. It must be mentioned that the served traffic is the sum of the carried and parasitic traffic.
There are two additional and important traffic characterizations that warrant explanation. These are not served traffic and offered traffic.
In a pool of resources, the traffic that does not occupy any resources is called not served traffic. For example,‘blocking’ due to a lack of service places in the pool [18]. The intensity of the not served traffic is a product of the flow intensity of the not served requests and the mean service time of the served requests.
In a pool of resources, the sum of the served and not served traffic intensities is called offered traffic.
A naming system is proposed in [17] for the devices’ parameters names. According to this naming system, the name of the parameter is a concatenation of one or two qualifiers, one of the symbols and the name of the device:
Causal name = <qualifier><qualifier>.<Parameter’s Symbol>.<Device Name>.
Some of the used qualifiers are:
- crr. = carried;
- nsr. = not served;
- ofr. = offered;
- prs. = parasitic;
- srv. = served.
‘Parameter’s symbol’ is one symbol used to denote the parameters, i.e., . The qualifiers are used to characterize the parameters of the devices. The number of qualifiers used to characterize a particular parameter can be two, one or zero. When the parameter symbol is absent, it is assumed that the causal name is the name of a device (see Figure 3).
In the names of the devices, only small or subscript letters are used. For example, is the flow intensity of the served requests of the device x (see Figure 3). In the graphical representations, only the names of causal devices can be present. The names of the device parameters are implicit.
A conceptual model of a service network portion ‘x’ is shown in Figure 3. Let the embedded virtual device have a limited capacity. Because of the limited device capacity, requests are rejected when there are no service places. It is important to note that the device does not belong to the service device. In fact, it is a part of the comprise fictive device which is used for dimensioning and traffic estimation. Moreover, three more characterizations of the service of requests should be specified:
- successful—a service that is part of a fully completed target service (qualifier );
- not successful (abortive)—a service that has not finished all service stages (with no final result) or has received a random denial (qualifiers , ).;
- uncertain—is a service which has passed all service stages with partial, unclear, etc., results (qualifier ).
For the qualifier , a more detailed explanation is needed. It is used when the reasons for the parasitic load cannot be determined explicitly. Some possible reasons are:
- Abandonment/Failure by the users.
- Unsatisfying terms of service according to the users’ opinion.
- Technical (objective) reasons—electricity failure, equipment failure, etc.
- Preempted—overtaken by a higher priority request.
In the case of uncertain service, it is assumed that the service of the requests is terminated.
2.4. General Assumptions
The following assumptions should be stated explicitly.
Assumption 1 (A1).
Each service device performs only the operations described in Section 2.1 and there are no hidden operations or effects.
Assumption 2 (A2).
In all models studied in the present paper, the modeled system is considered to be in a stationary state. This allows for the Little’s theorem (see [19]) to be applied to every virtual device, i.e.,:
where if t is the length of the time interval in which the mean values of the parameters are considered, then
Equation (1) is invariant with respect to the probability distributions of the parameters.
Assumption 3 (A3).
Every request is serviced by every device independently from the rest of the requests in the model.
Note 1. With regard to the servicing of requests in a buffer and in the case of managing feedback, all dependencies are represented explicitly in the graphical, mathematical and text representations of the models.
2.5. Basic Types of Parameters in the Intuitionistic Fuzzy Classification of the Traffic
2.5.1. Partial Parameters
The systematic introduction of new useful indicators requires a development of the concept of partial parameters of the service devices. The partial time has already been used as a Quality of Service (QoS) indicator while the other partial parameters have been used in [17]. Partial parameters for intuitionistic fuzzy estimations are used in the paper [9].
Let us consider an arbitrary virtual device denoted by x with one entrance, k exits and arbitrary internal structure (see Figure 4).
Figure 4.
Virtual device with one entrance and k exits.
Let the state of the device x, according to assumption A2, be characterized by the values . There are many ways in which the internal structure of the device can be presented, independently from the values of the state and the actual internal structure of the device x. One useful representation for generalized characterization of the functioning of the device is shown in Figure 5.
Figure 5.
Generalized representation of the functioning of a virtual device.
To every exit (i), a virtual embedded device with number i is juxtaposed. A part of the flow of requests entering the device x () is directed towards this embedded device. After the completion of the service by the device i, this flow with intensity immediately leaves the service device x. Considering that there are no other subdevices in the service device x, it is evident that
Definition 1.
Partial parameter of an embedded device i with respect to comprise device x is the ratio of the traffic characterization of the embedded virtual device (i) to the corresponding value of the device x.
The sum of all partial parameters from one and the same type for all embedded devices in x is equal to 1. This means that the value of the corresponding parameter of x is fully represented by the partial parameters of the embedded devices. According to Definition 1 and Figure 5, we have at least the following types of partial parameters for one service device which we denote using the prefix “prt.”: . From Definition 1, we have
From the well-known definition of the value of transition probability and Figure 5, it follows
Now, using Definition 1 we obtain:
Using (9) and the Little’s theorem, we obtain
Therefore, from Definition 1 and (13) we obtain
Equation (16) corresponds to Definition 1.
Proposition 1.
Out of the four considered partial characteristics of one virtual device, the values of the parameters and coincide for every virtual embedded device. The values of the parameters and also coincide for every virtual embedded device.
2.5.2. Intuitionistic Fuzzy Characterization of a Virtual Device
The concept of partial traffic parameters and the correspondence between causal and fuzzy service qualification of the fictive device (see Figure 3) allows for a correct introduction of the notion of intuitionistic fuzzy characterization of the service. According to Proposition 1, we select out of the four considered characterizations, those based on flow and traffic intensity (Equations (8) and (15), respectively). The reason for this is because they use fundamental and clearly defined concepts of the Teletraffic theory (see [18,20]).
According to (8) and Figure 3, we define in accordance with the causal structure of device traffic x intuitionistic fuzzy estimations of the belonging to the flow of the successfully served requests (degree of membership ) in device x, as well as the corresponding degree of membership of the intuitionistic fuzzy estimation regarding probability ():
Analogously, for the degree of uncertainty of the intuitionistic fuzzy estimation regarding probability () we obtain:
In a similar way, for the degree of non-membership of the intuitionistic fuzzy estimation about probability () we have:
From (21) it is clear that the pair is an Intuitionistic Fuzzy Pair (IFP, see [12]).
Analogously, according to (15) and Figure 3, an intuitionistic fuzzy traffic intensity estimation of the service can be defined in the form of an IFP and degree of uncertainty . Using the Little’s theorem and the definition of equivalent offered traffic (see [20]), for the intuitionistic fuzzy traffic estimation, we obtain the following expressions.
Analogously, for the degree of uncertainty of the intuitionistic fuzzy traffic estimation we obtain:
Finally, the degree of non-membership of the intuitionistic fuzzy traffic characterization is given by
On the other hand, according to the definition of equivalent offered traffic (see [20]) we have
From the graphical representation in Figure 3, it is evident that
3. Intuitionistic Fuzzy Estimation of the Uncertainty of Comprise Service Devices
The problem regarding the obtainment of intuitionistic fuzzy estimations of the uncertainty for parallel and serial compositions of two services is studied in [9,10]. The degrees of membership, non-membership and uncertainty for the composition are expressed, respectively, through the degrees of membership, non-membership and uncertainty of the embedded devices. In this section, two approaches to the estimations of uncertainty of comprise service devices are presented.
3.1. First Approach
The first approach to the intuitionistic fuzzy estimation of the uncertainty of comprise devices is based on the definitions of the degrees of membership, non-membership and uncertainty of the intuitionistic fuzzy characterizations. We shall illustrate the approach in the case of a parallel composition of two services. A conceptual model of a parallel composition of two services is described in [10]. The graphical representation of the model is shown in Figure 6.
Figure 6.
Parallel composition of two services (see [10]).
On the basis of this model, in [10] expressions for the degrees of membership, non-membership and uncertainty of the traffic and flow characterizations of the comprise device are obtained through the degrees of membership, non-membership and uncertainty of the embedded devices. They are presented below.
where and do not depend on the input flow intensity :
The degree of non-membership of the intuitionistic fuzzy traffic estimation of the composition is given by
The degree of uncertainty of the intuitionistic fuzzy traffic estimation of the composition is given by
The degrees of membership non-membership and uncertainty of the intuitionistic fuzzy flow estimation are given by
3.2. Second Approach
For more complex compositions consisting of a much larger number of embedded devices, it is considerably harder to obtain an estimation of the uncertainty of the comprise device through estimations of the embedded devices using definitions of the intuitionistic fuzzy traffic and flow estimations and the estimation about probability. In such cases, an estimation of the service uncertainty of the requests by the comprise device can be obtained through approximate aggregation approach.
Let a comprise service device x consist of k embedded service devices with intuitionistic fuzzy traffic estimations given by the intuitionistic fuzzy pairs: , ,..., . Following [21], we introduce the following estimations of the uncertainty of the comprise service device x.
Definition 2.
Strongly optimistic intuitionistic fuzzy traffic estimation of the comprise service device x is the intuitionistic fuzzy pair , where
Definition 3.
Optimistic intuitionistic fuzzy traffic estimation of the comprise service device x is the intuitionistic fuzzy pair , where
Definition 4.
Average intuitionistic fuzzy traffic estimation of the comprise service device x is the intuitionistic fuzzy pair , where
Definition 5.
Pessimistic intuitionistic fuzzy traffic estimation of the comprise service device x is the intuitionistic fuzzy pair , where
Definition 6.
Strongly pessimistic intuitionistic fuzzy traffic estimation of the comprise service device x is the intuitionistic fuzzy pair , where
In the following definition, a new aggregation operator over intuitionistic fuzzy pairs is defined.
Definition 7.
Intuitionistic fuzzy traffic confidence coefficient of the comprise service device x is an intuitionistic fuzzy pair , where
where
To see that is an IFP, it is sufficient to observe that
Similarly, by substituting the symbol “y” in the above definitions with “f” or “p”, the corresponding intuitionistic fuzzy estimations about flow and probability are obtained.
We shall provide a geometric interpretation of the above introduced estimations. Let be an intuitionistic fuzzy pair. One possible geometrical interpretation of the pair is shown in Figure 7. Every intuitionistic fuzzy pair is represented by a point inside the isosceles right-angled triangle with edges equal to 1.
Figure 7.
Geometric interpretation of the intuitionistic fuzzy pair .
Let z and t now be two intuitionistic fuzzy estimations of two embedded virtual devices with geometrical interpretation shown in Figure 8.
Figure 8.
Geometric interpretation of the intuitionistic fuzzy pairs representing the strongly optimistic (5), optimistic (4), average (3), pessimistic (2) and strongly pessimistic (1) estimations.
The intuitionistic fuzzy estimations of a comprise service device consisting of two embedded devices with intuitionistic fuzzy estimations z and t are represented in Figure 8 as follows: 1—strongly pessimistic; 2—pessimistic; 3—average; 4 –optimistic; 5–strongly optimistic.
4. Discussion
The two approaches to the intuitionistic fuzzy estimation of uncertainty of service compositions bear their own advantages and disadvantages.
The first approach uses the definitions of the degrees of membership, non-membership and uncertainty of the intuitionistic fuzzy pairs characterizing the uncertainty. In addition, the estimations of the embedded devices also require the values of parameters internal to the embedded devices (). The second approach requires only the intuitionistic fuzzy estimations of the embedded devices.
The accuracy of the approximate aggregation approach is lower. It can be employed in cases when fast approximate estimation of the uncertainty of the comprise device is needed. The selection of the aggregation operator to use depends on the modeled process.
The proposed approaches to the traffic quality intuitionistic fuzzy estimation of composition of services will be used for the QoS estimation of overall telecommunication systems including users and telecommunication networks. The models of such systems consist of many embedded virtual service devices in various compositions and, therefore, the study of QoS compositions is important for determining the overall network QoS.
Author Contributions
Conceptualization, S.P. and E.S.; methodology, V.A. and K.A.; writing—original draft preparation, S.P. and V.A.; writing—review and editing, V.A.; project administration, V.A. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by the Bulgarian National Science Fund grant number KP-06-N52/2 (“Perspective Methods for Quality Prediction in the Next Generation Smart Informational Service Networks”).
Data Availability Statement
Not applicable.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Pichanaharee, K.; Senivongse, T. QoS-based service provision schemes and plan durability in service composition. In Distributed Applications and Interoperable Systems; DAIS 2008. Lecture Notes in Computer, Science; Meier, R., Terzis, S., Eds.; Springer: Berlin/Heidelberg, Germany, 2008; Volume 5053, pp. 58–71. [Google Scholar]
- De Gyvés Avila, S. QoS Awareness and Adaptation in Service Composition; The University of Leeds: Leeds, UK, 2014. [Google Scholar]
- Strunk, A. QoS-aware service composition: A survey. In Proceedings of the 2010 Eighth IEEE European Conference on Web Services, Washington, DC, USA, 1–3 December 2010; pp. 67–74. [Google Scholar]
- Varela, M.; Zwickl, P.; Reichl, P.; Xie, M.; Schulzrinne, H. From service level agreements (SLA) to experience level agreements (ELA): The challenges of selling QoE to the user. In Proceedings of the 2015 IEEE ICCW, London, UK, 8–12 June 2015; pp. 1741–1746. [Google Scholar]
- Tarawneh, H.; Alhadid, I.; Khwaldeh, S.; Afaneh, S. An intelligent cloud service composition optimization using spider monkey and multistage forward search algorithms. Symmetry 2022, 14, 82. [Google Scholar] [CrossRef]
- Final draft ETSI EG 202 009-3 V1.3.0 (2015-04). User Group; Quality of ICT services; Part 3: Template for Service Level Agreements (SLA). 2015. Available online: http://www.etsi.org/standards-search (accessed on 20 October 2022).
- Torkayesh, A.E.; Yazdani, M.; Ribeiro-Soriano, D. Analysis of industry 4.0 implementation in mobility sector: An integrated approach based on QFD, BWM, and stratified combined compromise solution under fuzzy environment. J. Ind. Inf. Integr. 2022, 30, 100406. [Google Scholar] [CrossRef]
- Poryazov, S.; Andonov, V.; Saranova, E. Intuitionistic fuzzy representation of uncertainty in biomedical operations. In Contemporary Methods in Bioinformatics and Biomedicine and Their Applications; Sotirov, S.S., Pencheva, T., Kacprzyk, J., Atanassov, K.T., Sotirova, E., Staneva, G., Eds.; Springer: Cham, Switzerland, 2022; Volume 374, pp. 269–278. [Google Scholar]
- Poryazov, S.; Andonov, V.; Saranova, E. Three intuitionistic fuzzy estimations of uncertainty in service compositions. In Uncertainty and Imprecision in Decision Making and Decision Support: New Advances, Challenges, and Perspectives; IWIFSGN BOS/SOR 2020. Lecture Notes in Networks and Systems; Springer: Cham, Switzerland, 2022; Volume 338, pp. 72–84. [Google Scholar]
- Poryazov, S.; Andonov, V.; Saranova, E. Intuitionistic fuzzy estimations of uncertainty of a parallel composition of services. In Intelligent and Fuzzy Systems; INFUS 2022. Lecture Notes in Networks and, Systems; Kahraman, C., Tolga, A.C., Cevik Onar, S., Cebi, S., Oztaysi, B., Sari, I.U., Eds.; Springer: Cham, Switzerland, 2022; Volume 504, pp. 624–631. [Google Scholar]
- Atanassov, K. On Intuitionistic Fuzzy Sets Theory; Springer: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
- Atanassov, K.; Szmidt, E.; Kacprzyk, J. On intuitionistic fuzzy pairs. NIFS 2013, 19, 1–13. [Google Scholar]
- Stahl, I.; Born, R.G.; Henriksen, J.O.; Herper, H. GPSS 50 years old, but still young. In Proceedings of the 2011 Winter Simulation Conference (WSC), Phoenix, AZ, USA, 11–14 December 2011; pp. 3947–3957. [Google Scholar]
- Krawczak, M. Basics of Generalized Nets. In Multilayer Neural Networks. Studies in Computational Intelligence; Springer: Berlin/Heidelberg, Germany, 2013; Volume 478, pp. 15–30. [Google Scholar]
- Davidrajuh, R. Petri Nets for Modeling of Large Discrete Systems; Springer: Singapore, 2021. [Google Scholar]
- Teodorescu, R. Structured concurrency in C++. Overload 2022, 30, 9–14. [Google Scholar]
- Poryazov, S.; Andonov, V.; Saranova, E. Traffic quality aggregations of a queuing system. In Proceedings of the 2020 IEEE 10th International Conference on Intelligent Systems (IS), Varna, Bulgaria, 28–30 August 2020; pp. 102–110. [Google Scholar]
- The ITU Telecommunication Standardization Sector. E.600: Terms and Definitions of Traffic Engineering. 1993. Available online: https://www.itu.int/rec/T-REC-E.600-199303-I/en (accessed on 20 October 2022).
- Zukerman, M. Introduction to Queueing Theory and Stochastic Teletraffic Models. 2022. Available online: https://arxiv.org/abs/1307.2968 (accessed on 20 October 2022).
- The ITU Telecommunication Standardization Sector. E.501: Estimation of Traffic Offered in The Network. 1997. Available online: https://www.itu.int/rec/T-REC-E.501-199705-I/en (accessed on 20 October 2022).
- Atanassov, K. Intuitionistic Fuzzy Logics; Springer: Cham, Switzerland, 2017. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).