CN107153678A - Triggering method and device that a kind of short message is reminded - Google Patents
Triggering method and device that a kind of short message is reminded Download PDFInfo
- Publication number
- CN107153678A CN107153678A CN201710252879.2A CN201710252879A CN107153678A CN 107153678 A CN107153678 A CN 107153678A CN 201710252879 A CN201710252879 A CN 201710252879A CN 107153678 A CN107153678 A CN 107153678A
- Authority
- CN
- China
- Prior art keywords
- short message
- boolean
- reminded
- string
- triggering
- 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.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/90—Details of database functions independent of the retrieved data types
- G06F16/903—Querying
- G06F16/90335—Query processing
- G06F16/90344—Query processing by using string matching techniques
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04W—WIRELESS COMMUNICATION NETWORKS
- H04W4/00—Services specially adapted for wireless communication networks; Facilities therefor
- H04W4/12—Messaging; Mailboxes; Announcements
- H04W4/14—Short messaging services, e.g. short message services [SMS] or unstructured supplementary service data [USSD]
Landscapes
- Engineering & Computer Science (AREA)
- Databases & Information Systems (AREA)
- Theoretical Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Computational Linguistics (AREA)
- Data Mining & Analysis (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
The triggering method and device reminded the invention discloses a kind of short message, the triggering method include the steps, step 1, read the related service parameter of short message to be triggered；Step 2, the service parameter is configured in string expression, calculates the Boolean of the string expression；Step 3, if the Boolean is "true", triggering short message is reminded；If the Boolean is "false", return to step 1；The triggering device includes：Read module, configuration module and judge module.The present invention is substituted " enumerating judgment mode " by " string expression asks for bohr value " mode, size of code has been simplified significantly, the problems such as thorough redundancy for solving conventional method presence is big, exploitation frequency is high, Innovation Input is big, it is of the invention that there are the outstanding advantages such as configurability is strong, flexibility is strong.
Description
Technical field
The present invention relates to Communication Control Technology field, specifically for, the triggering side that the present invention reminds for a kind of short message
Method and device.
Background technology
In telecommunications industry, short message reminding business is a very important service link, wherein short message reminding platform mould
In block, the logic for triggering short message sending, there is substantial amounts of condition coupling, for example：The success of A condition couplings, then trigger B short messages hair
Send；According to UNICOM's code requirement, condition coupling species has following several major classes：Threshold value is reminded, i.e., XX set meals usage amount exceedes total
Amount 80% when, activation threshold value alarm message；The surplus of the current account balance of balance reminding, i.e. user, sends out push note；Shape
State change is reminded, and is such as changed to from " effective status " " supplementing phase state with money ", and triggering short message is pushed；Flow binds prompting, that is, specifies
The set meal that binds, reach the cap value specified, triggering short message is pushed.
In condition coupling link, realizing the traditional approach of above-mentioned purpose is：Using " the condition in program code
With " form enumerated with substantial amounts of condition in method, parameter is read in, writes in if, else in Rule of judgment, realizes phase
The scene answered judges.
But, there are the following problems for traditional design method：
First, substantial amounts of condition, which is enumerated, causes the redundancy of code high：All scenes or situation must be enumerated one by one, and research and development are thrown
Enter cost very high.
2nd, exploitation frequency is high：If increasing the scene do not enumerated, program code can only be readjusted, so as to lead
Cause code development frequency too high.
3rd, it is difficult to the high short message reminding business of complexity：With the development of telecommunication service, short message reminding business is answered
Miscellaneous degree is constantly increasing, and the condition that triggering short message is reminded is converted to that " multiple conditions are simultaneously by original " single regulation is matched "
With "；Set meal by " single threshold is given " (such as：Preceding 100M is free, rear charge) develop into " cyclic reward " (such as：Preceding 100M gives, after
40M charges, then rear 100M free, then rear 40M or how many M charges ... ..., circulation), the higher condition coupling of such complexity
It can only be realized in an encoding process by way of " writing dead "；However, such way, does not adapt to a variety of different answer
Miscellaneous short message reminding business and the business that may be continually changing over time, thus be worthless in programming.
Therefore, how to solve to realize that code redundancy present in short message reminding business process is high, exploitation frequency is high, research and development
The problem of input is big, logic implementation is complicated, becomes those skilled in the art's technical problem urgently to be resolved hurrily and research
Emphasis.
The content of the invention
To solve to realize problems present in short message reminding business process, reminded the invention discloses a kind of short message
Triggering method and device, the implementation process to short message reminding business by way of string expression are optimized, and are reduced
The complexity of code, greatly reduces the overlapping development of code, reduces and realizes that the research and development during short message reminding business are thrown
Enter.
To realize above-mentioned technical purpose, the invention discloses the triggering method that a kind of short message is reminded, the triggering method bag
Include the steps,
Step 1, the related service parameter of short message to be triggered is read；
Step 2, the service parameter is configured in string expression, calculates the boolean of the string expression
Value；
Step 3, if the Boolean is "true", triggering short message is reminded；If the Boolean is "false", return
Step 1.
The present invention innovatively realizes the triggering of short message prompting by the configuration of string expression, it is to avoid in traditional scheme
The problems such as code redundancy is high, overlapping development frequency is big, not only reduces R＆D costs, and it is necessarily also carried in the long run
High research and development speed.
Further, in step 2, the string expression includes arithmetic operator symbol, relational operator, logical operator
And parameter, the mode of configuration is that the relation between each service parameter is converted into string expression description, by the parameter
Replace with the corresponding service parameter of parameter.
By including the string expression of a variety of operators, it can like clockwork give expression to and whether trigger short message prompting
Decision logic, and then triggering short message is reminded exactly.
Further, in the arithmetic speed for raising string expression and the degree of accuracy, step 2, in addition to string table
The step of being parsed up to formula, calculates the Boolean of the string expression after parsing.
Further, in step 2, the string expression, the root section of the binary tree are parsed in the form of binary tree
Point is included between the Boolean of string expression, two child nodes of same father node by relational operator or logic fortune
Operator computing, each father node includes Boolean；The boolean of the string expression is calculated by recursive mode layer by layer
Value.
The present invention innovatively by On Binary Tree Representation string expression, the node of each different branch can concurrent operation,
Improve the execution speed of the present invention.
Further, in step 1, the service parameter is by way of acquisition inside telecommunication system and/or exterior arrangement
Produce.
Another goal of the invention of the present invention is to provide the triggering device that a kind of short message is reminded, and the triggering device includes：
Read module, configuration module and judge module；
The read module, the related service parameter of the short message to be triggered for reading；
The configuration module, for the service parameter to be configured in string expression, calculates the character string
The Boolean of expression formula；
The judge module, judges whether that triggering short message is carried for judging that the Boolean is true and false, and according to judged result
Wake up.
The present invention innovatively realizes the triggering of short message prompting by the configuration of string expression, it is to avoid in traditional scheme
The problems such as code redundancy is high, overlapping development frequency is big, not only reduces R＆D costs, and improve research and development in the long run
Speed.
Further, the string expression includes arithmetic operator symbol, relational operator, logical operator and ginseng
Amount, the parameter is used to be replaced by its corresponding service parameter.
Further, the configuration module includes character string parsing unit and computing unit, the character string parsing unit
For parsing string expression, the computing unit is used for the Boolean for calculating the string expression after parsing.
Further, the character string parsing unit is binary tree, and the root node of the binary tree reaches including string table
The Boolean of formula, each father node includes Boolean.
Further, the read module is at least one of internal acquisition module, exterior arrangement module.
Beneficial effects of the present invention are：The present invention is substituted by " string expression asks for bohr value " mode and " is enumerated and sentenced
Disconnected mode ", has simplified size of code significantly, and the redundancy for thoroughly solving conventional method presence is big, exploitation frequency is high, Innovation Input
Big the problems such as, the present invention has the outstanding advantages such as configurability is strong, flexibility is strong.
The present invention realizes the various common scenes of flexible configuration and complex scene by the computing between parameter；It is achieved thereby that
Complex scene configures the principle of fast, multiple condition superposed configurations, considerably increases the flexibility of program, reduces modification generation
The frequency of code, the technique effect with " putting things right once and for all ".
Brief description of the drawings
Fig. 1 is the triggering method schematic flow sheet that short message is reminded.
Fig. 2 is the triggering device composition schematic diagram that short message is reminded.
Fig. 3 is the schematic flow sheet that Boolean is returned by binary tree.
Fig. 4 is binary tree composition schematic diagram.
Embodiment
The triggering method and device reminded with reference to Figure of description short message of the present invention carry out detailed explanation and said
It is bright.
As shown in Figure 1,2,3, 4, it is branch in a kind of condition criterion the invention discloses the triggering method that a kind of short message is reminded
The triggering method of parameter computing is held, bohr value is asked for by string expression, replaces traditional " enumerating judgment mode "；This is touched
Forwarding method comprises the following steps.
Step 1, the related service parameter of short message to be triggered is read；In the present embodiment, service parameter passes through telecommunication system
Inside is obtained and/or the mode of exterior arrangement is produced."and/or" is interpreted as two conditions while setting up or one of condition
Set up, in the present embodiment, service parameter can be obtained inside telecommunication system, can also be arranged to by outworker
Arrive, or not only obtain but also obtained from outworker's configuration from telecommunication system inside.
Step 2, service parameter is configured in string expression, the mode of configuration is that parameter is replaced with into parameter correspondence
Service parameter, and the structure between each service parameter relation be converted into string expression be described, calculate character
The Boolean of string expression.
In the present embodiment, before Boolean is calculated, the step of step 2 is also parsed including string expression, Ran Houji
Calculate the Boolean of the string expression after parsing.More specifically, Two Binomial Tree Model is constructed according to string expression, with
The form parsing string expression of binary tree, the root node of binary tree includes the Boolean of string expression, same father's section
By relational operator or logical operator computing between two child nodes of point, and structure node content, each father node
Including Boolean；The quantity of the relationship object constituted according to service parameter, in string expression exp, sequentially will each be closed
It is that object is converted to a string expression exp, several domains is resolved into by relational operator or logical operator,
exp1、exp2、……expn, binary tree is converted into, as shown in figure 4, in the present embodiment, the node format of binary tree is：“1
Or 2:Variable ", wherein " 1 " represents to deposit " treating operation expression " in variable, uses exp1、exp2、……expnRepresent, it is only
It is the operation expression containing service parameter；" 2 " represent connection two child nodes relational operator, with REL1, REL2 ...
RELN is represented.Such as, " such as such expression formulas of 23* (348+567) %500 ", the present invention can pass through long strbc
(char*exp) method is calculated and asked for.By expression formula exp1、exp2、……expnReturn value return to its father node；Father node
The bohr value of oneself is obtained by its RELN, the father node to upper strata is returned again to；So recurrence layer by layer, finally gets root node
Bohr value, i.e. the final bohr value of exp expression formula if " 1 ", then triggers short message and reminds；If " 0 ", then do not touch
Send short messages prompting, carry out next round judgement.
In the present embodiment, string expression exp includes arithmetic operator symbol, relational operator, logical operator and parameter；
Wherein, arithmetic operator symbol includes "+", "-", " * ", "/", " % ", " ++ ", " -- " etc., relational operator including "==", "！
=", ">”、“<”、“>=", "<=" etc., logical operator includes " ＆＆ ", " | | ", "！", " ^ ", " ＆ ", " | " etc..
Step 3, if Boolean is "true", triggering short message is reminded；If Boolean is "false", return to step 1, weight
It is new to carry out triggering step.
As shown in Fig. 1,3,4, of the invention several specific parameters together, form word by several symbol combinations
String expression exp is accorded with, in matching condition, is judged：When exp is " true ", then triggers short message and push and remind, when exp is
When " false ", then reminded without short message.By the above-mentioned triggering method based on string expression exp, the present invention makes program
Greatly strengthened in terms of the flexibility of design, configurability.
Such as, the present invention can be implemented as follows.
In circulation set meal 80% early warning short message condition is used per free of cost amount.
Configuring thinking is：The value that " set meal usage amount " and " set meal internal circulating load " remainder are calculated be less than " set meal always the amount of giving " with
The value that " set meal internal circulating load " remainder is calculated, and " set meal usage amount with this usage amount and " and " set meal internal circulating load " remainder meter
The value of calculation is more than the value that " set meal always the amount of giving " is calculated with " set meal internal circulating load " remainder；I.e.
((param2%param4)<(param3%param4)) ＆＆ (((param2+param1) %param4))>
(param3%param4))
Many condition matching scene under, AAA set meals, surplus less than 80%, and Sorry, your ticket has not enough value 10 yuan when, triggering short message push away
Send.Configuring thinking is：Current set meal is AAA, and usage amount is more than 80% and current balance of total amount less than 10 yuan；I.e.：
exp：(param5==AAA) ＆＆ (param2+param1>param3*0.8)&&(param8<10).Following table is in condition expression
Corresponding parameter in formula.
As shown in Figure 2,4, the invention also discloses the triggering device that a kind of short message is reminded, it can be applied to telecommunication charging system
In, specifically in SMS platform module, in advance, attendant can record the decision condition of various scenes in " short breath condition
In table ", this table can be loaded into internal memory by SMS platform program；The present invention is used based on SMS platform, receives telecom charging
Short message is triggered during the ticket sigma delta of system upstream module to judge；SMS platform can be traveled through " short message condition table ", obtain shaping
Condition fields in part table；Condition coupling is carried out one by one.The triggering device includes：Read module, configuration module and judgement
Module, the present invention can be realized using software, but if implementing the triggering device of the present invention using pure hardware, read module, be matched somebody with somebody
Putting module and judge module can be sequentially connected, and be described as follows.
Read module, the related service parameter of the short message to be triggered for reading；In the present embodiment, read module is inside
At least one of acquisition module, exterior arrangement module.
Configuration module, for service parameter to be configured in string expression, calculates the boolean of string expression
Value；String expression includes arithmetic operator symbol, relational operator, logical operator and parameter, and parameter is used to replace with it
Corresponding service parameter.More specifically, configuration module includes character string parsing unit and computing unit, character string parsing unit
For parsing string expression, computing unit is used for the Boolean for calculating the string expression after parsing.The present embodiment
In, character string parsing unit is binary tree, and the root node of binary tree includes the Boolean of string expression, each father node bag
Include Boolean.
Judge module, judges whether that triggering short message is reminded for judging that Boolean is true and false, and according to judged result.If cloth
Value of is "true", then triggers short message and remind；If Boolean is "false", return to step 1.
In the present invention, unless otherwise clearly defined and limited, term " installation ", " connected ", " connection ", " fixation " etc.
Term should be interpreted broadly, for example, it may be fixedly connected or be detachably connected, or integrally；Can be that machinery connects
Connect or electrically connect；Can be joined directly together, can also be indirectly connected to by intermediary, can be in two elements
The connection in portion or the interaction relationship of two elements, unless otherwise clear and definite restriction.For one of ordinary skill in the art
For, the concrete meaning of above-mentioned term in the present invention can be understood as the case may be.
In the description of this specification, reference term " one embodiment ", " some embodiments ", " the present embodiment ", " specific
The description of example " or " some examples " etc. mean to combine the specific features that the embodiment or example describe, structure, material or
Feature is contained at least one embodiment of the present invention or example.In this manual, to the schematic representation of above-mentioned term
Necessarily it is directed to identical embodiment or example.Moreover, specific features, structure, material or the feature of description can be
Combined in an appropriate manner in any one or more embodiments or example.In addition, in the case of not conflicting, this area
Technical staff can be carried out the feature of the not be the same as Example described in this specification or example and non-be the same as Example or example
With reference to and combination.
The foregoing is merely illustrative of the preferred embodiments of the present invention, is not intended to limit the invention, all in essence of the invention
Any modification, equivalent substitution and simple modifications for being made in content etc., should be included in the scope of the protection.Such as,
It is genuine situation for above-mentioned trigger condition matching result under the technical inspiration of the present invention, corresponding short message can be triggered and reminded；
That is, the parameter configured in the condition fields of " short breath condition table ", is also used as in follow-up " short message sending table "
Parameter.Citing：Time type YY, MM, can ask for YY, MM as 2016 and 10 in technical scheme first step.If sending short
Content is believed for " by the end of in October, 2016, you ... ", can be configured to " by the end of the YY MM months, you ... "；Incorporate this
The theory that parameter can be allowed to participate in computing is planted, allows the configuration of many redundancies to be simplified, frequently code adjustment becomes only to configure
Adjustment.
Claims (10)
1. the triggering method that a kind of short message is reminded, it is characterised in that：The triggering method includes the steps,
Step 1, the related service parameter of short message to be triggered is read；
Step 2, the service parameter is configured in string expression, calculates the Boolean of the string expression；
Step 3, if the Boolean is "true", triggering short message is reminded；If the Boolean is "false", return to step
1。
2. the triggering method that short message according to claim 1 is reminded, it is characterised in that：In step 2, the string table reaches
Formula includes arithmetic operator symbol, relational operator, logical operator and parameter, and the mode of configuration is by between each service parameter
Relation is converted to string expression description, the parameter is replaced with to the corresponding service parameter of parameter.
3. the triggering method that short message according to claim 1 or 2 is reminded, it is characterised in that：In step 2, in addition to character
The step of string expression is parsed, calculates the Boolean of the string expression after parsing.
4. the triggering method that short message according to claim 3 is reminded, it is characterised in that：In step 2, in the form of binary tree
The string expression is parsed, the root node of the binary tree includes the Boolean of string expression, same father node
By relational operator or logical operator computing between two child nodes, each father node includes Boolean；By layer by layer
Recursive mode calculates the Boolean of the string expression.
5. the triggering method that the short message according to claim 1 or 4 is reminded, it is characterised in that：In step 1, the business ginseng
Number is produced by way of acquisition and/or exterior arrangement inside telecommunication system.
6. the triggering device that a kind of short message is reminded, it is characterised in that：The triggering device includes：Read module, configuration module and sentence
Disconnected module；
The read module, the related service parameter of the short message to be triggered for reading；
The configuration module, for the service parameter to be configured in string expression, calculates the string table and reaches
The Boolean of formula；
The judge module, judges whether that triggering short message is reminded for judging that the Boolean is true and false, and according to judged result.
7. the triggering device that short message according to claim 6 is reminded, it is characterised in that：The string expression includes calculating
Number operator, relational operator, logical operator and parameter, the parameter are used to be replaced by its corresponding service parameter.
8. the triggering device that the short message according to claim 6 or 7 is reminded, it is characterised in that：The configuration module includes word
Symbol string resolution unit and computing unit, the character string parsing unit are used to parse string expression, and the computing unit is used
In the Boolean for calculating the string expression after parsing.
9. the triggering device that short message according to claim 8 is reminded, it is characterised in that：The character string parsing unit is two
Fork tree, the root node of the binary tree includes the Boolean of string expression, and each father node includes Boolean.
10. the triggering device that the short message according to claim 6 or 9 is reminded, it is characterised in that：The read module is inside
At least one of acquisition module, exterior arrangement module.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710252879.2A CN107153678A (en) | 2017-04-18 | 2017-04-18 | Triggering method and device that a kind of short message is reminded |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710252879.2A CN107153678A (en) | 2017-04-18 | 2017-04-18 | Triggering method and device that a kind of short message is reminded |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN107153678A true CN107153678A (en) | 2017-09-12 |
Family
ID=59793992
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710252879.2A Pending CN107153678A (en) | 2017-04-18 | 2017-04-18 | Triggering method and device that a kind of short message is reminded |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107153678A (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109947401A (en) * | 2019-03-15 | 2019-06-28 | 第四范式（北京）技术有限公司 | The method and device handled by computer executing rule |
| CN113179494A (en) * | 2021-04-16 | 2021-07-27 | 北京思特奇信息技术股份有限公司 | Short message-based service handling method and system |
Citations (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1653726A (en) * | 2002-03-11 | 2005-08-10 | 张丁懋 | Proximity triggered job scheduling system and method |
| CN101115094A (en) * | 2006-07-29 | 2008-01-30 | 华为技术有限公司 | Method for providing communication service and system and trigger device |
| CN101507229A (en) * | 2006-09-05 | 2009-08-12 | 艾利森电话股份有限公司 | Network node optimization with triggered expressions |
| CN102521411A (en) * | 2011-12-28 | 2012-06-27 | 畅捷通信息技术股份有限公司 | Formula and formula data processing device and formula and formula data processing method |
| CN103136288A (en) * | 2011-12-05 | 2013-06-05 | 上海博路信息技术有限公司 | Multi-dimensional information system of mobile terminal |
| CN103929829A (en) * | 2013-01-11 | 2014-07-16 | 通用汽车有限责任公司 | Telematics Control Utilizing Relational Formulas |
| CN104661195A (en) * | 2013-11-19 | 2015-05-27 | 腾讯科技（深圳）有限公司 | Information prompting method and device |
| CN106331100A (en) * | 2016-08-24 | 2017-01-11 | 金蝶软件（中国）有限公司 | Method and device for pushing business information to be processed |
| CN106361238A (en) * | 2016-09-13 | 2017-02-01 | 北京小米移动软件有限公司 | Tableware cleaning device and control method thereof |
-
2017
- 2017-04-18 CN CN201710252879.2A patent/CN107153678A/en active Pending
Patent Citations (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1653726A (en) * | 2002-03-11 | 2005-08-10 | 张丁懋 | Proximity triggered job scheduling system and method |
| CN101115094A (en) * | 2006-07-29 | 2008-01-30 | 华为技术有限公司 | Method for providing communication service and system and trigger device |
| CN101507229A (en) * | 2006-09-05 | 2009-08-12 | 艾利森电话股份有限公司 | Network node optimization with triggered expressions |
| CN103136288A (en) * | 2011-12-05 | 2013-06-05 | 上海博路信息技术有限公司 | Multi-dimensional information system of mobile terminal |
| CN102521411A (en) * | 2011-12-28 | 2012-06-27 | 畅捷通信息技术股份有限公司 | Formula and formula data processing device and formula and formula data processing method |
| CN103929829A (en) * | 2013-01-11 | 2014-07-16 | 通用汽车有限责任公司 | Telematics Control Utilizing Relational Formulas |
| CN104661195A (en) * | 2013-11-19 | 2015-05-27 | 腾讯科技（深圳）有限公司 | Information prompting method and device |
| CN106331100A (en) * | 2016-08-24 | 2017-01-11 | 金蝶软件（中国）有限公司 | Method and device for pushing business information to be processed |
| CN106361238A (en) * | 2016-09-13 | 2017-02-01 | 北京小米移动软件有限公司 | Tableware cleaning device and control method thereof |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109947401A (en) * | 2019-03-15 | 2019-06-28 | 第四范式（北京）技术有限公司 | The method and device handled by computer executing rule |
| CN113179494A (en) * | 2021-04-16 | 2021-07-27 | 北京思特奇信息技术股份有限公司 | Short message-based service handling method and system |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Norvig | Marker passing as a weak method for text inferencing | |
| Mauw et al. | A process specification formalism | |
| Wang et al. | Introducing software architecture specification and analysis in SAM through an example | |
| Svensson et al. | A unified semantics for future Erlang | |
| CN110472030A (en) | Man-machine interaction method, device and electronic equipment | |
| Bravetti et al. | Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time | |
| CN109189393A (en) | Method for processing business and device | |
| CN107153678A (en) | Triggering method and device that a kind of short message is reminded | |
| US20030128214A1 (en) | Framework for domain-independent archetype modeling | |
| Meyers et al. | Composing textual modelling languages in practice | |
| Hu et al. | Component-based hierarchical state machine—A reusable and flexible game AI technology | |
| van Glabbeek | Justness: A completeness criterion for capturing liveness properties | |
| Coutaz et al. | Applications: A dimension space for user interface management systems | |
| Backes | Cryptographically sound analysis of security protocols | |
| Bottoni et al. | Specifying dialog control in visual interactive systems | |
| CN106991124A (en) | Answer method and system based on how interactive situation editor | |
| CN107832593A (en) | Application program control method, application program control device and terminal | |
| Clark | A general architecture for heterogeneous language engineering and projectional editor support | |
| Aguirre et al. | Hierarchical temporal specifications of dynamically reconfigurable component based systems | |
| Bliudze et al. | Causal semantics for the algebra of connectors | |
| Pazzi | Explicit aspect composition by part-whole state charts | |
| Buchs et al. | Distributed system specification using CO-OPN | |
| Xiong et al. | Argumentation in multi-agent system based on jade | |
| Talpin et al. | From multi-clocked synchronous processes to latency-insensitive modules | |
| Wu et al. | Implementing prioritized logic programming |
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 | ||
| RJ01 | Rejection of invention patent application after publication | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20170912 |