CN108021746A - A kind of EFSM model stale event restorative procedures based on dependence - Google Patents

A kind of EFSM model stale event restorative procedures based on dependence Download PDF

Info

Publication number
CN108021746A
CN108021746A CN201711225963.1A CN201711225963A CN108021746A CN 108021746 A CN108021746 A CN 108021746A CN 201711225963 A CN201711225963 A CN 201711225963A CN 108021746 A CN108021746 A CN 108021746A
Authority
CN
China
Prior art keywords
migration
model
event
information
path
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
Application number
CN201711225963.1A
Other languages
Chinese (zh)
Inventor
李征
史婷婷
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beijing University of Chemical Technology
Original Assignee
Beijing University of Chemical Technology
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Beijing University of Chemical Technology filed Critical Beijing University of Chemical Technology
Priority to CN201711225963.1A priority Critical patent/CN108021746A/en
Publication of CN108021746A publication Critical patent/CN108021746A/en
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/20—Design optimisation, verification or simulation

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

The invention discloses a kind of EFSM model stale event restorative procedures based on dependence, belong to the fields such as communications protocol, embedded system.When the external environment condition of model changes, show that the model stage fails for the event in model migration, and then cause model part path to perform, ultimately result in the failure of partial function in model.The model restorative procedure that this method is related to is divided into two core operations of dependency analysis stage and migration path repairing phase.Original restorative procedure uses the analysis method of accessibility, has carried out complete deletion to the relevant information after failure event, has caused model largely to migrate the failure with state, so as to cause the forfeiture of model major part function.The dependency analysis that this method passes through model, impacted migration, which is divided into, can repair migration and unrepairable migration, and repaired by the migration path reparation rule that this method proposes, this method ensure that repair after model executable path and master mould semantic congruence.

Description

A kind of EFSM model stale event restorative procedures based on dependence
Technical field
The present invention relates to a kind of EFSM model stale event restorative procedures based on dependence, belong to communications protocol, embedding The fields such as embedded system.
Background technology
Extended finite state machine (Extended Finite State Machine, EFSM) has very strong data modeling With behavior modeling ability, had a wide range of applications in fields such as communications protocol, embedded systems.Extended finite state machine (Extended Finite State Machine, EFSM) model：EFSM can be expressed as one hexa-atomic group, M=(S, s0, T, E, G, A), wherein S represents stateful set, and s0 ∈ S represent original state, and T is the set of all migrations, and E is migration On event event set, G is the set of the upper Rule of judgment guard of migration, and A is the set of all operation action.It is each A migration t ∈ T have a source state and dbjective state, are expressed as source (t), target (t), each migration t Event [guard]/action is may be expressed as, after event event is triggered, if the condition in guard meets, that Perform the operation in action.When the identical dbjective state of the source state of two migrations is different, i.e. source (t1) =source (t2) and target (t1)≠target(t2), this two migrations are called fraternal migration；If the source of two migrations State is identical, and dbjective state is also identical, i.e. source (t1)=source (t2) and target (t1)=target (t2), this Two migration is called parallel migration；If the source state of a migration is identical with dbjective state, i.e. source (t)=target (t), then this migration is called self-loopa migration.
The reflection that changes of environment residing for EFSM models shows as the failure of the upper event of model migration in a model.To grind Study carefully influence of the environmental change to model, major technique is to perform model for impacted event with analysis method of reachability at present Section, maximizes the impacted part of reduction model, it is ensured that the model after section is a minimum influenced from failure event EFSM models.
The content of the invention
It is an object of the invention to propose a kind of EFSM model stale event restorative procedures based on dependence, the party Method is from the angle of model reparation, using more reserving model functions as principle, it is proposed that a kind of model event based on dependence Fail restorative procedure.
To achieve the above object, the technical solution adopted by the present invention is lost for a kind of EFSM models event based on dependence Restorative procedure is imitated, when the external environment condition of model changes, shows the model stage for the event hair in model migration Raw failure, and then cause model part path to perform, ultimately result in the failure of model part function.The mould that this method is related to Type restorative procedure is divided into two core operations of dependency analysis stage and migration path repairing phase.
Firstth, the dependency analysis stage：When external environment condition fails, the failure of external environment condition is converted into model level The failure of trigger event in migration.Dependency analysis are carried out to model for failure event, the dependency analysis of EFSM models mainly wrap Include that control relies on and data dependence, control rely on the structural relation mainly described between being migrated in model, and data dependence Data dependence relation between the upper variable of migration is mainly described.According to dependency analysis, pair with being migrated where failure event Relied in the presence of control and the migration information of data dependence is analyzed, determine to repair in master mould M respectively by four kinds of situations Information and unrepairable information, delete unrepairable information, obtain mid-module M ', meanwhile, according to can restoration information And model dependence, determine that migration path can be repaired.
Secondth, migration path repairing phase：For migration path can be repaired in M ', the consideration based on security, with mould The mode for increasing new migration and merging migration path in type proposes that migration path reparation rule repairs model, obtains new mould Type M ".
The two steps are described in detail individually below.
Firstth, EFSM model restorative procedures in the dependency analysis stage, are determined in model by failure event by dependency analysis The migration information of influence, and the recoverability of these information is analyzed, determine to repair migration path in model.
If two migrations only exist control dependence, between the information and other migrations where failure event in migration There is no data dependence relation, into may be not present because failure event causes the imponderable possibility of its dependent variable.In this case Variable information in two migrations is all (except the failure event) that can retain.At this time, with by between this two migrations Path can repair migration path as one.
And for there is data dependence, it is necessary to travel through model dependency graph between two migrations, obtain between migrating Data dependence relation, showing whether the failure of the upper event of migration has the upper information of other migrations influences.According to data dependence Feature, two migration on there is a situation where that data dependence is divided into following four situation：
1) when one migrates TiOn event with another migration TjOn guard there are during data dependence, it is necessary to delete TjTo ensure the normal operation of model other parts function.
2) when one migrates TiOn event with another migration TjOn action there are during data dependence, it is necessary to Tj On action information deleted.
3) when one migrates TjGuard with failure migration TiOn action information between there are data dependence, two to move Information is all recoverable in shifting.At this time, with from TiStart to reach TjPath conduct can repair migration path.
4) when one migrates TjAction with failure migration TiOn action information between there are data dependence, two Information is all recoverable in migration.At this time, with from TiStart to reach TjPath conduct can repair migration path.
Secondth, migration path repairing phase：The consideration of the problems such as by model information reservation and security, binding model Sizing section and indefinite form section are upper to model state and the operation migrated, the characteristics of based on context of methods itself, to EFSM moulds Type migration path reparation rule is defined, and specific rules are as follows：
Migration path reparation rule：For migration path can be repaired such as, t1,t2,…,tn, wherein t1It is that starting migrates, tnIt is Terminate migration, by a new migration t 'nAdd migration set, wherein source (t 'n)=source (t1), target (t 'n)= target(tn), and t 'nLabel be：
(i)tnTrigger event be used as t 'nTrigger event, event (t 'n)=event (tn)；
(ii)t1,t2,…,tnGuard, by logical "and" operation connect, be used as t 'nNew guard；
(iii) by t1,t2,…,tnAction, get up successively according to its original sequential combination, be used as t 'nIt is new action。
After by migration path reparation rule, migration of the new script not in master mould, institute are with the addition of in model The new model of formation is not necessarily the submodel of master mould, but whole model is being semantically consistent with mid-module.
Compared with prior art, the present invention has the advantages that.
Original restorative procedure uses the analysis method of accessibility, the relevant information after failure event has been carried out completely Deletion, cause model largely to migrate the failure with state, so as to cause the forfeiture of model major part function.
This method is according to dependency analysis method, with the minimum principle for deleting unrepairable information, reservation mould as much as possible The angle of most of function in type is set out, it is proposed that a kind of model restorative procedure, it is ensured that model exists in failure event In the case of still allow the most function of model to continue to execute.
Brief description of the drawings
Fig. 1 is the implementing procedure figure of the method for the present invention.
Embodiment
A kind of EFSM model stale event restorative procedures based on dependence, when the external environment condition of model is changed When, show that the model stage fails for the event in model migration, and then cause model part path to perform, most Cause the failure of partial function in model eventually.The model restorative procedure that this method is related to is divided into dependency analysis stage and migration path Two core operations of repairing phase.
Firstth, the dependency analysis stage：When external environment condition fails, the failure of external environment condition is converted into model level The failure of trigger event in migration.According to dependency analysis, pair with migration where failure event exist control rely on and data according to Bad migration information is analyzed, determine in master mould M can restoration information and unrepairable information, unrepairable information is carried out Delete, obtain mid-module M ', meanwhile, according to can restoration information and model dependence, determine can repair migration path.
Secondth, migration path repairing phase：For migration path can be repaired in M ', the consideration based on security, with mould The mode for increasing new migration and merging migration path in type proposes that migration path reparation rule repairs model, obtains new mould Type M ".
The two steps are described in detail individually below.
Firstth, EFSM model restorative procedures in the dependency analysis stage, are determined in model by failure event by dependency analysis The migration information of influence, and the recoverability of these information is analyzed, determine to repair migration path in model.
EFSM dependency analysis include control dependence and data dependence, and control dependence is mainly described between being migrated in model Structural relation, and data dependence mainly describes the data dependence relation between the upper variable of migration.If two migrations are only In the presence of control dependence, data dependence relation is not present between the information and other migrations where failure event in migration, into It may be not present because failure event causes the imponderable possibility of its dependent variable.In this case two migration on variable informations all It is (except the failure event) that can retain.At this time, migration can be repaired as one by the path between this two migrations Path.
And for there is data dependence, it is necessary to travel through model dependency graph between two migrations, obtain between migrating Data dependence relation, showing whether the failure of the upper event of migration has the upper information of other migrations influences.According to data dependence Feature, two migration on there is a situation where that data dependence is divided into following four situation：
1) T is migratediOn failure event event in there are a variable v definition, and there are a TiPostposition migration TjGuard have use to variable v, that is, migrate TiWith TjOn variable v, there are data dependence.The failure of event event causes TjOn guard information can not judge, T at this timejOn information can not be repaired, it is necessary to delete TjTo ensure model other parts The normal operation of function.
2) T is migratediOn failure event event in have the definition of a variable v, and there are a TiPostposition migration Tj On action on have use to variable v, migrate TiWith TjOn variable v, there are data dependence, the failure of event event to lead Cause TjOn action information can not perform.At this time, it may be necessary to TjOn action information deleted.
3) when a certain bar migrates TjGuard information and failure event where migration TiOn action information between exist Data dependence, then TjThe full detail and T of migrationiOn action information be all recoverable.At this time, with from TiStart to Up to TjPath conduct can repair migration path.
4) when a certain bar migrates TjAction information and failure event where migration TiOn action information between exist Data dependence, then TjThe full detail and T of migrationiOn action information be all recoverable.At this time, with from TiStart to Up to TjPath conduct can repair migration path.
Secondth, migration path repairing phase：The consideration of the problems such as by model information reservation and security, binding model Sizing section and indefinite form section are upper to model state and the operation migrated, the characteristics of based on context of methods itself, to EFSM moulds Type migration path reparation rule is defined.
Migration path, such as t can be repaired for one1,t2,…,tn, wherein migrating t1It is that the starting of whole migration path is moved Move, migrate tnIt is the end migration of whole migration path, by a new migration t 'nMigration set is added, and to new migration t 'n's Position is determined, using the source state for originating migration of migration path as the source state newly migrated, with the mesh of starting migration Mark state is as the dbjective state newly migrated, i.e. source (t 'n)=source (t1), target (t 'n)=target (tn)。 Then to migrating t 'nLabel information be determined, first with migration path terminate migrate tnTrigger event as new migration t′nTrigger event, i.e. event (t 'n)=event (tn)；Secondly, with whole migration path t1,t2,…,tnGuard information Carry out logical "and" operation to connect, as new migration t 'nNew guard；Finally by whole migration path t1,t2,…,tn Action information get up successively according to its original sequential combination, as new migration t 'nNew action.
After by migration path reparation rule, migration of the new script not in master mould, institute are with the addition of in model The new model of formation is not necessarily the submodel of master mould, but whole model is being semantically consistent with mid-module.

Claims (3)

  1. A kind of 1. EFSM model stale event restorative procedures based on dependence, it is characterised in that：When the external environment condition of model When changing, show that the model stage fails for the event in model migration, and then cause model part path It cannot perform, ultimately result in the failure of partial function in model；The model restorative procedure that this method is related to is divided into dependency analysis rank Section and two core operations of migration path repairing phase；
    Firstth, the dependency analysis stage：When external environment condition fails, the failure of external environment condition is converted into the migration of model level The failure of upper trigger event；According to dependency analysis, pair there is control with migration where failure event relies on and data dependence Migration information is analyzed, determine in master mould M can restoration information and unrepairable information, unrepairable information is deleted Remove, obtain mid-module M ', meanwhile, according to can restoration information and model dependence, determine can repair migration path；
    Secondth, migration path repairing phase：For migration path can be repaired in M ', the consideration based on security, with a model The mode of the new migration of increase and merging migration path proposes that migration path reparation rule repairs model, obtains new model M”。
  2. 2. a kind of EFSM model stale event restorative procedures based on dependence according to claim 1, its feature exist In：
    EFSM models restorative procedure in the dependency analysis stage, the migration for determining to be influenced by failure event in model by dependency analysis Information, and the recoverability of these information is analyzed, determine to repair migration path in model；
    EFSM dependency analysis include control dependence and data dependence, and control relies on the knot mainly described between being migrated in model Structure relation, and data dependence mainly describes the data dependence relation between the upper variable of migration；If two migration only exists Control dependence, data dependence relation be not present between the information and other migrations where failure event in migration, into without Cause the imponderable possibility of its dependent variable in the presence of because of failure event；In this case the variable information in two migrations is all energy Enough retain, except failure event；At this time, migration path can be repaired as one by the path between this two migrations；
    And for there is data dependence, it is necessary to travel through model dependency graph between two migrations, obtain the number between migration According to dependence, showing whether the failure of the upper event of migration has the upper information of other migrations influences；According to the spy of data dependence Sign, migrates two and there is a situation where that data dependence is divided into following four situation：
    1) T is migratediOn failure event event in there are a variable v definition, and there are a TiPostposition migration Tj's Guard has the use to variable v, that is, migrates TiWith TjOn variable v, there are data dependence；The failure of event event causes TjOn Guard information can not judge, T at this timejOn information can not be repaired, it is necessary to delete TjTo ensure model other parts function Normal operation；
    2) T is migratediOn failure event event in have the definition of a variable v, and there are a TiPostposition migration TjOn There is the use to variable v on action, migrate TiWith TjOn variable v, there are data dependence, the failure of event event to cause Tj On action information can not perform；At this time, it may be necessary to TjOn action information deleted；
    3) when a certain bar migrates TjGuard information and failure event where migration TiOn action information between there are data Rely on, then TjThe full detail and T of migrationiOn action information be all recoverable；At this time, with from TiStart to reach Tj Path conduct can repair migration path；
    4) when a certain bar migrates TjAction information and failure event where migration TiOn action information between there are data Rely on, then TjThe full detail and T of migrationiOn action information be all recoverable；At this time, with from TiStart to reach Tj Path conduct can repair migration path.
  3. 3. a kind of EFSM model stale event restorative procedures based on dependence according to claim 1, its feature exist In：Migration path repairing phase：By the consideration retained model information and the problems such as security, binding model sizing section with Indefinite form section is upper to model state and the operation migrated, the characteristics of based on context of methods itself, to EFSM model migration paths Reparation rule is defined, and specific rules are as follows：
    Migration path reparation rule：For migration path can be repaired such as, t1, t2..., tn, wherein t1It is that starting migrates, tnIt is knot Beam migrates, by a new migration t 'nAdd migration set, wherein source (t 'n)=source (t1), target (t 'n)= target(tn), and t 'nLabel be：
    (i)tnTrigger event be used as t 'nTrigger event, event (t 'n)=event (tn)；
    (ii)t1, t2..., tnGuard, by logical "and" operation connect, be used as t 'nNew guard；
    (iii) by t1, t2..., tnAction, get up successively according to its original sequential combination, be used as t 'nNew action；
    After by migration path reparation rule, migration of the new script not in master mould is with the addition of in model, is formed New model be not necessarily the submodel of master mould, but whole model is being semantically consistent with mid-module.
CN201711225963.1A 2017-11-29 2017-11-29 A kind of EFSM model stale event restorative procedures based on dependence Pending CN108021746A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201711225963.1A CN108021746A (en) 2017-11-29 2017-11-29 A kind of EFSM model stale event restorative procedures based on dependence

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201711225963.1A CN108021746A (en) 2017-11-29 2017-11-29 A kind of EFSM model stale event restorative procedures based on dependence

Publications (1)

Publication Number Publication Date
CN108021746A true CN108021746A (en) 2018-05-11

Family

ID=62077397

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201711225963.1A Pending CN108021746A (en) 2017-11-29 2017-11-29 A kind of EFSM model stale event restorative procedures based on dependence

Country Status (1)

Country Link
CN (1) CN108021746A (en)

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6059837A (en) * 1997-12-30 2000-05-09 Synopsys, Inc. Method and system for automata-based approach to state reachability of interacting extended finite state machines
US6415396B1 (en) * 1999-03-26 2002-07-02 Lucent Technologies Inc. Automatic generation and maintenance of regression test cases from requirements
CN104077228A (en) * 2014-07-08 2014-10-01 浙江理工大学 EFSM performable test sequence generating method based on predicate dependency graph
CN104267936A (en) * 2014-09-16 2015-01-07 桂林电子科技大学 Semantic tree based asynchronous dynamic push-down network reachability analysis method
CN106708739A (en) * 2016-12-30 2017-05-24 桂林电子科技大学 Extended finite state machine (EFSM) model-based Web service case generation method and system

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6059837A (en) * 1997-12-30 2000-05-09 Synopsys, Inc. Method and system for automata-based approach to state reachability of interacting extended finite state machines
US6415396B1 (en) * 1999-03-26 2002-07-02 Lucent Technologies Inc. Automatic generation and maintenance of regression test cases from requirements
CN104077228A (en) * 2014-07-08 2014-10-01 浙江理工大学 EFSM performable test sequence generating method based on predicate dependency graph
CN104267936A (en) * 2014-09-16 2015-01-07 桂林电子科技大学 Semantic tree based asynchronous dynamic push-down network reachability analysis method
CN106708739A (en) * 2016-12-30 2017-05-24 桂林电子科技大学 Extended finite state machine (EFSM) model-based Web service case generation method and system

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
WANG, Y等: "Dependence Based Model-Healing", 《2015 IEEE 39TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE》 *
苏宁等: "基于EFSM不定型切片测试用例自动生成的研究", 《计算机研究与发展》 *

Similar Documents

Publication Publication Date Title
CN107145521B (en) A kind of data migration method towards block chain multistage intelligent contract
CN110933953B (en) Systems and methods for extending blockchain utility through use of related sub-blockchains
CN106201659B (en) A kind of method and host of live migration of virtual machine
CN107247619B (en) Live migration of virtual machine method, apparatus, system, storage medium and equipment
CN106897352B (en) Method and system for generating block chain modified in expansion
CN110096891A (en) Object signature in library of object
CN103885719B (en) Device, system and method for online storage migration of virtual machine system
JP2005507100A5 (en)
CN106202212A (en) A kind of method and system realizing data fractionation based on data server cluster
CN104424037A (en) Method and device for dynamically patching function
Dua et al. Performance analysis of union and cow file systems with docker
TWI493368B (en) Automatic generation of a query lineage
CN105740049A (en) Control method and apparatus
CN108021746A (en) A kind of EFSM model stale event restorative procedures based on dependence
CN104461509B (en) A kind of information interaction system and method
CN105630688A (en) Aggregate file storage method and system as well as aggregate file compression method and system
RU2011149310A (en) DATA STRUCTURE FOR THE PARTS LIST
CN106415539A (en) Artifact correlation between domains
JP5718166B2 (en) Design verification method and program
CN107885781A (en) A kind of method for edition management and system
CN113144618B (en) Method and device for processing graphical interface resources, electronic equipment and storage medium
US20150212799A1 (en) Migration between model elements of different types in a modeling environment
CN105093964A (en) Construction method for industrial electronic embedded system simulation device model
US10146902B2 (en) Sharing global route topologies in detailed routing
CN106484312A (en) A kind of magnetic disk of virtual machine data migration method and device

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: 20180511