CN107645412A - A kind of Web service combination multiple target verification method under open environment - Google Patents
A kind of Web service combination multiple target verification method under open environment Download PDFInfo
- Publication number
- CN107645412A CN107645412A CN201710810726.5A CN201710810726A CN107645412A CN 107645412 A CN107645412 A CN 107645412A CN 201710810726 A CN201710810726 A CN 201710810726A CN 107645412 A CN107645412 A CN 107645412A
- Authority
- CN
- China
- Prior art keywords
- multiple target
- web service
- service combination
- decision process
- model
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The present invention discloses the Web service combination multiple target verification method under a kind of open environment, including：Web service combination process and QoS attributes are taken out, and is modeled as multiple target Markovian decision process；The environmental condition for influenceing Web service combination process is abstracted, it is modeled as traditional Markovian decision process, it is allowed to interact with Web service combination model, really simulates under the open environment of complexity, the process that Web service combination is influenceed by dynamic environment；According to user preference, QoS model attributes are turned into multiple target temporal logic formula；Using above Web service combination model, environmental model, multiple target temporal logic formula as the input of method, using probabilistic model checking instrument, finally give the quantitative result for meeting user's request and export corresponding strategy.The problem of the inventive method is solved under the open environment of complexity, and the Traditional Web services combined authentication method caused by uncertainty, user's request multiple target environment is difficult to directly use.
Description
Technical field
The invention belongs to computer software engineering development technique field, more particularly to a kind of Web clothes under open environment
Business combination multiple target verification method.
Background technology
Probabilistic model checking technology is a kind of to verify whether finite state system meets the formalization method of attribute, its purpose
It is that given probability system and its attribute to be verified are depicted come so with finite state model and temporal logic formula respectively
Judge whether system model meets system property using model detector afterwards.The general flow of probabilistic model checking technology is pair
Probability system to be tested is modeled, and then describes system category using a kind of language of formalization such as temporal logic formula
Property, finally judge whether this system model meets system property using corresponding model inspection analytical technology.Thus we can
To find out that probabilistic model checking technology is generally divided into three parts：The modeling language of probability system is described, describes system property
Whether temporal logic formula and a checking system meet the analytical technology of attribute.Probabilistic model checking instrument is in detection algorithm
It can automatically be performed under supporting, counter-example path will be provided when system is unsatisfactory for property to be measured.
PRISM is an instrument for being used for analyzing probability system, can support the model of three types, discrete time Ma Er
Can husband's chain, the Markov chain and Markovian decision process of continuous time.The instrument is established general by automatically analyzing
Rate system, is able to verify that whether dynamic probability system meets probability calculation tree logic (PCTL) and continuous random logic (CSL)
The attribute of expression.
Web service combination is different stand-alone services to combine to complete the skill of composite services with better function
Art.Complicated and value-added application is built by combining existing single service, can largely reduce deployment time and cost.With
The fast development of Web service technology, functional attributes are similar and clothes that service quality (Quality of Service, QoS) is different
Business quantity rapidly increases.According to the service that service quality is user difference preference's selection, the Web service combination that referred to as QoS is perceived.
In Enterprise SOA (SOA) and the field of service-oriented computing (SOC), Web service combination that QoS is perceived into
For current study hotspot.How a service is selected so that the service quality of whole Services Composition, which maximizes, becomes service
Key issue in combination research.Judging the Standard General of the service quality of Web service combination is the demand of user, such as services
Price, provider's reputation, reliability etc..
People are concentrated on work by improving Web service selection algorithm before, to improve to obtain Web service combination
Accuracy, and it is less to the verification method concern based on probabilistic model checking technology.Meanwhile work before does not account for ring yet
The random change in border will be to the influence that web service composition method is brought.
The content of the invention
It is an object of the invention to provide the Web service combination multiple target verification method under a kind of open environment, and it is defined
A kind of new multiple target Markovian decision process, the mistake is verified using probabilistic model checking technology and multiple target verification technique
Journey, obtain Web service combination and quantitative analysis results.Explicit environmental model is introduced, is allowed to interact with Web service combination model,
Web service combination process of the real simulation under open environment, solve under the open environment of complexity, it is not true due to environment
The problem of Traditional Web services combined authentication method caused by qualitative, user's request multiple target is difficult to directly use.
In order to reach above-mentioned purpose, the technical solution adopted by the present invention is as follows：
A kind of Web service combination multiple target verification method under open environment, comprises the following steps：
(1) according to the characteristics of object to be studied, Web service combination process and QoS attributes to be verified are taken out；
(2) the Web service combination process in step (1) and QoS attributes, by the Web service combination process model building into
For multiple target Markovian decision process；
(3) the Web service combination process in step (1) and QoS attributes, it is determined to influence Web service combination mistake
The environmental condition of journey and QoS attributes；The procedural abstraction that the environmental condition changes at random is come out, is modeled as traditional Ma Erke
Husband's decision process；Traditional Markovian decision process stateful corresponding environmental condition different conditions, the Ma Erke
The random change procedure of the corresponding environmental condition of migration between husband's decision process state；In modeling process, make the biography in the step
The Markovian decision process model of system interacts with the multiple target Markovian decision process model in step (2)；
(4) user preference and the QoS attributes in step (1) are analyzed, and is represented using multiple target temporal logic formula；
(5) the multiple target Markovian decision process in step (2) and traditional Markov decisior process in step (3)
Journey constitutes the finite state model of description probability system；Multiple target temporal logic formula in step (4) represents to be verified
System property, verifies whether finite state model meets system property to be verified, and obtain its quantitative verification result with it is corresponding
Path, respective path are Web service combination mode.
Preferably, the step (1) specifically includes：
(11) task that object to be studied needs to complete is analyzed, defines one group of abstract service description system action；
(12) abstract service in analytical procedure (11), same abstract service is provided by different specific services, by this
The set of a little specific services is defined as one group of specific service of each abstract service；
(13) analysis result in step (11) and (12), Web service combination process is abstracted into by object to be studied；
(14) according to user's request, QoS attributes to be verified are taken out.
Preferably, the step (2) specifically includes：
(21) specific service obtained according to being analyzed in step (12) is modeled as in multiple target Markovian decision process
The set of action；
(22) the QoS attributes in step (14), establish different incentive structure.
Preferably, the multiple target Markovian decision process in the step (2) is carried out by probabilistic model checking instrument
Create.
Preferably, traditional Markovian decision process in the step (3) is carried out by probabilistic model checking instrument
Create.
Preferably, the step (4) specifically includes：
(41) number of ownership goal is determined, one of QoS attributes are a targets；
(42) preference according to user to different target, is classified as two classes：Common-denominator target is the target that user most takes notice of；
Constrained objective is takes notice of or negligent target with the number of households involved；
(43) constrained objective in step (42) is represented with temporal logic formula, tested using probabilistic model checking technology
Card, obtains restriction range；
(44) integrated the common-denominator target in restriction range and step (42) is obtained in step (43) with constrained objective
It is modeled, obtains multiple target temporal logic formula.
Preferably, the step (5) specifically includes：It is whether full using the finite state model of probabilistic model checking technical identification
Foot system property to be verified.
Beneficial effects of the present invention：
Invention introduces environmental model, is allowed to interact with Web service combination model, simulate real environmental condition with
Machine change procedure, solve the Traditional Web services combined authentication method caused by the uncertainty of environment and be difficult to what is directly used
Problem；Then multiple target and probabilistic user's request are carried using the description of multiple target temporal logic formula, eventually through
Multiple target verification technique obtains quantitative analysis result and respective paths, it is proposed that a kind of new based on probabilistic model checking technology
Web service composition method.
Brief description of the drawings
Fig. 1 is the frame diagram of the present invention；
Fig. 2 is Web service combination process；
Fig. 3 is the process that environmental condition changes at random.
Embodiment
The present invention provides the Web service combination multiple target verification method under a kind of open environment, coordinates shown in Fig. 1, below
Technical scheme will be described in detail by taking online shopping service system as an example.
(1) according to the characteristics of object to be studied, specific Web service combination process and QoS attributes to be verified are taken out.
Specifically include following steps：
(11) task that the need of object to be studied are completed is analyzed, defines one group of abstract service description system action.In this reality
In example, online service system needs to complete following task：Select suitable shopping platform, such as Jingdone district, Taobao；Selection is closed
Suitable shop, as different shops, its price of same commodity is possible and different, and the discount possessed also can be different；Choosing
Payment platform is selected, now most are exactly Alipay platform and wechat payment platform；Select express delivery, the arrival of different express deliveries
Time is different with price.So under the example, one shares 4 abstract services, is defined as AS1, AS2, AS3, AS4。
(12) abstract service in analytical procedure (11), same abstract service can be provided by different specific services,
The collection of these specific services is combined into each abstract service and defines one group of specific service.It was found from step (11), one in this example
Four kinds of abstract services are defined altogether, are respectively：Sales platform, shop, payment platform, express delivery, it is defined as AS1, AS2, AS3, AS4。
Abstract service AS1It is middle two kinds of specific services to be present, it is CS1_1, CS1_2 respectively, is defined as AS1={ CS1_1, CS1_2 }.This two
Kind specific service expression provides the service of sales platform, and CS1_1 represents Taobao, and CS1_2 represents Jingdone district.In abstract service AS2
In again 3 kinds of specific services, i.e. AS be present2={ CS2_1, CS2_2, CS2_3 }.CS2_1 represents Bank of Communications, during CS2_2 is represented
Bank of state, CS2_3 represent Construction Bank.In abstract service AS3In have 2 specific services, AS3={ CS3_1, CS3_2 }.CS3_1
Alipay platform is represented, CS3_2 represents wechat payment platform.In abstract service AS4In have 4 specific services, AS4=CS4_1,
CS4_2, CS4_3, CS4_4).CS4_1 is represented along rich express delivery, and CS4_2 represents rhythm and reaches express delivery, and CS4_3 represents the logical express delivery of circle, CS4_
Lead to express delivery in 4 representatives.
(13) analysis result in step (11) and (12), Web service combination mistake is abstracted as by object to be studied
Journey.In this example, the abstract service and specific service of online shopping service system have been obtained, its Web service combination process is such as
Fig. 2.
(14) according to user's request, QoS attributes to be verified are taken out.In this example, three QoS attributes are proposed, point
It is not：Call service consumption, total price that user spends under scene of doing shopping, user spent under scene of doing shopping it is total when
Between.
(2) the Web service combination process in step (1) and QoS attributes, the Services Composition process model building is turned into more
Target Markovian decision process.Specifically include following steps：
(21) specific service obtained according to being analyzed in step (12) is modeled as in multiple target Markovian decision process
The set of action.In this example, each specific service is an action in multiple target Markovian decision process,
When the action occurs, NextState is transferred to by current state, whole process is carried out by probabilistic model checking instrument PRISM language
Create.
(22) the QoS attributes in step (14), the different incentive structure of multiple target Markovian decision process is established.
In this example, one three kinds of attributes to be verified are shared, incentive structure corresponding to foundation, as follows such as table 1 respectively：
Table 1
| QoS attributes | Incentive structure title |
| Express delivery arrival time | express_arrive_time |
| Total price | price |
| Call service consumption | consumption |
(3) the Web service combination process in step (1) and QoS attributes, it is determined to influence Web service combination mistake
The environmental condition of journey QoS attributes；The procedural abstraction that the environmental condition changes at random is come out, is modeled as traditional markov
Decision process；Traditional Markovian decision process stateful corresponding environmental condition different conditions, markov determines
The random change procedure of the corresponding environmental condition of migration between plan process status；In modeling process, pass through probabilistic model checking work
The action synchronization mechanism that tool PRISM is provided makes the more of traditional Markovian decision process model in the step and step (2)
Target Markovian decision process model interacts.In this example, using the quality of weather as environmental condition, Changes in weather is
Random, define two states：Good and bad；On this condition, between process i.e. two state that environmental condition changes at random
Random transition process.The process model building is turned into traditional Markovian decision process using PRISM language, and used
Synchronous method in PRISM language, environmental model is set to be interacted with Web service combination model.The State Transferring mistake of its environmental model
Journey such as Fig. 3.
Traditional Markovian decision process interacts with multiple target Markovian decision process in the step (3), energy
Accurate simulation is under true environment, and the dynamic change of environmental condition is to caused by web service composition method selection service
Influence (may select different tools under different environmental conditions according to real-time environmental condition state, a certain abstract service
Body service)；And traditional web service composition method does not possess the ability being modeled to the dynamic changing process of environmental condition,
Also can not simulated environment condition dynamic change on web service composition method selection service caused by influence；Therefore, it is of the invention
Disclosed web service composition method will more be defined compared to the Web service combination mode that traditional web service composition method obtains
Really.
(4) user preference and the QoS attributes in step (1) are analyzed, and is represented using multiple target temporal logic formula.Specifically
Comprise the following steps：
(41) number and implication of ownership goal are determined, one of QoS attributes correspond to a target, and according to user couple
The preference of different target, it is classified as two classes：Common-denominator target is the target that user most takes notice of；Constrained objective to be taken notice of with the number of households involved or
The negligent target of person.In this example, ownership goal number comes to three, and the nonfunction requirement of user, which has, not to be known
Property.According to three in example different QoS attributes, three targets P1, P2 and P3 are defined, such as table 2.Two use are illustrated now
Family, for user 1, it may be desirable to which service consumption is the smaller the better, and does not mind total price money and express delivery arrival time.For with
For family 2, it may be desirable to which total price is minimum, and does not mind service consumption and express delivery arrival time.So crucial mesh of user 1
Mark is P3, and constrained objective P1 and P2；The common-denominator target of user 2 is P2, and constrained objective is P1 and P3.Table 2 is as follows：
Table 2
| Target | Implication |
| P1 | The service wastage in bulk or weight of calling is how many |
| P2 | Total price that user spends under scene of doing shopping is how many |
| P3 | User's time that express delivery reaches under scene of doing shopping |
(42) constrained objective in step (41) is represented with temporal logic formula, tested using probabilistic model checking technology
Card, obtains restriction range.In this example, user 1 and the maximum of the constrained objective of user 2 are represented with temporal logic formula,
And verified using probabilistic model checking technology, as a result represented with P1_max, P2_max, P3_max, it is as follows such as table 3：
Table 3
(43) integrated the common-denominator target in restriction range and step (41) is obtained in step (42) with constrained objective
It is modeled, obtains multiple target temporal logic formula.In this example, the common-denominator target of user 1 is attribute P3, tries to achieve P1_max
After P2_max value, its multiple target temporal logic formula can obtain.The multiple target sequential logic that similarly can obtain user 2 is public
Formula is as follows such as table 4：
Table 4
(5) the multiple target Markovian decision process in step (2) and traditional Markov decisior process in step (3)
Journey constitutes the finite state model of description probability system；Multiple target temporal logic formula in step (4) represents to be verified
System property, using probabilistic model checking technology, verify whether finite state model meets system property to be verified, and obtain
Its quantitative verification result and respective path.Respective path is Web service combination mode.
After all steps are completed, pass through the correctness and feasibility of two experimental verification present invention.The experiment
Running environment is Ubuntu14.04LTS systems, Intel's Duo I7 processors, 32GB internal memories；Experimental tool is examined for probabilistic model
Survey device PRISM, version number 4.3.1-linux64.In experiment one, use state number and transfer number are abstracted clothes as measurement
The quantity of service for the maximum-norm that business quantity can be supported with specific service quantity as variable, method.Verification method can be supported
Maximum-norm.Wherein, the temporal logic formula the result of constrained objective such as table 5, the multiple target temporal logic formula of checking
Such as table 6, experimental results such as table 7 is verified.On the basis of more than, the multiple target for checking this method for Web service combination
Autgmentability, i.e., under conditions of equal abstract service quantity and specific service quantity, use common-denominator target and all target numbers
Experiment two is carried out as variable, as a result such as table 8, table 9, shown in table 10, table 5-10 is as follows：
Table 5
| Abstract service quantity | P1_max the results |
| 3 | 9.445 |
| 4 | 13.445 |
| 5 | 19.667 |
| 6 | 19.667 |
Table 6
Table 7
| Abstract service quantity | Multiple target the result | Status number | Shift number |
| 3 | 15.67 | 50897 | 126804 |
| 4 | 23.333 | 50897 | 126804 |
| 5 | 39.167 | 610769 | 1717076 |
| 6 | 55.112 | 7329233 | 22982484 |
Table 8
| Abstract service quantity | Specific service quantity | Status number | Shift number |
| 4 | 4 | 50897 | 126804 |
| 4 | 5 | 122946 | 307025 |
| 4 | 6 | 253177 | 633198 |
| 4 | 7 | 466754 | 1168587 |
| 4 | 8 | Collapse | Collapse |
Table 9
| Abstract service quantity | Specific service quantity | Status number | Shift number |
| 5 | 4 | 610769 | 126804 |
| 5 | 5 | 5710693 | 9405846 |
| 5 | 6 | 34264165 | 56435094 |
| 5 | 7 | Collapse | Collapse |
Table 10
| Abstract service quantity | Specific service quantity | Status number | Shift number |
| 6 | 3 | 1328602 | 4153065 |
| 6 | 4 | 7329233 | 22982484 |
| 6 | 5 | Collapse | Collapse |
Result above indicates scalability of the method for the present invention in target number.Meanwhile in common-denominator target and about
During beam object variations, the optimal solution of common-denominator target is solved by changing multiple target temporal logic formula, can solve user's request
It is uncertain.
For the Web service combination process under the open environment of complexity, the non-functional requirement of user has necessarily
Uncertainty and multiple target.Different users has different demands, and the inventive method thinks, the corresponding mesh of a demand
Mark.Between each different target, user is also different to the priority of target.Multiple target temporal logic formula, can be appropriately
This multiple target is described.It is finite state model, i.e. multiple target Markov decisior process by Web service combination process model building
Journey.Different demands is abstracted as different rewards (reward) structure respectively, then according to the preference of user, is modeled as more
Goal time order logical formula.Finally, multiple target sequential whether is met using the finite state model of probabilistic model checking technical identification
Logical formula.In multiple target Markovian decision process, the i.e. selection service of action.Therefore, multiple target sequential logic public affairs are obtained
The result of formula, you can obtain State Transferring path corresponding with result, that is, optimal Web service combination mode.And ring
The dynamic change of border condition can influence the award value of Web service combination, and then have influence on the selection of Web service.Therefore, ring is introduced
Border model is allowed to interact with Web service combination model, can improve the accuracy of our web service composition method.
The technological thought of above example only to illustrate the invention, it is impossible to protection scope of the present invention is limited with this, it is every
According to technological thought proposed by the present invention, any change done on the basis of technical scheme, the scope of the present invention is each fallen within
Within.
Claims (7)
1. the Web service combination multiple target verification method under a kind of open environment, it is characterised in that comprise the following steps：
（1）According to the characteristics of object to be studied, Web Services Compositions process and QoS attributes to be verified are taken out；
（2）According to step（1）In Web Services Compositions process and QoS attributes, the Web service combination process model building is turned into
Multiple target Markovian decision process；
（3）According to step（1）In Web service combination process and QoS attributes, be determined to influence Web Services Composition processes
With the environmental condition of QoS attributes；The procedural abstraction that the environmental condition changes at random is come out, is modeled as traditional Ma Erke
Husband's decision process；Traditional Markovian decision process stateful corresponding environmental condition different conditions, the Ma Erke
The random change procedure of the corresponding environmental condition of migration between husband's decision process state；In modeling process, make the biography in the step
The Markovian decision process model and step of system（2）Multiple target Markovian decision process model interaction；
（4）Analyze user preference and step（1）In QoS attributes, and represented using multiple target temporal logic formula；
（5）Step（2）In multiple target Markovian decision process and step（3）In traditional Markovian decision process structure
Into the finite state model of description probability system；Step（4）In multiple target temporal logic formula represent system to be verified
Attribute, verifies whether finite state model meets system property to be verified, and obtains its quantitative verification result and respective path,
Respective path is Web service combination mode.
2. the Web service combination multiple target verification method under open environment according to claim 1, it is characterised in that institute
State step（1）Specifically include：
（11）The task that object to be studied needs to complete is analyzed, defines one group of abstract service description system action；
（12）Analytical procedure（11）In abstract service, same abstract service provides by different specific service, these had
The set of body service is defined as one group of specific service of each abstract service；
（13）According to step（11）With（12）In analysis result, object to be studied is abstracted into Web service combination process；
（14）According to user's request, QoS attributes to be verified are taken out.
3. the Web service combination multiple target verification method under open environment according to claim 2, it is characterised in that institute
State step（2）Specifically include：
（21）According to step（12）Middle obtained specific service of analyzing is modeled as acting in multiple target Markovian decision process
Set；
（22）According to step（14）In QoS attributes, establish different incentive structure.
4. the Web service combination multiple target verification method under the open environment according to any one in claim 1-3, its
It is characterised by, the step（2）In multiple target Markovian decision process created by probabilistic model checking instrument.
5. the Web service combination multiple target verification method under the open environment according to any one in claim 1-3, its
It is characterised by, the step（3）In traditional Markovian decision process created by probabilistic model checking instrument.
6. the Web service combination multiple target verification method under the open environment according to any one in claim 1-3, its
It is characterised by, the step（4）Specifically include：
（41）The number of ownership goal is determined, one of QoS attributes are a targets；
（42）Preference according to user to different target, is classified as two classes：Common-denominator target is the target that user most takes notice of；Constraint
Target is takes notice of or negligent target with the number of households involved；
（43）To step（42）Middle constrained objective is represented with temporal logic formula, is verified using probabilistic model checking technology,
Obtain restriction range；
（44）Step（43）In obtain restriction range and step（42）In common-denominator target and constrained objective integrate progress
Modeling, obtains multiple target temporal logic formula.
7. the Web service combination multiple target verification method under the open environment according to any one in claim 1-3, its
It is characterised by, the step（5）Specifically include：It is to be tested using whether the finite state model of probabilistic model checking technical identification meets
The system property of card.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710810726.5A CN107645412B (en) | 2017-09-11 | 2017-09-11 | Web service combination multi-target verification method in open environment |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710810726.5A CN107645412B (en) | 2017-09-11 | 2017-09-11 | Web service combination multi-target verification method in open environment |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN107645412A true CN107645412A (en) | 2018-01-30 |
| CN107645412B CN107645412B (en) | 2020-10-20 |
Family
ID=61111187
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710810726.5A Active CN107645412B (en) | 2017-09-11 | 2017-09-11 | Web service combination multi-target verification method in open environment |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107645412B (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112434440A (en) * | 2020-12-02 | 2021-03-02 | 武汉工程大学 | Intelligent parking method and system based on multi-Agent self-adaptive online verification |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080172714A1 (en) * | 2007-01-16 | 2008-07-17 | International Business Machines Corporation | Method for model based verification of security policies for web service composition |
| US20160299936A1 (en) * | 2015-04-08 | 2016-10-13 | Oracle International Corporation | Automated test for uniform web service interfaces |
| CN107016077A (en) * | 2017-03-28 | 2017-08-04 | 南京邮电大学 | A kind of optimization method of web oriented Services Composition |
| CN107070704A (en) * | 2017-03-22 | 2017-08-18 | 东南大学 | A kind of Trusted Web services combined optimization method based on QoS |
| CN107135113A (en) * | 2017-06-26 | 2017-09-05 | 浙江省特种设备检验研究院 | A kind of service call engine method based on composite services Flexible Description model |
-
2017
- 2017-09-11 CN CN201710810726.5A patent/CN107645412B/en active Active
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080172714A1 (en) * | 2007-01-16 | 2008-07-17 | International Business Machines Corporation | Method for model based verification of security policies for web service composition |
| US20160299936A1 (en) * | 2015-04-08 | 2016-10-13 | Oracle International Corporation | Automated test for uniform web service interfaces |
| CN107070704A (en) * | 2017-03-22 | 2017-08-18 | 东南大学 | A kind of Trusted Web services combined optimization method based on QoS |
| CN107016077A (en) * | 2017-03-28 | 2017-08-04 | 南京邮电大学 | A kind of optimization method of web oriented Services Composition |
| CN107135113A (en) * | 2017-06-26 | 2017-09-05 | 浙江省特种设备检验研究院 | A kind of service call engine method based on composite services Flexible Description model |
Non-Patent Citations (1)
| Title |
|---|
| 海燕等: "一种支持Web 服务QoS 动态预测的方法", 《南京理工大学学报》 * |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112434440A (en) * | 2020-12-02 | 2021-03-02 | 武汉工程大学 | Intelligent parking method and system based on multi-Agent self-adaptive online verification |
Also Published As
| Publication number | Publication date |
|---|---|
| CN107645412B (en) | 2020-10-20 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Li et al. | Towards sustainable smart cities: An empirical comparative assessment and development pattern optimization in China | |
| Buhalis et al. | eTourism: critical information and communication technologies for tourism destinations | |
| CN110413707A (en) | The excavation of clique's relationship is cheated in internet and checks method and its system | |
| CN102831218B (en) | Method and device for determining data in thermodynamic chart | |
| CN106021377A (en) | Information processing method and device implemented by computer | |
| CN108833382A (en) | Network information detection method, device, storage medium and computer equipment | |
| CN109325845A (en) | A kind of financial product intelligent recommendation method and system | |
| Zhong et al. | Distinguishing the land use effects of road pricing based on the urban form attributes | |
| CN106407446A (en) | Network questionnaire establishment method and device | |
| Cirera et al. | Evidence on the impact of tariff reductions on employment in developing countries: a systematic review | |
| CN108170404A (en) | A kind of Web service combination verification method based on parameterized model | |
| CN106934687A (en) | A kind of information processing method and device based on user behavior | |
| CN111931069B (en) | User interest determination method and device and computer equipment | |
| CN109727125A (en) | Borrowing balance prediction technique, device, server, storage medium | |
| CN107645412A (en) | A kind of Web service combination multiple target verification method under open environment | |
| CN106648895A (en) | Data processing method and device, and terminal | |
| KR102530110B1 (en) | System for providing property dealing service using virtualization of personal account | |
| Blunck et al. | Improvement heuristics for manufacturing system design using complex network figures | |
| CN108629023A (en) | Data digging method, device and computer readable storage medium | |
| CN106055665A (en) | Method and system for recommending context-aware Web service based on elimination of abnormal value | |
| Zhuge et al. | An Initial Implementation of Multiagent Simulation of Travel Behavior for a Medium‐Sized City in China | |
| Kim | Implementing a sustainable decision-making environment-cases for GIS, BIM, and big data utilization | |
| Fang et al. | Research on intelligent cloud manufacturing resource adaptation methodology based on reinforcement learning | |
| Pio et al. | Technology Spillovers Through Exports: Empirical Evidence for the Chinese Case | |
| KR101697532B1 (en) | System for Providing Event of Distribution Cyber Game Money |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |