CN103500134B - Sound monitor generating system and method based on property sequence chart - Google Patents
Sound monitor generating system and method based on property sequence chart Download PDFInfo
- Publication number
- CN103500134B CN103500134B CN201310481229.7A CN201310481229A CN103500134B CN 103500134 B CN103500134 B CN 103500134B CN 201310481229 A CN201310481229 A CN 201310481229A CN 103500134 B CN103500134 B CN 103500134B
- Authority
- CN
- China
- Prior art keywords
- sequence chart
- audiomonitor
- property sequence
- goal systems
- game structure
- 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.)
- Expired - Fee Related
Links
Abstract
The invention discloses a sound monitor generating system and method based on a property sequence chart. The property sequence chart is used for describing behavior of a known system and obtaining a game structure corresponding to the known system and eventually, sound monitors which correspond to components participating in interaction with a system and the environment respectively are obtained and used for monitoring the known system. Thus, the aim of preventing the system from failing is achieved. A property sequence chart editer provides a completely graphical window for a user to draw out interaction in the system. The property sequence chart is converted into a rule (standard) of the game structure and converted into the game structure according to the rule. A game structure window displays the game structure generated by the property sequence chart. The game structure is converted into a rule (standard) of the sound monitors. The game structure generates multiple sound monitors according to the rule. A monitor window is used for displaying all the sound monitors. According to the sound monitor generating system and method based on the property sequence chart, monitoring results with more details are obtained according to the features of multiple-valued semantics possessed by the game structure and needed information is provided for stopping and recovering failure.
Description
Technical field
The present invention relates to a kind of audiomonitor based on property sequence chart generates system and method, it is related to right under open environment
Monitor when system is run, belong to areas of information technology.
Background technology
In recent years, due to the appearance of this kind of new normal form of soa (service-oriented architecture), software key
The environment of collection type system from static, closing, can steering be dynamic, open, uncontrollable development.Software under this open environment
System action is highly susceptible to its inner frame and the impact from external environment condition input, thus leading to software failure.Tradition
Design when verification technique can only ensure that the behavior of software system meets the attribute of needs under closing or controllable environment it is impossible to complete
Entirely consider during system operation, not stopping the execution state of the environment and system changing.The juche idea of runtime verification is generation one
Individual when can check operation behavior whether meet the watch-dog of system needs attribute, these attributes are with a kind of specific language table
Show.The checking of attribute has focused largely on logic-based specification and is based on two methods of scene specification.The form of logic-based is usual
Than based on the form of scene, there is higher ability to express, but provided based on the method for scene extensive in industrial practice
Using graphical specification form.
Property sequence chart is a kind of visible language based on scene it is readily appreciated that and having stronger ability to express.Root
Message is divided three classes by the semanteme according to property sequence chart: canonical message (e :), pressure message (r :), error message (f :) simultaneously define
Strict operation (strict), without the strict operation of definition is exactly loose order.Message can be added in sequence of attributes in figure
Plus limit, such as: unwanted message constraint, unwanted chain constraint, wanted
Chain constraint etc., these restrictions all comprise past and future two class.Property sequence chart can also be used to represent
And (parallel), circulation (loop), the alternately operation such as (alternative).Property sequence chart can overcome in current industrial
Many expression defects present in conventional sign.
Game structure is more similar with common automat on sentence structure, but except for the difference that, game structure has
Many-valued semantic it is provided that more detailed monitored results and provide required information to stop to realize and recover to lose efficacy.And from
Motivation typically only has two values of true and false.The state of game structure and message can be divided into system controlled and environment respectively
Controlled.The state of the game structure generating herein, according to system or environment, controlled or uncontrollable, can be divided into 7 classes to solve
Release the semanteme of psc: meet, infinitely controlled, system limited steerable, system emergency are controlled, environment limited steerable, environment are promptly controlled
And break rules.
Aspect oriented programming(Aspect-oriented programming) can be by precompile mode and run duration
Dynamic proxy is realized dynamically adding function to program in the case of not changing source code.Aop code is exactly previously mentioned
" watch-dog ", generates aop code according to gs, and the present invention can not make any modification to original system code using aop technology
On the premise of watch-dog is added to each assembly or service, this watch-dog can capture internal system and internal system with outer
Whether " legal " information exchange between portion's environment, judge the behavior of system, thus reaching monitoring during the operation to whole system
Even the failure behaviour of system is made prediction, stops and recovered.
Content of the invention
Goal of the invention: for problems of the prior art, the present invention provides a kind of monitoring based on property sequence chart
Device generates system and method, improves the reliability of runtime system and safety under open environment.
Technical scheme: a kind of audiomonitor based on property sequence chart generates system, including application layer, user mutual layer with patrol
Collect layer;
A) application layer: this layer is goal systems, the monitored object of audiomonitor.Firstly the need of in analysis application layer system
Portion and outside interaction, draw demand.The audiomonitor ultimately generating is also applicable in application layer, and original system is in the prison of audiomonitor
Control is lower to be run, to monitor the generation even predicting, preventing thrashing.
B) user mutual layer: by the desktop end program realization of entitled " psc2gs " and interacting of user, its user hands over
Mutually interface includes property sequence chart editor, game topology window and audiomonitor generation window.
C) logical layer: this layer mainly has two logics, and psc2gs rule is mainly by the genus in property sequence chart editor
Property sequence chart change into game structure and game topology window output;Gs2aop rule mainly will be rich in game topology window
Play chess thaumatropy and become monitors i.e. aop code and in the output of audiomonitor window.
A kind of audiomonitor generation method based on property sequence chart, comprises the steps:
Step 1, design attributes sequence chart, software developer is according between each assembly of open system and intraware
Interacting between external environment condition draws soft in the property sequence chart editor (psc editor) in system (psc2gs)
The patterned flow process interacting between each assembly and intraware and external environment condition in part system, i.e. property sequence chart.To each
Individual message adds the necessary operation limiting and corresponding message is added needs.
Step 2, generates game structure, is changed into visual software system operational process according to drawn property sequence chart
The game structure of textual form, the form of game structure is similar to automat but is slightly different in the expression of state and message.
Game structure contains the essential information that automatization generates watch-dog, such as: source and target of message, the content of message
And source end sends the method called of message, method that target end received message is called, the type content of message
Etc..
Step 3, generates monitor, according to the game structure generating, generates corresponding watch-dog.For in system each
Produce the assembly of interaction or service all generates a single watch-dog.
Destination software systems are monitored by step 4, the watch-dog of each assembly is modified, makes it possible in mesh
Trouble-free operation in mark software system is monitored to original system in the case of not changing original system thus reaching.
Beneficial effect: compared with prior art, the game structure that the present invention generates is on sentence structure with common automatic
Machine is more similar, but except for the difference that, automat typically only has two values of true and false, and game structure has many-valued language
Justice is it is provided that more detailed monitored results and provide required information to stop to realize and recover to lose efficacy.
Brief description
Fig. 1 is the system framework figure of the embodiment of the present invention;
Fig. 2 is the schematic flow sheet of design system property sequence chart of the present invention;
Fig. 3 is the property sequence chart of the embodiment of the present invention;
Game structure and the sectional drawing of audiomonitor that Fig. 4 generates for the embodiment of the present invention;
Fig. 5 is that goal systems dict of the embodiment of the present invention with the addition of the operation result after audiomonitor.
Specific embodiment
With reference to specific embodiment, it is further elucidated with the present invention it should be understood that these embodiments are merely to illustrate the present invention
Rather than restriction the scope of the present invention, after having read the present invention, the various equivalences to the present invention for the those skilled in the art
The modification of form all falls within the application claims limited range.
It is illustrated in figure 1 the system framework figure of the present invention:
A) application layer: this layer is goal systems, the monitored object of audiomonitor.Firstly the need of in analysis application layer system
Portion and outside interaction, draw demand.The audiomonitor ultimately generating is also applicable in application layer, and original system is in the prison of audiomonitor
Control is lower to be run, to monitor the generation even predicting, preventing thrashing.
B) user mutual layer: the present invention is implemented as the desktop end program of a entitled " psc2gs ", its user mutual
Interface as shown in Figure 41 is property sequence chart editor, 2 is game topology window, 3 generate window for audiomonitor.
C) logical layer: this layer mainly has two logics, and psc2gs rule is mainly by the genus in property sequence chart editor
Property sequence chart change into game structure and game topology window output;Gs2aop rule mainly will be rich in game topology window
Play chess thaumatropy and become monitors i.e. aop code and in the output of audiomonitor window.
If Fig. 2 is the schematic flow sheet of design system property sequence chart.Comprise the steps:
Step 101, is familiar with interacting between user's request and goal systems inside and internal system and external environment condition;
Step 102, draws all assemblies (bundles) participating in interaction;
Step 103, draws the messages of all interaction needs and gives message type and message content;
Step 104, travels through all message, for needing plus restriction (strict, unwantedmessage etc.)
Message adds and limits;
Step 105, adds operator(par, alt, loop according to system requirements for corresponding messages);
If Fig. 3 is the property sequence chart of Application Example dict system.Describe in whole query script each bundle it
Between message interaction and limit.
As Fig. 4 changes into game structure and then changes into final for the dict system property sequence chart of the present embodiment
Sectional drawing at the end of monitors whole flow process.Illustrate the whole human-computer interaction interface of this instrument.
Monitors as Fig. 5 generates for the present embodiment is added into the output sectional drawing of the operation result after original system.Figure
In printed the state that each bundle is experienced in querying flow, and message transmission etc. information.
Claims (4)
1. a kind of audiomonitor based on property sequence chart generate system it is characterised in that: include application layer, user mutual layer and patrol
Collect layer;
Application layer: application layer is goal systems, the monitored object of audiomonitor;The inside of analysis goal systems and outside friendship
Mutually, draw demand;The audiomonitor ultimately generating is also applicable in application layer, and goal systems are run under the monitoring of audiomonitor, with
The generation of thrashing is even predicted, is prevented in monitoring;
User mutual layer: by the desktop end program realization of entitled " psc2gs " and interacting of user, its User Interface
Generate window including property sequence chart editor, game topology window and audiomonitor;
Logical layer: logical layer includes two logics, two logics are respectively psc2gs rule and gs2aop rule;Psc2gs rule
Property sequence chart in property sequence chart editor is changed into game structure and in the output of game topology window;Gs2aop advises
Then the game thaumatropy in game topology window is become audiomonitor i.e. aop code and in audiomonitor generation window output,
Aop is Aspect-oriented programming.
2. a kind of audiomonitor generation method based on property sequence chart is it is characterised in that comprise the steps:
Step 1, design attributes sequence chart, software developer is according between each assembly of goal systems and intraware and outside
Interaction between environment, draws target system in the property sequence chart editor in the desktop end program of entitled " psc2gs "
The patterned flow process interacting between the patterned flow process of interaction and intraware and external environment condition between each assembly in system;
Each message is added with the necessary operation limiting and corresponding message being added with needs;
Step 2, generates game structure, according to drawn property sequence chart, visual goal systems operational process is changed into text
The game structure of form;
Step 3, generates audiomonitor, according to the game structure generating, generates corresponding audiomonitor;For each product in goal systems
The assembly of raw interaction or service all generate a single audiomonitor;
Goal systems are monitored by step 4, and the audiomonitor of each assembly is modified, and make it possible to smooth in systems
Run and in the case of not changing goal systems, goal systems are monitored thus reaching.
3. the audiomonitor generation method based on property sequence chart as claimed in claim 2 it is characterised in that: step 1 design belongs to
Property sequence chart before include the step that understands the inside and outside interaction of goal systems and understand user's request.
4. the audiomonitor generation method based on property sequence chart as claimed in claim 2 it is characterised in that: step 4 is to target
System is monitored, and in the case of not changing any code of goal systems, goal systems is entered when goal systems are monitored
Row monitoring, as long as just can be to goal systems in the case of understanding transmission and reception message approach between goal systems assembly
It is monitored.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310481229.7A CN103500134B (en) | 2013-10-15 | 2013-10-15 | Sound monitor generating system and method based on property sequence chart |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310481229.7A CN103500134B (en) | 2013-10-15 | 2013-10-15 | Sound monitor generating system and method based on property sequence chart |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103500134A CN103500134A (en) | 2014-01-08 |
CN103500134B true CN103500134B (en) | 2017-02-01 |
Family
ID=49865349
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310481229.7A Expired - Fee Related CN103500134B (en) | 2013-10-15 | 2013-10-15 | Sound monitor generating system and method based on property sequence chart |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103500134B (en) |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102546624A (en) * | 2011-12-26 | 2012-07-04 | 西北工业大学 | Method and system for detecting and defending multichannel network intrusion |
CN102664917A (en) * | 2012-03-26 | 2012-09-12 | 河海大学 | Method for carrying out online failure prediction on WEB service composition |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8141042B2 (en) * | 2007-03-06 | 2012-03-20 | International Business Machines Corporation | Extending portability of java code through the use of AOP |
-
2013
- 2013-10-15 CN CN201310481229.7A patent/CN103500134B/en not_active Expired - Fee Related
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102546624A (en) * | 2011-12-26 | 2012-07-04 | 西北工业大学 | Method and system for detecting and defending multichannel network intrusion |
CN102664917A (en) * | 2012-03-26 | 2012-09-12 | 河海大学 | Method for carrying out online failure prediction on WEB service composition |
Also Published As
Publication number | Publication date |
---|---|
CN103500134A (en) | 2014-01-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Campos et al. | Model checking interactor specifications | |
Dimyadi et al. | Modelling and accessing regulatory knowledge for computer-assisted compliance audit | |
CN113805867A (en) | Internet of things platform based on visual static script engine | |
Parekh et al. | Retrofitting autonomic capabilities onto legacy systems | |
Zhao et al. | Program behavior discovery and verification: A graph grammar approach | |
US20220078072A1 (en) | Closed-loop automation of a managed network | |
CN101794224A (en) | Software run-time property monitoring method based on property specification mode | |
Hallé et al. | Declarative layout constraints for testing web applications | |
Dautov et al. | Addressing self-management in cloud platforms: a semantic sensor web approach | |
Liu et al. | A two-layered framework for the discovery of software behavior: A case study | |
Abid et al. | A formal framework to specify and verify real-time properties on critical systems | |
CN103500134B (en) | Sound monitor generating system and method based on property sequence chart | |
CN116991396A (en) | Scene-based self-defining flow and self-defining template double-engine system and method | |
CN103399746B (en) | Information management system convenient to develop secondarily and development method | |
dos Santos et al. | Using model transformation to generate graphical counter-examples for the formal analysis of xUML models | |
Baran et al. | Information System for Quality Control of Polyethylene Production in a Circular Economy. | |
CN102053839A (en) | Monitoring probe generating method and device | |
Rekhis et al. | Modeling real-time design patterns with the UML-RTDP profile | |
Khan et al. | Semantic web specification using Z-notation | |
Vassev et al. | The ASSL approach to specifying self‐managing embedded systems | |
Marinho et al. | A verification mechanism of feature models for mobile and context-aware software product lines | |
Alipui et al. | Reducing complexity of diagnostic message pattern specification and recognition on in-bound data using semantic techniques | |
Liu et al. | Specifying and enforcing high-level semantic obligation policies | |
Dautov et al. | On the role of stream reasoning in run-time monitoring and analysis in autonomic systems | |
Shi et al. | A Method of UML Sequence Diagram Verification Based on a Graph Grammar |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20170201 Termination date: 20211015 |
|
CF01 | Termination of patent right due to non-payment of annual fee |