CN104680031A - Linkage rule generation method and device - Google Patents
Linkage rule generation method and device Download PDFInfo
- Publication number
- CN104680031A CN104680031A CN201510118105.1A CN201510118105A CN104680031A CN 104680031 A CN104680031 A CN 104680031A CN 201510118105 A CN201510118105 A CN 201510118105A CN 104680031 A CN104680031 A CN 104680031A
- Authority
- CN
- China
- Prior art keywords
- digraph
- logical relation
- interlock
- rule
- 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
Abstract
The embodiment of the invention provides a linkage rule generation method and a linkage rule generation device. The method comprises the following steps: obtaining a linkage rule to be added; performing problem detection to generate a detection result on the basis of the linkage rule to be added and a linkage rule list, wherein the linkage rule list comprises set linkage rules; judging whether to add the linkage rule to be added into the linkage rule list or not on the basis of the detection result. According to the method and the device, logical problems between set rules in an application can be reduced.
Description
Technical field
The application relates to technical field of information processing, relates to a kind of interlock rule generating method and device in particular.
Background technology
Along with the development of communication technology and network, separate service can be coupled together by an application, think that user provides and serve more easily.More common is IFTTT (If This Then That) application, setting an interlock rule in this application, when reaching trigger condition in interlock rule, just can trigger an action of specifying.As, if setting second day is in the application fine day, then sends short messages and remind me within second day, to run, when second day fine day being detected by weather Sampling network, this application can triggering short message be reminded.And for example, by application, optical sensor is associated with intelligent home network, and setting is then turned on light when darkness, then when light sensors to room light brightness lower than preset value time, the lamp control in this intelligent home network of this applications trigger is turned on light.
User can set multiple interlock rule in such application, to trigger the different action of execution when different trigger condition respectively.But have problems between the interlock rule of setting in application, cause application to perform in the process of this interlock rule and occur that action executing is unstable, after the situation that cannot stop of even performing an action, user can not determine that the reason broken down is the setting problem of equipment failure or interlock rule, thus makes user accurately cannot carry out localization of fault.
Summary of the invention
In view of this, this application provides a kind of interlock rule generating method and device, to reduce the logical problem between the rule that sets in application.
For achieving the above object, the application provides following technical scheme: a kind of interlock rule generating method, comprising:
Obtain and wait to set up interlock rule;
Wait that setting up interlock rule carries out problem detection with the regular inventory of interlock, produces testing result based on described; The regular inventory of described interlock comprise set interlock rule;
Determine whether to wait that setting up interlock rule adds the regular inventory of described interlock to by described based on described testing result.
Preferably, wait to set up described in the logical relation of interlock rule and described interlock rule inventory, to have set the whether subsistence logic problem of link between regular logical relation described in described detection, comprising:
Set up interlock regular triggered target, trigger condition, execution object based on described waiting and perform an action, waiting described in structure to set up logical relation model to be set up corresponding to interlock rule;
Obtain the logical relation model set that the regular inventory of described interlock is corresponding, described logical model set comprises and has set with described the model of setting logical relation corresponding to rule that link;
Logical relation model described to be set up is incorporated in described logical relation model set, obtains logical relation set to be detected;
Detect the logical relation model whether having logical problem in described logical relation set to be detected.
Preferably, describedly wait to set up interlock rule be incorporated into described in described logical relation model set, obtain logical relation set to be detected, comprising:
Detect in the logical relation model of described logical relation model set whether to exist and meet pre-conditioned target logic relational model, described meet in pre-conditioned target logic relational model at least comprise: the triggered target being set with described trigger condition, and/or the execution object performed an action described in being set with;
When there is described target logic relational model in described logical relation model set, adopting and logical relation model described to be set up and described target logic relational model are integrated, obtaining logical relation model to be detected;
Then whether have the logical relation model of logical problem in the described logical relation set to be detected of described detection, comprising:
When there is not described target logic relational model in described logical relation model set, then the setting waiting described in determining to set up in interlock rule and the regular inventory of described interlock to link between rule not subsistence logic problem;
When there is described target logic relational model in described logical relation set, then detect in described logical relation model to be detected the logical problem whether existed between different object mutual relationship.
Preferably, describedly wait to set up triggered target, trigger condition, the execution object of interlock rule based on described and perform an action, waiting described in structure to set up logical relation model to be set up corresponding to interlock rule, comprising:
The principle that same target has the same property value of same attribute is characterized based on same node, wait that setting up interlock rule carries out modeling in the mode of digraph to described, wait described in constructing to set up digraph to be set up corresponding to interlock rule, wherein, described attribute is for the affiliated type characterizing described trigger condition or perform an action; Described property value for characterize described trigger condition or described in perform an action;
The logical relation model set that the regular inventory of the described interlock of described acquisition is corresponding, described logical model set comprises and has set with described logical relation model corresponding to rule that link, and comprising:
Obtain the digraph set that the regular inventory of described interlock is corresponding, described digraph set comprises and has set with described the digraph of setting corresponding to rule that link, and the described same node sign set in digraph has the same target of the same alike result value of same alike result.
Preferably, described logical relation model described to be set up to be incorporated in described logical relation model set, to obtain logical relation set to be detected, comprising:
Detect in described digraph set whether exist include described in the target of at least one node that comprises in digraph to be set up set digraph;
When there is described target in described digraph set and having set digraph, the principle that same target has the same property value of same attribute is characterized based on described same node, digraph described to be set up and described target are set same node point in digraph merge, be integrated into a digraph so that digraph described to be set up and described target have been built digraph, obtain digraph to be detected;
Then whether have the logical relation model of logical problem in the described logical relation set to be detected of described detection, comprising:
When there is not described target in described digraph set and having set digraph, then wait to set up interlock rule and the setting in the regular inventory of described interlock described in determining and to link rule not subsistence logic problem;
When there is described target in described digraph set and having set digraph, detect in described digraph to be detected whether there is following one or more logical problem:
The circulating path that different node builds is there is in described digraph to be detected;
There are multiple nodes with same object mark, same alike result value in the node set that node on the mulitpath set out by same node in described digraph to be detected forms.
Preferably, also comprise:
When described in described testing result shows wait to set up between the logical relation having set the rule that link described in interlock rule and the regular inventory of described interlock not subsistence logic problem time, then wait to set up the rule that links add in the regular inventory of described interlock by described;
When described in described testing result shows wait set up to have set described in interlock rule and the regular inventory of described interlock link subsistence logic problem between regular logical relation time, export the prompting message for described logical problem.
Preferably, also comprise: when to detect in described logical relation set to be detected not subsistence logic problem time, store described logical relation set to be detected.
On the other hand, present invention also provides a kind of interlock generate rule device, comprising:
Rule unit, waits to set up interlock rule for obtaining;
Based on described, problem detection unit, for waiting that setting up interlock rule carries out problem detection with the regular inventory of interlock, produces testing result; The regular inventory of described interlock comprise set interlock rule;
By described, rule treatments unit, waits that setting up interlock rule adds the regular inventory of described interlock to for determining whether based on described testing result.
Preferably, described problem detection unit comprises:
Model construction unit, for setting up interlock regular triggered target, trigger condition, execution object based on described waiting and perform an action, waits described in structure to set up logical relation model to be set up corresponding to interlock rule;
Model set acquiring unit, for obtaining logical relation model set corresponding to the regular inventory of described interlock, described logical model set comprises and has set with described the model of setting logical relation corresponding to rule that link;
Model combination unit, for being incorporated in described logical relation model set by logical relation model described to be set up, obtains logical relation set to be detected;
Model inspection unit, for detecting the logical relation model whether having logical problem in described logical relation set to be detected.
Preferably, described model combination unit, comprising:
Object module matching unit, for detect described logical relation model set logical relation model in whether exist and meet pre-conditioned target logic relational model, described meet in pre-conditioned target logic relational model at least comprise: the triggered target being set with described trigger condition, and/or the execution object performed an action described in being set with;
Model combination subelement, for when there is described target logic relational model in described logical relation model set, adopting and logical relation model described to be set up and described target logic relational model being integrated, obtaining logical relation model to be detected;
Then described model inspection unit, comprising:
First detection sub-unit, for when there is not described target logic relational model in described logical relation model set, then waits described in determining that the setting of setting up in interlock rule and the regular inventory of described interlock to link between rule not subsistence logic problem;
Second detection sub-unit, for when there is described target logic relational model in described logical relation set, then detects in described logical relation model to be detected the logical problem whether existed between different object mutual relationship.
Preferably, described model construction unit, comprising:
Digraph construction unit, for characterizing based on same node the principle that same target has the same property value of same attribute, wait that setting up interlock rule carries out modeling in the mode of digraph to described, wait described in constructing to set up digraph to be set up corresponding to interlock rule, wherein, described attribute is for the affiliated type characterizing described trigger condition or perform an action; Described property value for characterize described trigger condition or described in perform an action;
Described model set acquiring unit, comprising:
Digraph set acquiring unit, for obtaining digraph set corresponding to the regular inventory of described interlock, described digraph set comprises and has set with described the digraph of setting corresponding to rule that link, and the described same node sign set in digraph has the same target of the same alike result value of same alike result.
Preferably, described model combination unit, comprising:
Target digraph detecting unit, for detect in described digraph set whether exist include described in the target of at least one node that comprises in digraph to be set up set digraph;
Digraph merges subelement, for when there is described target in described digraph set and having set digraph, the principle that same target has the same property value of same attribute is characterized based on described same node, digraph described to be set up and described target are set same node point in digraph merge, be integrated into a digraph so that digraph described to be set up and described target have been built digraph, obtain digraph to be detected;
Then described model inspection unit, comprising:
3rd detection sub-unit, for when there is not described target in described digraph set and having set digraph, then waits to set up interlock rule and the setting in the regular inventory of described interlock and to link rule not subsistence logic problem described in determining;
4th detection sub-unit, for when there is described target in described digraph set and having set digraph, detect in described digraph to be detected whether there is following one or more logical problem: in described digraph to be detected, there is the circulating path that different node builds; There are multiple nodes with same object mark, same alike result value in the node set that node on the mulitpath set out by same node in described digraph to be detected forms.
Preferably, described device also comprises:
Rule adding device, for described in showing when described testing result wait to set up between the logical relation having set the rule that link described in interlock rule and the regular inventory of described interlock not subsistence logic problem time, then wait to set up the rule that links add in the regular inventory of described interlock by described;
Remind output unit, for described in showing when described testing result wait set up to have set described in interlock rule and the regular inventory of described interlock link subsistence logic problem between regular logical relation time, export the prompting message for described logical problem.
Preferably, described device also comprises: logical relation storage unit, for when to detect in described logical relation set to be detected not subsistence logic problem time, store described logical relation set to be detected.
Known via above-mentioned technical scheme, getting after setting up interlock rule, directly this can't be waited that setting up interlock rule adds in the interlock rule inventory of application, but first detect this setting waiting to set up interlock rule and this interlock rule inventory and link between rule and whether have problems, then determining whether that according to testing result adding this waits to set up interlock rule, thus have problems between the interlock rule decreased owing to newly establishing and the interlock rule set, and it is unstable or occur the situation of endless loop to cause applying implementation.
Accompanying drawing explanation
In order to be illustrated more clearly in the technical scheme of the embodiment of the present application, below the accompanying drawing used required in describing embodiment is briefly described, apparently, accompanying drawing in the following describes is only the embodiment of the application, for those of ordinary skill in the art, under the prerequisite not paying creative work, other accompanying drawing can also be obtained according to the accompanying drawing provided.
Fig. 1 shows the schematic flow sheet of a kind of rule generating method embodiment that links of the application;
Fig. 2 shows the schematic flow sheet of a kind of another embodiment of rule generating method that links of the application;
Fig. 3 shows the schematic flow sheet of a kind of another embodiment of rule generating method that links of the application;
Fig. 4 a, 4b and Fig. 4 c respectively illustrates a kind of schematic diagram having set digraph, waited to set digraph and digraph to be detected of the application;
Fig. 5 a, 5b and Fig. 5 c respectively illustrates the schematic diagram that the application's another kind has set digraph, waited to set digraph and digraph to be detected;
Fig. 6 shows the structural representation of a kind of generate rule device embodiment that links of the application;
Fig. 7 shows the structural representation of a kind of another embodiment of generate rule device that links of the application.
Embodiment
Below in conjunction with the accompanying drawing in the embodiment of the present application, be clearly and completely described the technical scheme in the embodiment of the present application, obviously, described embodiment is only some embodiments of the present application, instead of whole embodiments.Based on the embodiment in the application, those of ordinary skill in the art are not making the every other embodiment obtained under creative work prerequisite, all belong to the scope of the application's protection.
See Fig. 1, it illustrates the schematic flow sheet of a kind of rule generating method embodiment that links of the application, the method for the present embodiment can comprise:
101, obtain and wait to set up interlock rule.
Wherein, this waits that setting up interlock rule is that user sets, and needs the interlock rule of adding in application.
Interlock rule generally has specific trigger condition and performs an action, after setting interlock rule in application, if reach trigger condition in this interlock rule, this application just can trigger this corresponding execution object that performs an action and perform performing an action in this interlock rule.
102, wait that setting up interlock rule carries out problem detection with the regular inventory of interlock, produces testing result based on this.
Wherein, this interlock rule inventory comprises and sets interlock rule.
Before this being waited setting up interlock rule is added in application, whether the embodiment of the present application also needs link between rule to this setting waiting to set up in interlock rule and this interlock rule inventory to carry out problem detection, application can be caused to analyze this to occur executive problem after setting up interlock rule and adding the regular inventory of this interlock to.
103, determine whether this to be waited setting up interlock rule adds this interlock rule inventory to based on this testing result.
If this testing result shows this setting waiting to set up in interlock inventory and this interlock rule inventory and links between rule and there is not the problem of impact, then treat this to set up interlock rule to add in this interlock rule inventory, complete setting this in the application and wait to set up interlock rule; If testing result shows to detect that this is waited to set up interlock rule and the setting in this interlock rule inventory rule that link and have problems, then do not perform and add this in this application and wait to set up the regular operation that links.
In the embodiment of the present application, getting after setting up interlock rule, directly this can't be waited that setting up interlock rule adds in the interlock rule inventory of application, but first detect this setting waiting to set up interlock rule and this interlock rule inventory and link between rule and whether have problems, then determining whether that according to testing result adding this waits to set up interlock rule, thus have problems between the interlock rule decreased owing to newly establishing and the interlock rule set, and it is unstable or occur the situation of endless loop to cause applying implementation.
Simultaneously, the embodiment of the present application is before adding and waiting to set up interlock rule, the problem that this waits to set up interlock rule and link between regular inventory can be detected, avoid in the regular inventory that links and occur different interlock rule possibility produced problem, like this, when application performs interlock rule, after causing performing an action and going wrong, user also can determine not have problems between interlock rule, thus can the current reason gone wrong that performs an action be accurately equipment failure.
Optionally, the problem linked in the embodiment of the present application between rule can comprise: there is conflict between interlock rule, or two or more interlock rule causes the Circular dependency between object.Such as, when application exists interlock rule: darkness is then turned on light, and darkness is then put the music on two rules that link, and puts the music on, turns off the light, then there will be conflict if user resets.And for example, when existing when condition is A in application, then when the B rule that performs an action, user resets when condition is that B then performs an action A, then because rule dependency causes the Circular dependency of A and B, cause this application to occur endless loop.
Wherein, whether waiting to set up interlock rule and the regular inventory of interlock to this, to carry out problem detection can be simulate to wait to set up link to set the regular implementation that links in rule and this interlock rule inventory, go wrong to detect implementation.
Be understandable that, if set in the regular inventory that links interlock regular more time, if simulate this respectively to wait to set up interlock rule and this has set the operation of interlock rule, then can be longer and cause testing process consuming time longer due to working time.
Optionally, in order to reduce the consuming time of problem detection, improving the flexibility ratio of problem detection, the mode of construction logic relational model can be adopted to carry out problem detection.As see Fig. 2, it illustrates the schematic flow sheet of a kind of another embodiment of rule generating method that links of the application, the method for the embodiment of the present application can comprise:
201, obtain and wait to set up interlock rule.
202, wait set up interlock regular triggered target, trigger condition, execution object and perform an action based on this, build this and wait to set up logical relation model to be set up corresponding to interlock rule.
Be understandable that, any interlock rule all comprises following parameter: the trigger condition of triggered target, this triggered target, perform performing an action of object and this execution object, based on these parameters just can determine this interlock rule logic execution relationship, thus determine triggered target and this perform an action between logical relation model.
Such as, in the interlock rule of " daybreak then turns on light ", then the triggered target related to is light sensor; Trigger condition is: this light sensor detects that current light condition meets daybreak condition; Execution object is lamp controller; Perform an action as turning on light.That is, the logical relation of this interlock rule is at day for working as light sensors to this current light, then this lamp controller of applications trigger performs action of turning on light, and therefore, can construct the logical relation model between this triggered target and this execution object according to this logical relation.
203, obtain the logical relation model set that this interlock rule inventory is corresponding.
Wherein, this logical model set comprises and to have set the model of setting logical relation corresponding to the rule that links with this.The every bar linked in regular inventory has set interlock rule all can find the corresponding model of setting logical relation in this logical relation set.
Be understandable that, the logical relation model that sets in this logical relation model can be the current logical relation model constructed in real time, also can be build in advance and the logical relation model stored.
204, this logical relation model to be set up is incorporated in this logical relation model set, obtains logical relation set to be detected.
For the ease of distinguishing, this is called logical relation model set to be detected wait the logical relation model obtained after setting up logical relation model and being incorporated into this logical relation model set setting up interlock rule corresponding.
205, detect the logical relation model whether having logical problem in described logical relation set to be detected.
Because this logical relation model set to be detected is incorporated with this logical relation model to be set up, therefore by detecting this logical relation model set to be detected, wherein whether have the logical relation model of logical problem to detect, with determine this logical relation model to be set up whether with set subsistence logic between logical relation model and conflict or cause occurring logic loops.
If have the logical relation model of logical problem in this logical relation set to be detected, this logical relation model to be set up is described and has set between logical relation model and have problems, namely this waits to set up interlock rule and set to link between rule to have problems.
Whether have problems in time setting up interlock rule and set up and linked between rule for the ease of analyzing this in the present embodiment, adopt the logical relation model to be set up building and wait to set up interlock rule, detect being incorporated to this logical relation model to be set up and comprising the logical relation model set to be detected setting logical relation model, consuming time relatively short due to analysis logic relational model whether subsistence logic problem, thus the consuming time of problem detection can be reduced.
Be understandable that, the model of setting logical relation that this logical relation model set comprises in the present embodiment may be corresponding one and set interlock rule, and also may be that correspondence is two or more have set interlock rule.As, when different set the triggered target corresponding to interlock rule or perform object identical time, in this logical relation model, a triggered target may only exist in a logical relation model, then these multiple multiple logical relation models set corresponding to logic rules may be then a part for same logical relation model respectively.
Accordingly, may be join in this logical relation model set as independently logical relation model using the process that this logical relation model to be set up is incorporated into this logical relation model set; Also may be that this logical relation model to be set up is integrated, be incorporated in this logical relation model set to realize this logical relation model to be set up.
Optionally, to wait that setting up interlock rule is incorporated in this logical relation model set, obtain logical relation set to be detected, can be: detect in the logical relation model of this logical relation model set whether to exist and meet pre-conditioned target logic relational model, wherein this meets in pre-conditioned target logic relational model and at least comprises: include triggered target identical in logical relation model to be set up with this, and the trigger condition triggering setting is identical with the trigger condition in this logical relation model to be set up; And/or, there is the execution object identical with logical relation model described to be set up, and it is identical with performing an action in logical relation model described to be set up to perform performing an action of object setting.
If when there is described target logic relational model in this logical relation model set, adopt and this logical relation model to be set up and this target logic relational model are integrated, obtain logical relation model to be detected, to realize this logical relation model to be set up to join in this logical relation model set.
Certainly, when there is not this target logic relational model in this logical relation model set, then can directly this logical relation model to be set up be added in this logical relation model set, namely, do not need through integrating, and this logical relation model to be set up is joined in this logical relation model set as independently model.
As, having set interlock rule is: when darkness is then put the music on.Wherein, this triggered target having set interlock rule is: light sensor; Trigger condition is darkness; Execution object is playing controller, performs an action as controlling broadcasting music.In this logical relation model set, include this set the model of setting logical relation corresponding to interlock rule, then this has set in logical relation model and has comprised the light sensor that this trigger condition is darkness.When wait setting up interlock rule for introducing above: when darkness is then turned on light, then also can include in the logical relation model to be set up constructed and there is the light sensor that this trigger condition is darkness.By this in time setting up logical relation model and be incorporated into this logical relation model set, can be that the triggered target in this logical relation model to be set up and this triggered target set in logical relation model are integrated into same triggered target, namely set up logical relation model and this set logical relation model as share this triggered target.
Accordingly, the logical relation model whether having logical problem in this logical relation set to be detected is detected, Ke Yiwei:
When there is this target logic relational model in this logical relation set, then detect in this this logical relation model to be detected obtained after setting up logical relation model and integrating from this target logic relational model set the logical problem whether existed between different object mutual relationship;
When there is not this target logic relational model in this logical relation model set, then determine that this setting waiting to set up in interlock rule and the regular inventory of described interlock to link between rule not subsistence logic problem.
Be understandable that, if the triggered target that any one in this logical relation model set has set in logical relation model is not identical with execution object with the triggered target performed in object logical relation model all to be set up with this, then can not occur performing different performing an action because triggered target triggers same execution object in identical trigger condition, also can not there is triggered target and perform the situation forming Circular dependency between object, therefore, when do not exist in this logical relation model set meet more than pre-conditioned target logic relational model time, then this logical relation model to be set up has set the situation that can not exist between logical model and conflict or occur Circular dependency with this.
Wherein, detect the logical problem that may exist in this logical relation model to be detected can comprise following one or both: in this logical relation model to be detected between this triggered target and this execution object exist circulation trigger; Or, this triggered target many logical paths that are starting point to exist the described execution object of multiple execution same type of action in this logical relation model to be detected.
Be understandable that, the logical relation model built based on interlock rule can be existing arbitrarily can the model of characterization logic relation.Optionally, the logical relation model built in the embodiment of the present application can be digraph, and as see Fig. 3, it illustrates the schematic flow sheet of a kind of another embodiment of rule generating method that links of the application, the method for the present embodiment can comprise:
301, obtain and wait to set up interlock rule.
302, characterize based on same node the principle that same target has the same property value of same attribute, in the mode of digraph, this is waited that setting up interlock rule carries out modeling, construct this and wait to set up digraph to be set up corresponding to interlock rule.
Wherein, this attribute is for the affiliated type characterizing this trigger condition or perform an action, and e.g., trigger condition is that to characterize darkness or daybreak etc. type be the attribute G that light is relevant.
For characterizing this trigger condition, maybe this performs an action this property value, and e.g., this trigger condition is darkness, then the property value characterizing light attribute G is 1, then property value be 1 attribute G represent that current light condition is darkness.
Wherein, in digraph, every bar limit is all directive, and on every bar limit, two nodes on summit characterize triggered target respectively and perform object, and wherein arrow top is triggered target, and the node pointed by arrow is for performing object.The node of this digraph can comprise object identity, attribute and property value in the embodiment of the present application.In this digraph, same node characterizes and has same alike result and symbolic animal of the birth year is worth identical same execution object or triggered target.
As, still turn on light to wait to set up interlock rule for darkness, in the digraph then built, two nodes represent light sensor and lamp controller respectively, then this digraph is by representing that the node of this light sensor points to the node of this lamp controller, and the attribute that the node of this light sensor has is light, property value is darkness, and the attribute that the node of this lamp controller has is lamp state, and property value is for turning on light.The digraph being pointed to this lamp controller node by the node of this light sensor represents when this light sensor detects that current is at dark, then trigger this lamp controller and perform action of turning on light.
303, obtain the digraph set that this interlock rule inventory is corresponding.
Wherein, this digraph set comprises and to have set the digraph of setting corresponding to the rule that links with this.
Wherein, in this digraph set each digraph building process with build that to wait to set up the link process of digraph corresponding to rule identical above.Then this same node set in digraph characterizes the same target with the same alike result value of same alike result.
304, this digraph to be set up is incorporated in this digraph set, obtains digraph set to be detected.
305, detect the digraph whether having logical problem in this digraph set to be detected.
Wherein, what this digraph to be set up is incorporated to logical relation model in the mode of this digraph set and Fig. 2 embodiment is incorporated to similar process, does not repeat them here.
Optionally, this digraph to be set up is incorporated in this digraph set can be:
Detect in this digraph set and whether there is the target including at least one node comprised in this digraph to be set up and set digraph;
When there is this target in this digraph set and having set digraph, the principle that same target has the same property value of same attribute is characterized based on this same node, this digraph to be set up and this target are set same node point in digraph merge, be integrated into a digraph so that this digraph to be set up and described target have been built digraph, obtain digraph to be detected.
Wherein, due to have identical in, only have that the object of expression, attribute and property value are all identical just thinks that node is identical, therefore, can detect in this digraph set and whether there is the node that comprises the setting digraph identical with the node in this digraph to be set up, so as to define characterize to set of graphs set the triggered target in interlock rule or perform object and whether wait to set up the triggered target that links in rule with this or perform object identical.
And it is not identical with execution object owing to setting the triggered target linked in rule and the triggered target performed in object logical relation model all to be set up with this, then can not occur performing different performing an action because triggered target triggers same execution object in identical trigger condition, also can not occur triggered target and perform the situation forming Circular dependency between object.Therefore, if there is not this target in digraph set when having set digraph, then determine that this is waited to set up interlock rule and the setting in this interlock rule inventory and to link rule not subsistence logic problem.
There is this target set digraph if had in set of graphs, then also need to detect in described digraph to be detected whether there is following one or more logical problem further:
The circulating path that different node builds is there is in this digraph to be detected;
There are multiple nodes with same object mark, same alike result in the node set that node on the mulitpath set out by same node in this digraph to be detected forms.
Wherein, if different node constructs circulating path, then application cycle can be made to perform and to cause endless loop.And if there is multiple sign same object, the node of identical symbolic animal of the birth year in the node set of node composition on multiple paths that in digraph, same node sets out, then illustrate that there will be same execution object performs difference and perform an action under identical trigger condition.
Respectively the situation detecting two kinds of logical problem in digraph is introduced with two examples below understanding.
The object identity of the object light sensor, music player and the lamp that first relate in hypothesis instance is respectively D1, D2 and D3.Light sensor represents that the bright dark attribute-bit of the colour of sky is A1, and the property value of attribute A1 is 0 and 1 represent darkness and daybreak respectively.Music player represents that the attribute-bit of broadcast state is A2, and the property value of this attribute is 0 and 1 represent player respectively and suspend and play.The attribute-bit of bulb indication lamp on off state is A3, and the property value of this attribute is 0 and 1 Guan Hekai representing lamp respectively.
One of them example is: suppose to exist in digraph set the digraph of setting setting interlock rule " turn on light, put the music on " correspondence, then this has set the regular triggered target related to of interlock is lamp; Trigger condition is for turning on light; Execution object is music player, performs an action as playing music.Then build this when having set the digraph of interlock rule, then need to build characterize lamp, attribute be A3 and property value be 1 node C; Build and characterize this music player, attribute is A2 and property value is the Node B of 1, the direction of arrow of the digraph of structure points to this Node B by node C, as shown in fig. 4 a.It should be noted that, in the figure of Fig. 4 a, 4b, 4c, 5a, 5b and 5c, circle identification nodes, letters different in circle represents different nodes, and the numeral below node in bracket from left to right represents object identity, attribute-bit and the property value under the attribute that this attribute-bit is corresponding represented by this node successively.
Be " put the music on, turn on light " when waiting to set up interlock rule, then the node related in the digraph of this structure comprise equally characterize lamp, attribute is A3 and property value is the Node B of 1; Build characterize this lamp, attribute be A2 and property value be 1 node C.Unlike, the direction of arrow of the digraph of structure points to this node C by Node B, as shown in Figure 4 b.
Then this digraph to be set up and this have been set digraph to integrate, be then merged by this node A2, and merged by node A3, the digraph to be detected obtained as illustrated in fig. 4 c.Occurred the circulation between two nodes in this digraph to be detected visible, then this is waited to set up interlock rule and has set with this rule that links and all exist, then can cause the Circular dependency of node, make application occur endless loop.
Another example is: suppose to exist in digraph set to set digraph, this set digraph interlock rule characterize " daybreak puts the music on; Put the music on, turn on light ", then this has set in digraph, then need to build to characterize light sensor D1, and attribute is A1, and property value is the node A of 1; Build and characterize music player D2, attribute is A2 and property value is the Node B of 1, build characterize lamp D3, attribute A3 and property value be 1 node C, then can obtain node A and point to Node B, and Node B points to the digraph of node C, as shown in Figure 5 a.
When in time setting up interlock rule for " put the music on, turn off the light ", then need to build sign music player D2, attribute is A2 and property value is the Node B of 1; Build and characterize lamp D3, attribute be A3 and property value be 0 node D, and in digraph, the direction of arrow points to node D by this Node B, as illustrated that this waits to set up digraph to be set up corresponding to interlock rule see Fig. 5 b.
This shown in Fig. 5 b is waited increase shown in digraph and Fig. 5 a this set digraph and integrated, Node B can be integrated, then obtain the digraph to be detected after integration as Fig. 5 c.As can be seen from Fig. 5 c, there are two paths in this Node B, and include attribute node C and node D in node set on this two paths, and the object that these two nodes characterize is identical, and attribute is identical, but symbolic animal of the birth year value is really not identical.Then this digraph to be set up with set digraph and there is conflict, namely this is waited to set up interlock rule " put the music on and turn off the light " and sets link regular " put the music on, turn on light " and conflict.
Optionally, can also comprise in any one embodiment above: when this testing result show this wait to set up between the logical relation having set the rule that link in interlock rule and this interlock rule inventory not subsistence logic problem time, then this is waited that setting up interlock rule adds in the regular inventory of this interlock.
Further, when this testing result shows that this is in time setting up subsistence logic problem between the logical relation having set the rule that links in interlock rule and the regular inventory of described interlock, export the prompting message for this logical problem, wait to set up interlock rule for amendment or this to point out.
In any one embodiment above, when adopting logical relation model to describe this interlock rule, if to detect in this detection logical relation set not subsistence logic problem time, store described logical relation set to be detected.Like this, follow-up get again other need setting interlocks rule time, still the logical relation model of this interlock rule can be built, and obtain this logical relation model set to be detected as the logical relation model set setting interlock rule, carry out logical problem detection so that follow-up based on this logical relation model and this logical relation model set.
The one interlock generate rule device of corresponding the embodiment of the present application, the embodiment of the present application additionally provides a kind of interlock generate rule device.
See Fig. 6, it illustrates the structural representation of a kind of generate rule device embodiment that links of the application, the device of the present embodiment can comprise:
Rule unit 601, waits to set up interlock rule for obtaining;
Based on described, problem detection unit 602, for waiting that setting up interlock rule carries out problem detection with the regular inventory of interlock, produces testing result; The regular inventory of described interlock comprise set interlock rule;
By described, rule treatments unit 603, waits that setting up interlock rule adds the regular inventory of described interlock to for determining whether based on described testing result.
In the embodiment of the present application, getting after setting up interlock rule, directly this can't be waited that setting up interlock rule adds in the interlock rule inventory of application, but first detect this setting waiting to set up interlock rule and this interlock rule inventory and link between rule and whether have problems, then determining whether that according to testing result adding this waits to set up interlock rule, thus have problems between the interlock rule decreased owing to newly establishing and the interlock rule set, and it is unstable or occur the situation of endless loop to cause applying implementation.
See Fig. 7, it illustrates the structural representation of a kind of another embodiment of generate rule device that links of the application, be with the difference of embodiment and previous one embodiment:
This problem detection unit 602 comprises in the present embodiment:
Model construction unit 6021, for setting up interlock regular triggered target, trigger condition, execution object based on described waiting and perform an action, waits described in structure to set up logical relation model to be set up corresponding to interlock rule;
Model set acquiring unit 6022, for obtaining logical relation model set corresponding to the regular inventory of described interlock, described logical model set comprises and has set with described the model of setting logical relation corresponding to rule that link;
Model combination unit 6023, for being incorporated in described logical relation model set by logical relation model described to be set up, obtains logical relation set to be detected;
Model inspection unit 6024, for detecting the logical relation model whether having logical problem in described logical relation set to be detected.
Optionally, described model combination unit can comprise:
Object module matching unit, for detect described logical relation model set logical relation model in whether exist and meet pre-conditioned target logic relational model, described meet in pre-conditioned target logic relational model at least comprise: the triggered target being set with described trigger condition, and/or the execution object performed an action described in being set with;
Model combination subelement, for when there is described target logic relational model in described logical relation model set, adopting and logical relation model described to be set up and described target logic relational model being integrated, obtaining logical relation model to be detected;
Then described model inspection unit, can comprise:
First detection sub-unit, for when there is not described target logic relational model in described logical relation model set, then waits described in determining that the setting of setting up in interlock rule and the regular inventory of described interlock to link between rule not subsistence logic problem;
Second detection sub-unit, for when there is described target logic relational model in described logical relation set, then detects in described logical relation model to be detected the logical problem whether existed between different object mutual relationship.
Optionally, in any one embodiment above, described device also comprises: logical relation storage unit, for when to detect in described logical relation set to be detected not subsistence logic problem time, store described logical relation set to be detected.
Optionally, described in Fig. 7 embodiment, model construction unit can comprise:
Digraph construction unit, for characterizing based on same node the principle that same target has the same property value of same attribute, wait that setting up interlock rule carries out modeling in the mode of digraph to described, wait described in constructing to set up digraph to be set up corresponding to interlock rule, wherein, described attribute is for the affiliated type characterizing described trigger condition or perform an action; Described property value for characterize described trigger condition or described in perform an action;
Described model set acquiring unit, comprising:
Digraph set acquiring unit, for obtaining digraph set corresponding to the regular inventory of described interlock, described digraph set comprises and has set with described the digraph of setting corresponding to rule that link, and the described same node sign set in digraph has the same target of the same alike result value of same alike result.
Optionally, comprise on the basis of described digraph construction unit at model construction unit, described model combination unit can comprise:
Target digraph detecting unit, for detect in described digraph set whether exist include described in the target of at least one node that comprises in digraph to be set up set digraph;
Digraph merges subelement, for when there is described target in described digraph set and having set digraph, the principle that same target has the same property value of same attribute is characterized based on described same node, digraph described to be set up and described target are set same node point in digraph merge, be integrated into a digraph so that digraph described to be set up and described target have been built digraph, obtain digraph to be detected;
Then described model inspection unit can comprise:
3rd detection sub-unit, for when there is not described target in described digraph set and having set digraph, then waits to set up interlock rule and the setting in the regular inventory of described interlock and to link rule not subsistence logic problem described in determining;
4th detection sub-unit, for when there is described target in described digraph set and having set digraph, detect in described digraph to be detected whether there is following one or more logical problem: in described digraph to be detected, there is the circulating path that different node builds; There are multiple nodes with same object mark, same alike result value in the node set that node on the mulitpath set out by same node in described digraph to be detected forms.
Described in any one embodiment above, device can also comprise:
Rule adding device, for described in showing when described testing result wait to set up between the logical relation having set the rule that link described in interlock rule and the regular inventory of described interlock not subsistence logic problem time, then wait to set up the rule that links add in the regular inventory of described interlock by described;
Remind output unit, for described in showing when described testing result wait set up to have set described in interlock rule and the regular inventory of described interlock link subsistence logic problem between regular logical relation time, export the prompting message for described logical problem.
In this instructions, each embodiment adopts the mode of going forward one by one to describe, and what each embodiment stressed is the difference with other embodiments, between each embodiment identical similar portion mutually see.For device disclosed in embodiment, because it corresponds to the method disclosed in Example, so description is fairly simple, relevant part illustrates see method part.
To the above-mentioned explanation of the disclosed embodiments, professional and technical personnel in the field are realized or uses the application.To be apparent for those skilled in the art to the multiple amendment of these embodiments, General Principle as defined herein when not departing from the spirit or scope of the application, can realize in other embodiments.Therefore, the application can not be restricted to these embodiments shown in this article, but will meet the widest scope consistent with principle disclosed herein and features of novelty.
Claims (14)
1. link a rule generating method, it is characterized in that, comprising:
Obtain and wait to set up interlock rule;
Wait that setting up interlock rule carries out problem detection with the regular inventory of interlock, produces testing result based on described; The regular inventory of described interlock comprise set interlock rule;
Determine whether to wait that setting up interlock rule adds the regular inventory of described interlock to by described based on described testing result.
2. method according to claim 1, is characterized in that, waits to set up to have set the whether subsistence logic problem of link between regular logical relation described in the logical relation of interlock rule and described interlock rule inventory described in described detection, comprising:
Set up interlock regular triggered target, trigger condition, execution object based on described waiting and perform an action, waiting described in structure to set up logical relation model to be set up corresponding to interlock rule;
Obtain the logical relation model set that the regular inventory of described interlock is corresponding, described logical model set comprises and has set with described the model of setting logical relation corresponding to rule that link;
Logical relation model described to be set up is incorporated in described logical relation model set, obtains logical relation set to be detected;
Detect the logical relation model whether having logical problem in described logical relation set to be detected.
3. method according to claim 2, is characterized in that, describedly waits to set up interlock rule be incorporated into described in described logical relation model set, obtains logical relation set to be detected, comprising:
Detect in the logical relation model of described logical relation model set whether to exist and meet pre-conditioned target logic relational model, described meet in pre-conditioned target logic relational model at least comprise: the triggered target being set with described trigger condition, and/or the execution object performed an action described in being set with;
When there is described target logic relational model in described logical relation model set, adopting and logical relation model described to be set up and described target logic relational model are integrated, obtaining logical relation model to be detected;
Then whether have the logical relation model of logical problem in the described logical relation set to be detected of described detection, comprising:
When there is not described target logic relational model in described logical relation model set, then the setting waiting described in determining to set up in interlock rule and the regular inventory of described interlock to link between rule not subsistence logic problem;
When there is described target logic relational model in described logical relation set, then detect in described logical relation model to be detected the logical problem whether existed between different object mutual relationship.
4. method according to claim 2, is characterized in that, describedly waits to set up triggered target, trigger condition, the execution object of interlock rule based on described and perform an action, and waits to set up logical relation model to be set up corresponding to interlock rule, comprising described in structure:
The principle that same target has the same property value of same attribute is characterized based on same node, wait that setting up interlock rule carries out modeling in the mode of digraph to described, wait described in constructing to set up digraph to be set up corresponding to interlock rule, wherein, described attribute is for the affiliated type characterizing described trigger condition or perform an action; Described property value for characterize described trigger condition or described in perform an action;
The logical relation model set that the regular inventory of the described interlock of described acquisition is corresponding, described logical model set comprises and has set with described logical relation model corresponding to rule that link, and comprising:
Obtain the digraph set that the regular inventory of described interlock is corresponding, described digraph set comprises and has set with described the digraph of setting corresponding to rule that link, and the described same node sign set in digraph has the same target of the same alike result value of same alike result.
5. method according to claim 4, is characterized in that, is describedly incorporated in described logical relation model set by logical relation model described to be set up, and obtains logical relation set to be detected, comprising:
Detect in described digraph set whether exist include described in the target of at least one node that comprises in digraph to be set up set digraph;
When there is described target in described digraph set and having set digraph, the principle that same target has the same property value of same attribute is characterized based on described same node, digraph described to be set up and described target are set same node point in digraph merge, be integrated into a digraph so that digraph described to be set up and described target have been built digraph, obtain digraph to be detected;
Then whether have the logical relation model of logical problem in the described logical relation set to be detected of described detection, comprising:
When there is not described target in described digraph set and having set digraph, then wait to set up interlock rule and the setting in the regular inventory of described interlock described in determining and to link rule not subsistence logic problem;
When there is described target in described digraph set and having set digraph, detect in described digraph to be detected whether there is following one or more logical problem:
The circulating path that different node builds is there is in described digraph to be detected;
There are multiple nodes with same object mark, same alike result value in the node set that node on the mulitpath set out by same node in described digraph to be detected forms.
6. method according to claim 1 and 2, is characterized in that, also comprises:
When described in described testing result shows wait to set up between the logical relation having set the rule that link described in interlock rule and the regular inventory of described interlock not subsistence logic problem time, then wait to set up the rule that links add in the regular inventory of described interlock by described;
When described in described testing result shows wait set up to have set described in interlock rule and the regular inventory of described interlock link subsistence logic problem between regular logical relation time, export the prompting message for described logical problem.
7. method according to claim 2, is characterized in that, also comprises: when to detect in described logical relation set to be detected not subsistence logic problem time, store described logical relation set to be detected.
8. link a generate rule device, it is characterized in that, comprising:
Rule unit, waits to set up interlock rule for obtaining;
Based on described, problem detection unit, for waiting that setting up interlock rule carries out problem detection with the regular inventory of interlock, produces testing result; The regular inventory of described interlock comprise set interlock rule;
By described, rule treatments unit, waits that setting up interlock rule adds the regular inventory of described interlock to for determining whether based on described testing result.
9. device according to claim 8, is characterized in that, described problem detection unit comprises:
Model construction unit, for setting up interlock regular triggered target, trigger condition, execution object based on described waiting and perform an action, waits described in structure to set up logical relation model to be set up corresponding to interlock rule;
Model set acquiring unit, for obtaining logical relation model set corresponding to the regular inventory of described interlock, described logical model set comprises and has set with described the model of setting logical relation corresponding to rule that link;
Model combination unit, for being incorporated in described logical relation model set by logical relation model described to be set up, obtains logical relation set to be detected;
Model inspection unit, for detecting the logical relation model whether having logical problem in described logical relation set to be detected.
10. device according to claim 9, is characterized in that, described model combination unit, comprising:
Object module matching unit, for detect described logical relation model set logical relation model in whether exist and meet pre-conditioned target logic relational model, described meet in pre-conditioned target logic relational model at least comprise: the triggered target being set with described trigger condition, and/or the execution object performed an action described in being set with;
Model combination subelement, for when there is described target logic relational model in described logical relation model set, adopting and logical relation model described to be set up and described target logic relational model being integrated, obtaining logical relation model to be detected;
Then described model inspection unit, comprising:
First detection sub-unit, for when there is not described target logic relational model in described logical relation model set, then waits described in determining that the setting of setting up in interlock rule and the regular inventory of described interlock to link between rule not subsistence logic problem;
Second detection sub-unit, for when there is described target logic relational model in described logical relation set, then detects in described logical relation model to be detected the logical problem whether existed between different object mutual relationship.
11. devices according to claim 9, is characterized in that, described model construction unit, comprising:
Digraph construction unit, for characterizing based on same node the principle that same target has the same property value of same attribute, wait that setting up interlock rule carries out modeling in the mode of digraph to described, wait described in constructing to set up digraph to be set up corresponding to interlock rule, wherein, described attribute is for the affiliated type characterizing described trigger condition or perform an action; Described property value for characterize described trigger condition or described in perform an action;
Described model set acquiring unit, comprising:
Digraph set acquiring unit, for obtaining digraph set corresponding to the regular inventory of described interlock, described digraph set comprises and has set with described the digraph of setting corresponding to rule that link, and the described same node sign set in digraph has the same target of the same alike result value of same alike result.
12. devices according to claim 9, is characterized in that, described model combination unit, comprising:
Target digraph detecting unit, for detect in described digraph set whether exist include described in the target of at least one node that comprises in digraph to be set up set digraph;
Digraph merges subelement, for when there is described target in described digraph set and having set digraph, the principle that same target has the same property value of same attribute is characterized based on described same node, digraph described to be set up and described target are set same node point in digraph merge, be integrated into a digraph so that digraph described to be set up and described target have been built digraph, obtain digraph to be detected;
Then described model inspection unit, comprising:
3rd detection sub-unit, for when there is not described target in described digraph set and having set digraph, then waits to set up interlock rule and the setting in the regular inventory of described interlock and to link rule not subsistence logic problem described in determining;
4th detection sub-unit, for when there is described target in described digraph set and having set digraph, detect in described digraph to be detected whether there is following one or more logical problem: in described digraph to be detected, there is the circulating path that different node builds; There are multiple nodes with same object mark, same alike result value in the node set that node on the mulitpath set out by same node in described digraph to be detected forms.
13. devices according to claim 8 or claim 9, it is characterized in that, described device also comprises:
Rule adding device, for described in showing when described testing result wait to set up between the logical relation having set the rule that link described in interlock rule and the regular inventory of described interlock not subsistence logic problem time, then wait to set up the rule that links add in the regular inventory of described interlock by described;
Remind output unit, for described in showing when described testing result wait set up to have set described in interlock rule and the regular inventory of described interlock link subsistence logic problem between regular logical relation time, export the prompting message for described logical problem.
14. devices according to claim 9, is characterized in that, described device also comprises: logical relation storage unit, for when to detect in described logical relation set to be detected not subsistence logic problem time, store described logical relation set to be detected.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510118105.1A CN104680031B (en) | 2015-03-18 | 2015-03-18 | Linkage rule generation method and device |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510118105.1A CN104680031B (en) | 2015-03-18 | 2015-03-18 | Linkage rule generation method and device |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN104680031A true CN104680031A (en) | 2015-06-03 |
| CN104680031B CN104680031B (en) | 2019-12-24 |
Family
ID=53315064
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201510118105.1A Active CN104680031B (en) | 2015-03-18 | 2015-03-18 | Linkage rule generation method and device |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN104680031B (en) |
Cited By (19)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105407089A (en) * | 2015-10-29 | 2016-03-16 | 青岛海尔智能家电科技有限公司 | Application scene creation detection method and device |
| CN105487381A (en) * | 2015-12-29 | 2016-04-13 | 联想(北京)有限公司 | Processing method and electronic device |
| CN106371326A (en) * | 2016-09-18 | 2017-02-01 | 海信集团有限公司 | Storage method and apparatus of equipment work scenes |
| CN106502111A (en) * | 2016-09-22 | 2017-03-15 | 深圳广田智能科技有限公司 | Intelligent engine linked system and method based on application abstract |
| CN106527168A (en) * | 2016-12-27 | 2017-03-22 | 海尔优家智能科技（北京）有限公司 | AllJoyn linkage control conflict resolution method, trigger and server |
| CN106899464A (en) * | 2017-02-28 | 2017-06-27 | 杭州古北电子科技有限公司 | Intelligent home furnishing control method |
| CN107425996A (en) * | 2016-05-24 | 2017-12-01 | 美的集团股份有限公司 | A kind of method and apparatus of node linkage |
| CN107958289A (en) * | 2016-10-18 | 2018-04-24 | 深圳光启合众科技有限公司 | Data processing method and device, robot for robot |
| CN108156029A (en) * | 2017-12-20 | 2018-06-12 | 中国电子科技集团公司信息科学研究院 | Capability of Internet of things integrates and combined system and ability integrates and combined method |
| CN108873730A (en) * | 2018-08-31 | 2018-11-23 | 珠海格力电器股份有限公司 | A kind of control method and equipment of home equipment |
| CN109725544A (en) * | 2018-12-26 | 2019-05-07 | 北京蓦然认知科技有限公司 | The method and device of dynamic construction conflict verification rule list in a kind of smart home |
| CN109782705A (en) * | 2018-12-17 | 2019-05-21 | 青岛海信智慧家居系统股份有限公司 | A kind for the treatment of method and apparatus in smart home system linkage circuit |
| CN109782613A (en) * | 2018-12-17 | 2019-05-21 | 青岛海信智慧家居系统股份有限公司 | A kind for the treatment of method and apparatus in smart home system linkage circuit |
| CN109936488A (en) * | 2019-03-12 | 2019-06-25 | 深圳绿米联创科技有限公司 | Method, apparatus, electronic equipment and the storage medium of linkage scheme processing |
| CN110347130A (en) * | 2019-07-15 | 2019-10-18 | 珠海格力电器股份有限公司 | Subsystems linkage control program processing method, device, system, equipment and medium |
| CN112214331A (en) * | 2020-10-14 | 2021-01-12 | 成都昆朋新能科技有限公司 | Linkage dead cycle avoidance algorithm based on smart home |
| CN112540584A (en) * | 2020-12-04 | 2021-03-23 | 广州大学 | Conflict detection method and system for linkage rules |
| CN113495491A (en) * | 2021-06-24 | 2021-10-12 | 深圳市晨北科技有限公司 | Method and device for displaying equipment linkage relationship, electronic equipment and storage medium |
| CN113848866A (en) * | 2021-11-17 | 2021-12-28 | 青岛海信智慧生活科技股份有限公司 | Detection method and device for linkage loop of smart home system |
Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101093559A (en) * | 2007-06-12 | 2007-12-26 | 北京科技大学 | Method for constructing expert system based on knowledge discovery |
| CN101339591A (en) * | 2008-08-29 | 2009-01-07 | 中国科学院软件研究所 | XACML policy rule checking method |
| CN101410824A (en) * | 2004-04-30 | 2009-04-15 | 微软公司 | End-user application customization using rules |
| CN103346912A (en) * | 2013-06-29 | 2013-10-09 | 华为技术有限公司 | Method, device and system for conducting warning correlation analysis |
| CN103827853A (en) * | 2011-09-29 | 2014-05-28 | 国际商业机器公司 | Minimizing rule sets in rule management system |
| CN103874986A (en) * | 2011-10-12 | 2014-06-18 | 迈克菲股份有限公司 | System and method for providing threshold levels on privileged resource usage in a mobile network environment |
-
2015
- 2015-03-18 CN CN201510118105.1A patent/CN104680031B/en active Active
Patent Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101410824A (en) * | 2004-04-30 | 2009-04-15 | 微软公司 | End-user application customization using rules |
| CN101093559A (en) * | 2007-06-12 | 2007-12-26 | 北京科技大学 | Method for constructing expert system based on knowledge discovery |
| CN101339591A (en) * | 2008-08-29 | 2009-01-07 | 中国科学院软件研究所 | XACML policy rule checking method |
| CN103827853A (en) * | 2011-09-29 | 2014-05-28 | 国际商业机器公司 | Minimizing rule sets in rule management system |
| CN103874986A (en) * | 2011-10-12 | 2014-06-18 | 迈克菲股份有限公司 | System and method for providing threshold levels on privileged resource usage in a mobile network environment |
| CN103346912A (en) * | 2013-06-29 | 2013-10-09 | 华为技术有限公司 | Method, device and system for conducting warning correlation analysis |
Non-Patent Citations (7)
| Title |
|---|
| H. HU ET.AL: "Semantic Web-based policy interaction detection method with rules in smart home for detecting interactions among user policies", 《THE INSTITUTION OF ENGINEERING AND TECHNOLOGY 2011》 * |
| HONG LUO ET.AL: "A Rule Verification and Resolution Framework in Smart Building System", 《19TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS》 * |
| LIMING CHEN ET.AL: "An Ontology-Based Hybrid Approach to Activity Modeling for Smart Homes", 《IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS》 * |
| MOHAMED SHEHATA ET.AL: "Managing Policy Interactions in KNX-Based Smart Homes", 《31TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE》 * |
| MOHAMED SHEHATA ET.AL: "Using semi-formal methods for detecting interactions among smart homes policies", 《SCIENCE OF COMPUTER PROGRAMMING》 * |
| PATTARA LEELAPRUTE: "Resolution of Feature Interactions in Integrated Services of Home Network System", 《PROCEEDINGS OF ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS 2007》 * |
| XUKAI WANG ET.AL: "Service conflict detection and avoidance based on scene with urgency degree", 《2014 TENTH INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION HIDING AND MULTIMEDIA SIGNAL PROCESSING》 * |
Cited By (25)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105407089A (en) * | 2015-10-29 | 2016-03-16 | 青岛海尔智能家电科技有限公司 | Application scene creation detection method and device |
| CN105487381A (en) * | 2015-12-29 | 2016-04-13 | 联想(北京)有限公司 | Processing method and electronic device |
| CN107425996A (en) * | 2016-05-24 | 2017-12-01 | 美的集团股份有限公司 | A kind of method and apparatus of node linkage |
| CN107425996B (en) * | 2016-05-24 | 2020-03-17 | 美的集团股份有限公司 | Node linkage method and device |
| CN106371326A (en) * | 2016-09-18 | 2017-02-01 | 海信集团有限公司 | Storage method and apparatus of equipment work scenes |
| CN106502111A (en) * | 2016-09-22 | 2017-03-15 | 深圳广田智能科技有限公司 | Intelligent engine linked system and method based on application abstract |
| CN107958289A (en) * | 2016-10-18 | 2018-04-24 | 深圳光启合众科技有限公司 | Data processing method and device, robot for robot |
| WO2018072482A1 (en) * | 2016-10-18 | 2018-04-26 | 深圳光启合众科技有限公司 | Data processing method and device for robot, and robot |
| CN106527168A (en) * | 2016-12-27 | 2017-03-22 | 海尔优家智能科技（北京）有限公司 | AllJoyn linkage control conflict resolution method, trigger and server |
| CN106899464A (en) * | 2017-02-28 | 2017-06-27 | 杭州古北电子科技有限公司 | Intelligent home furnishing control method |
| CN108156029A (en) * | 2017-12-20 | 2018-06-12 | 中国电子科技集团公司信息科学研究院 | Capability of Internet of things integrates and combined system and ability integrates and combined method |
| CN108873730A (en) * | 2018-08-31 | 2018-11-23 | 珠海格力电器股份有限公司 | A kind of control method and equipment of home equipment |
| CN109782705A (en) * | 2018-12-17 | 2019-05-21 | 青岛海信智慧家居系统股份有限公司 | A kind for the treatment of method and apparatus in smart home system linkage circuit |
| CN109782613A (en) * | 2018-12-17 | 2019-05-21 | 青岛海信智慧家居系统股份有限公司 | A kind for the treatment of method and apparatus in smart home system linkage circuit |
| CN109725544A (en) * | 2018-12-26 | 2019-05-07 | 北京蓦然认知科技有限公司 | The method and device of dynamic construction conflict verification rule list in a kind of smart home |
| CN109936488A (en) * | 2019-03-12 | 2019-06-25 | 深圳绿米联创科技有限公司 | Method, apparatus, electronic equipment and the storage medium of linkage scheme processing |
| CN109936488B (en) * | 2019-03-12 | 2021-06-29 | 深圳绿米联创科技有限公司 | Linkage scheme processing method and device, electronic equipment and storage medium |
| CN110347130A (en) * | 2019-07-15 | 2019-10-18 | 珠海格力电器股份有限公司 | Subsystems linkage control program processing method, device, system, equipment and medium |
| CN110347130B (en) * | 2019-07-15 | 2020-11-20 | 珠海格力电器股份有限公司 | Subsystem linkage control scheme processing method, device, system, equipment and medium |
| CN112214331A (en) * | 2020-10-14 | 2021-01-12 | 成都昆朋新能科技有限公司 | Linkage dead cycle avoidance algorithm based on smart home |
| CN112540584A (en) * | 2020-12-04 | 2021-03-23 | 广州大学 | Conflict detection method and system for linkage rules |
| CN112540584B (en) * | 2020-12-04 | 2022-11-08 | 国网浙江省电力有限公司信息通信分公司 | Conflict detection method and system for linkage rules |
| CN113495491A (en) * | 2021-06-24 | 2021-10-12 | 深圳市晨北科技有限公司 | Method and device for displaying equipment linkage relationship, electronic equipment and storage medium |
| CN113848866A (en) * | 2021-11-17 | 2021-12-28 | 青岛海信智慧生活科技股份有限公司 | Detection method and device for linkage loop of smart home system |
| CN113848866B (en) * | 2021-11-17 | 2023-10-24 | 青岛海信智慧生活科技股份有限公司 | Method and device for detecting intelligent home system linkage loop |
Also Published As
| Publication number | Publication date |
|---|---|
| CN104680031B (en) | 2019-12-24 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN104680031A (en) | Linkage rule generation method and device | |
| CN104166942B (en) | Trans-regional supply district searching method and its system based on CIM | |
| CN105426309B (en) | Automatic example generation method and device | |
| CN104614601B (en) | A kind of terminal fault localization method, apparatus and system | |
| CN106597866A (en) | Intelligent home system and timed task conflict resolving method applied by same | |
| CN110602854B (en) | Topological structure recognition system and method for intelligent lighting system | |
| CN105629156A (en) | Genetic programming-based analog circuit fault test optimal sequential search method | |
| CN105955882B (en) | A kind of method for generating test case and device of iterative learning model behavior similitude | |
| CN105933145A (en) | Adjacent matrix based dependent network system and frangibility detection method thereof | |
| André et al. | Formalizing non-concurrent UML state machines using colored Petri nets | |
| WO2023142062A1 (en) | Workflow generation method and system, and medium and program product | |
| CN103412253B (en) | Interconnect architecture modeling method and interconnect resources configuration vector automatic generation method | |
| CN111797152B (en) | Data scene generation method and device and computer equipment | |
| Gaglio et al. | A fast and interactive approach to application development on wireless sensor and actuator networks | |
| Mohamed et al. | A fault detection and diagnosis framework for ambient intelligent systems | |
| WO2023142061A1 (en) | Workflow generation method, device and system, medium, and program product | |
| CN111898227A (en) | Networked reliability simulation analysis method based on multiple intelligent agents | |
| Bianchi et al. | Applying predicate abstraction to abstract state machines | |
| Estivill-Castro et al. | Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. | |
| CN108920311A (en) | A kind of test method and test equipment of Intelligent lamp | |
| Bedi et al. | Loop based algorithm for automatic sketching of planar kinematic chains | |
| Makhshari et al. | IoT development in the wild: bug taxonomy and developer challenges | |
| CN105446808A (en) | Method for compound task to complete complex task | |
| Bader | Consistency of Goalaviour-Based Control Systems | |
| WO2023142077A1 (en) | Workflow generation method, device and system, medium, and program product |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |