Sound monitor generating system and method based on property sequence chart

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

[0001] technical field [0002] The invention relates to a listener generation system and method based on an attribute sequence diagram, relates to monitoring the system during operation in an open environment, and belongs to the field of information technology. Background technique [0003] In recent years, due to the emergence of new paradigms such as SOA (Service-Oriented Architecture), the environment of software-intensive systems is developing from static, closed, and controllable to dynamic, open, and uncontrollable. The behavior of the software system in this open environment is easily affected by its internal framework and input from the external environment, which leads to software failure. The traditional design-time verification technology can only ensure that the behavior of the software system meets the properties required in a closed or controllable environment, and cannot fully consider the constantly changing environment and the execution state of the system ...

AI Technical Summary

Problems solved by technology

The behavior of the software system in this open environment is easily affected by its internal framework and input from the external environment, resulting in software failure.

The traditional design-time verification technology can only ensure that the behavior of the software system meets the properties required in a closed or controllable environment, and cannot fully take into account the constantly changing environment and the execution state of the system when the system is running.

Images