CN105335161A - Method for conversion from TASM time abstract state machine to extension NTA automatic machine - Google Patents
Method for conversion from TASM time abstract state machine to extension NTA automatic machine Download PDFInfo
- Publication number
- CN105335161A CN105335161A CN201510775885.7A CN201510775885A CN105335161A CN 105335161 A CN105335161 A CN 105335161A CN 201510775885 A CN201510775885 A CN 201510775885A CN 105335161 A CN105335161 A CN 105335161A
- Authority
- CN
- China
- Prior art keywords
- nta
- tasm
- automat
- expansion
- 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
Landscapes
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Stored Programmes (AREA)
Abstract
The invention relates to a method for converting a middle model in the field of application, provides a method for conversion from a TASM time abstract state machine to an extension NTA automatic machine, and aims to further help a user to achieve verification of design conclusion. The method comprises the following main steps: (1) establishing meta-models based on a TASM time abstract state machine source model structure and an extension NTA automatic machine, target model structure; (2) establishing conversion rules from a TASM time abstract state machine source model to an extension NTA automatic machine, target model; and (3) by utilizing the conversion rules, implementing conversion from the TASM time abstract state machine source model to the extension NTA automatic machine.
Description
Technical field
The present invention relates to the method that application mid-module carries out changing, in particular to one from TASM(TimedAbstactStateMachine, time abstraction state machine) time abstraction state machine to expansion NTA(NetworkofTimedAutomata, networks of timed automatas) conversion method of automat.
Background technology
Theory significance based on Mode-driven architecture is: the first, and model is conducive to the verification and testing of Earlier designs scheme.As can based on the method for agile development, the design proposal that Fast Construction is different, for those schemes just in iteration, utilize the code Generation based on model, rapid generation code skeleton, and checking or the test that can carry out essence, with the quality of analysis and designation scheme.
The second, utilize model can the framework of generator program, alleviate the design burden of deviser and the coding pressure of programmer, be conducive to automated software and generate.
Current, the mid-module that can meet above-mentioned requirements has a lot, as Petri network (a kind of mathematical notation method to discrete parallel system) and TASM etc.Wherein, deviser selects TASM as the reason of mid-module to be: the first, TASM is the one expansion of abstract state machine (AbstractStateMachine, ASM), has both supported sequential and resource consumption, simultaneously also supportive behavior and the stipulations communicated; The second, TASM support hierarchical combination, concurrent with the concept such as to communicate; Three, TASM adopts the set of the main frame (mainmachine) of executed in parallel to support the stipulations of parallel behavior, and provides handset (sub-machine) and function machine (function-machine) to call to support the stipulations of level behavior; 4th, communication occurs over just between main frame also can use Channel Synchronous and shared variable; Five, TASM language has Formal Semantic, and this semanteme can become a kind of executable specification.
Simultaneously, TASM can be used as certain (as AADL, ArchitectureAnalysisandDesignLanguage, architecture analysis and design language) mid-module (i.e. TASM time abstraction state machine) of High-rise Building Design of embedded real time system, the design conclusion that this mid-module represents has nothing to do with actual service process platform.Therefore, when needing to implement concrete checking activity to the High-rise Building Design of the embedded real time system adopting AADL language to describe, need this TASM time abstraction state machine model and concrete verification platform to bind, namely need the input file this TASM time abstraction state machine model being converted to certain concrete verification platform.
UPPAAL(mono-uses expansion NTA automat as the simulation and verification platform of input model) be exactly a kind of like this platform that Formal Verification is provided for embedded real time system, its input form have employed expansion NTA automat, exports the conclusion into checking.But in prior art, TASM model is not directly converted to the method for expansion NTA automaton model, therefore cannot realize the checking designing conclusion.
Summary of the invention
The object of the invention is to for the problems referred to above and deficiency, a kind of method that directly TASM time abstraction state machine model can be converted to expansion NTA automat is provided, realize the checking designing conclusion to help user further.
For achieving the above object, the present invention adopts following technical scheme.
The invention provides a kind of from TASM time abstraction state machine to the conversion method of expansion NTA automat, the prerequisite that this method step performs is, the source file of a known TASM time abstraction state machine model, the form of this file is XMI(XML-basedMetadataInterchange, uses the subset extend markup language of standard generalized markup language) form.What the inventive method step obtained after completing conversion is NTA automaton model, and this file is XMI form.
The key step of the inventive method is as follows:
(1) meta-model based on TASM time abstraction state machine source model structure and expansion NTA automat object module structure is set up.
A kind of metamodel structure of thering is provided with Ecore(EMF is provided) model is that the meta-model of parent is to describe the expansion NTA automat object module structure after TASM time abstraction state machine source model structure to be converted and conversion.The EMF(EclipseModelingFramework that concrete selection Eclipse provides, the model development framework that Eclipse provides) wrap and support to carry out modeling to Ecore meta-model, the Ecore modeling device that the instrument specifically Ecore meta-model being carried out to modeling provides for EMF.Meta-model and the meta-model of expansion NTA automat object module of the TASM time abstraction state machine model set up respectively by Ecore modeling device, use persistence technology stored in database.
(2) transformation rule of TASM time abstraction state machine source model to expansion NTA automat object module is created.
According to the meta-model of the TASM time abstraction state machine model obtained and the meta-model of expansion NTA automaton model, according to the structure between the meta-model of TASM time abstraction state machine model and the meta-model of the NTA automaton model of expansion and semantic relation, the ATL(AtlasTransformationLanguage between these two kinds of meta-models set up by use ATL transformation rule editing machine, Atlas code-switching) transformation rule collection.
During concrete establishment transformation rule, time namely to member transform in TASM time abstraction state machine model, consider three kinds of situations.
The first, variable: be the variable in expansion NTA automat by the variable transitions in TASM time abstraction state machine model, due to the types of variables that type of variables in TASM time abstraction state machine model is supported more than expansion NTA automat, therefore need the types of variables to these expansions NTA automat can not directly be supported to carry out semantic conversion, namely in the variable in TASM time abstraction state machine model, those cannot, directly with the variable that expansion NTA automat variable represents, use expansion NTA automat variables set to represent.
The second, rule: the relation between Rule Expression in TASM time abstraction state machine model variable.Because expansion NTA automat does not exist such rule, but this rule be have employed to this expression of state transition, therefore need to set up a kind of mapping method rule in TASM time abstraction state machine model being converted to corresponding state migration in expansion NTA automat.Specific practice is, by the condition part in TASM rule, is converted to the bodyguard's condition in expansion NTA automat; Execution part after condition in TASM rule being met, is converted to the assigned tasks in expansion NTA automat.
The third, action scope: TASM time abstraction state machine model is the set of automat, when being converted to NTA automat, divides the action scope of the expansion NTA automat after conversion according to the division of element by the set of TASM time abstraction state machine.
By the ATL transformation rule that above three kinds of situations are compiled, use persistence technology stored in database.
(3) utilize transformation rule, implement the conversion of TASM time abstraction state machine source model to expansion NTA automat object module.
First, the ATL transformation rule, the expansion NTA automat meta-model that convert expansion NTA automat file destination from TASM time abstraction state machine model source file to of the source file corresponding to TASM time abstraction state machine meta-model, TASM time abstraction state machine meta-model, foundation is inputted; Secondly, the ATL converting virtual machine in ATL kit is used to realize the generation of expansion NTA automat file destination; Finally, by TASM time abstraction state machine meta-model source file to be converted and the expansion NTA automat file destination converted, use persistence technology stored in database.
In technique scheme, the establishment TASM time abstraction state machine source model described in step (2) is to the transformation rule of expansion NTA automat object module, and concrete steps are:
Step 1, use the ATL rule editor that ATL Integrated Development Environment provides, create the transformation rule collection between the meta-model of the TASM time abstraction state machine source model in ATL model conversion and the meta-model of expansion NTA automat object module, specific practice is, ATL model conversion engineering is set up in Eclipse, and new established model ATL transformation rule file, fill in the information of source model and object module, comprise meta-model title and corresponding meta-model file, ATL Integrated Development Environment will generate configuration file used in ATL model conversion automatically;
Step 2, transformation rule is created for the variable in TASM time abstraction state machine component, for those typess of variables directly supported in expansion NTA automat, directly create corresponding expansion NTA automat variable by OCL language, and the variate-value in TASM time abstraction state machine component is copied in the expansion NTA automat variable after conversion, for the types of variables defined in the TASM time abstraction state machine cannot expressed with unitary variant, the canonical variable typing interpretation provided in the NTA automat of expansion is used to be variables set, and in the NTA automat file of expansion, create such variables set with OCL language,
The specific practice that variables set generates is:
Step 2.1, by the discrete variable in TASM time abstraction state machine, is mapped in the shaping variable of expansion NTA automat;
Step 2.2, by the enumeration type variable in TASM time abstraction state machine, is mapped in the integer constant of expansion NTA automat;
Step 2.3, by the continuous variable type in TASM, according to the acceptable error range of user (figure place), by the mode of sampling, continuous variable is mapped on a set of integers, minimum value on this set of integers is set to the lower boundary of the expansion NTA automat after conversion, and the maximal value of this set of integers is then set to the coboundary of the expansion NTA automat after conversion;
Step 3, transformation rule is created for the action scope in TASM time abstraction state machine component, by an automat unit in TASM time abstraction state machine, in " <template> " label using OCL grammer to be filled in expansion NTA automat, and the attribute " name " of this label is set to unique identification field, when the state transition in the template A expanding NTA automat will variable in access templates B time, to the Far Left of variable identifiers belonged in template B all in state transition statement in template A, add identifier and the underscore " _ " of cope match-plate pattern B, the ambiguity caused to avoid identifier collisions or inconsistency,
Step 4, for the rule creation transformation rule in TASM time abstraction state machine component, by the form occurred with conditional statement in the rule set defined in TASM time abstraction state machine, be interpreted as < bodyguard's condition, assigned tasks > bis-tuple;
Step 4.1, by the condition part in old terms statement, the syntax conversion using expansion NTA automat is bodyguard's condition, and specific practice is:
(4.1.1) by the operational character in the judgement clause in the conditional statement in TASM time abstraction state machine, the operational character in expansion NTA automat is replaced with;
(4.1.2) by the sentence structure in the judgement clause in the conditional statement in TASM time abstraction state machine, the sentence structure in expansion NTA automat is replaced with;
(4.1.3) by the variable identifier in the conditional statement in TASM time abstraction state machine, replace with the identifier in expansion NTA automat, the access name of this identifier is according to the process of method described in step 3;
(4.1.4) according to the title of the expansion NTA automat variable corresponding with being used for representing the enumeration type EXEC user defined variableEXEC of state of automata in TASM time abstraction state machine, create the state of automata of the identical expansion NTA automat of title, and the statement operating these state of automata variablees in the bodyguard's condition in the expansion NTA automat after conversion is all deleted;
Step 4.2, by the perform statement in old terms statement, the syntax conversion using expansion NTA automat is assigned tasks, and specific practice is:
(4.2.1) operational character in the judgement clause in the perform statement after the condition in TASM time abstraction state machine being met, replaces with the operational character in expansion NTA automat;
(4.2.2) sentence structure in the judgement clause in the perform statement after the condition in TASM time abstraction state machine being met, replaces with the sentence structure in expansion NTA automat;
(4.2.3) variable identifier in the perform statement after TASM time abstraction state machine conditional being met, replace with the identifier in expansion NTA automat, the access name of this identifier is according to the process of method described in step 3;
(4.2.4) according to the title of the expansion NTA automat variable corresponding with being used for representing the enumeration type EXEC user defined variableEXEC of state of automata in TASM time abstraction state machine, create the state of automata of the identical expansion NTA automat of title, and the statement operating these state of automata variablees in the bodyguard's condition in the expansion NTA automat after conversion is all deleted;
Step 5, adds to the rule of the establishment in step 2,3 and 4 in ATL transformation rule file;
Step 6, by the ATL transformation rule edited, uses persistence technology stored in database.
In technique scheme, implement the conversion of TASM time abstraction state machine source model to expansion NTA automat object module according to the method described in step (3), concrete steps are as follows:
Step 1, by TASM time abstraction state machine source file, uses persistence technology to be stored in a database by aaxl model file;
Step 2, usage data storehouse technology, TASM time abstraction state machine source file required in TASM time abstraction state machine source model to the ATL model conversion of expansion NTA automat object module, TASM time abstraction state machine meta-model file, expansion NTA automat meta-model file are extracted, and be input in ATL model conversion virtual machine from database; The NTA automaton model file of the expansion after using ATL model conversion virtual machine to be changed by generation model;
Step 3, uses persistence technology, by the expansion NTA automaton model file of generation stored in database.
The inventive method compared with prior art has the following advantages: one, and continue to use standardized TASM time abstraction state machine model as input of the present invention, user can continue to use former development process and custom; Its two, the checking of TASM time abstraction state machine model and real-time simulation function are expanded, make user can carry out real-time simulation and checking in each stage of model development to model; Finally, TASM time abstraction state machine model, after being converted to expansion NTA automaton model, making user when without the need to dropping into more multiple resource exploitation, making full use of the instrument that expansion NTA automaton model is compatible, obtaining greater functionality.
Accompanying drawing explanation
Fig. 1 is the general frame schematic diagram of the inventive method.
Wherein: persistence controller, for using persistence technology to write, be used for file dumping to persistence medium (database) or the program that returns in file system.
Embodiment
Below in conjunction with drawings and Examples, the invention will be further described.
The present embodiment provides a kind of from TASM time abstraction state machine to the conversion method of expansion NTA automat, and noun involved in each step of this embodiment as shown in Table 1.
Noun list involved in table 1. embodiment
Noun is abridged | Noun | Noun implication/title |
Windows | Windows | Windows |
Eclipse | Eclipse | A kind of Java Integrated Development Environment |
MyEclipse | MyEclipse | A kind of Java Integrated Development Environment |
OSATE | Open Source AADL Tool Environment | To increase income AADL tool environment |
SDK | Software Development Kit | Software development kit |
EPackage | EPackage | The top level type that a kind of Ecore model provides |
Property window | Property window | Be used for editing the window of meta-model attribute |
The concrete implementation step of the present embodiment is as follows:
Step 1, builds development environment.
Suppose that current platform only has operating system, operating system is that Windows(is as Windows7x), existing foundation meets development environment of the present invention.
Step 1.1, builds Eclipse development environment.
Download and the development environment external member (as Eclipse respectively realize version, MyEclipse, OSATE etc.) of any compatible Eclipse is installed.
Step 1.2, installs EMF Development of Framework bag.
Download and the EclipseModelingFramework that Eclipse official provides is installed.
Step 1.3, installs ATL Integrated Development Environment.
Download and the AtlasTransformationLanguageSDK kit in EclipseMarketplace is installed.
Step 1.4, installation testing experimental situation.
Installation testing experimental situation as required, as installed UPPAAL simulation validation tool as test experimental situation.
Step 2, sets up the meta-model based on TASM time abstraction state machine source model structure and expansion NTA automat object module structure.
Step 2.1, the editing machine using the EMF framework in step 1.2 to provide, sets up the meta-model of TASM time abstraction state machine according to the toy grammar structure of TASM time abstraction state machine; According to expansion NTA automaton model structure, set up expansion NTA automat meta-model; Specifically be implemented as follows: in the Eclipse development environment in this section step 1.1, newly-built EclipseModelingFramework(EMF) in EcoreModel, the top layer assembly arranging this model is EPackage, and on this basis according to TASM grammer, set up each subitem of the Ecore model meeting TASM definition, each attribute of set up TASM meta-model can be edited if desired by Property window.
Step 2.2, the meta-model of the TASM model set up respectively by Ecore modeling device and the meta-model of NTA model, use persistence technology stored in database.
Step 3, creates the transformation rule of TASM time abstraction state machine source model to expansion NTA automat object module.
This step is divided into 6 sub-steps to implement.
Step 3.1, use the ATL transformation rule editing machine that the ATL Integrated Development Environment in this section step 1.3 provides, create the transformation rule collection between the meta-model of the TASM time abstraction state machine source model in ATL model conversion and the meta-model of expansion NTA automat object module.Specific practice is, ATL model conversion engineering is set up in Eclipse in this section step 1.1, and new established model ATL transformation rule file, fill in the information of source model and object module, comprise meta-model title and corresponding meta-model file, ATL Integrated Development Environment will generate configuration file used in ATL model conversion automatically;
Step 3.2, transformation rule is created for the variable in TASM time abstraction state machine component, for those typess of variables directly supported in expansion NTA automat, directly by the expansion NTA automat file destination after OCL speech reproduction to conversion, for the types of variables defined in the TASM time abstraction state machine cannot expressed with unitary variant, use the canonical variable typing interpretation provided in the NTA automat of expansion to be variables set, and in the NTA automat file of expansion, create such variables set with OCL language;
Step 3.3, for the rule creation transformation rule in TASM time abstraction state machine component, by the form occurred with conditional statement in the rule set defined in TASM time abstraction state machine, be interpreted as with < bodyguard's condition, the binary variable group of assigned tasks >.Condition in old terms statement uses the syntax conversion of expansion NTA automat to be bodyguard's condition; Execution part in old terms statement then uses the syntax conversion of expansion NTA automat to be assigned tasks.Finally OCL language is used to be filled in the NTA automat file destination of expansion these set of variables.
Step 3.4, transformation rule is created for the action scope in TASM time abstraction state machine component, by an automat unit in TASM time abstraction state machine, in " <template> " label using OCL grammer to be filled in expansion NTA automat, and the attribute " name " of this label is set to unique identification field (as automat name or check code etc.).
Step 3.5, adds to the transformation rule of the establishment in this section step 3.2,3.3 and 3.4 in ATL transformation rule file, the following template of this rule is expressed.
--note:
--(1) context: ATL converting virtual machine resides in the object definition environment changed in transformation rule region when changing
--the decision condition that (2) are additional: the filtercondition being used for filtering out specific context from the context obtained
--the ecore file that pathTASM=tasm is corresponding
--the ecore file that the NTA automat that pathNTA=expands is corresponding
moduleTASM;
createOUT:NTA
fromIN:TASM;
rulerule name
from
The context of source file: the component (additional decision condition) in the meta-model that source model is corresponding
using{
The additional variable used
}
totarget context 1: component in the meta-model that object module is corresponding (
The contextual semantic conversion result in context 1<-source of file destination
The contextual syntax conversion result in context 1<-source of file destination
)
The context 2 of file destination,
The context n of file destination
}
}
Step 3.6, by the ATL transformation rule edited, uses persistence technology stored in database.
Step 4, utilizes transformation rule, implements the conversion of TASM time abstraction state machine source model to expansion NTA automat object module.
Step 4.1, by the TASM time abstraction state machine source file provided, uses persistence technology to be stored in a database by aaxl model file.
Step 4.2, first, usage data storehouse technology, TASM time abstraction state machine source file required in TASM time abstraction state machine source model to the ATL model conversion of expansion NTA automat object module, TASM time abstraction state machine meta-model file, expansion NTA automat meta-model file are extracted, and be input in ATL model conversion virtual machine from database; Secondly, the NTA automaton model file of the expansion after using ATL model conversion virtual machine to be changed by generation model;
Step 4.3, uses persistence technology, by the expansion NTA automaton model file of generation stored in database.
Claims (4)
1., from TASM time abstraction state machine to a conversion method for expansion NTA automat, it is characterized in that the method comprises the following steps:
(1) meta-model based on TASM time abstraction state machine source model structure and expansion NTA automat object module structure is set up;
Employing describes the expansion NTA automat object module structure after TASM time abstraction state machine source model structure to be converted and conversion with the meta-model that Ecore model is parent, the EMF bag that concrete selection Eclipse provides is supported to carry out modeling to Ecore meta-model, by the meta-model of the TASM time abstraction state machine model set up and the meta-model expanding NTA automat object module, use persistence technology stored in database;
(2) transformation rule of TASM time abstraction state machine source model to expansion NTA automat object module is created;
According to the meta-model of the TASM time abstraction state machine model obtained and the meta-model of expansion NTA automaton model, according to the structure between the meta-model of TASM time abstraction state machine model and the meta-model of the NTA automaton model of expansion and semantic relation, the ATL transformation rule collection between these two kinds of meta-models set up by use ATL transformation rule editing machine;
During concrete establishment transformation rule, time namely to member transform in TASM time abstraction state machine model, consider three kinds of situations;
The first, variable: be the variable in expansion NTA automat by the variable transitions in TASM time abstraction state machine model, semantic conversion is carried out to the types of variables that expansion NTA automat can not directly be supported, namely in the variable in TASM time abstraction state machine model, those cannot, directly with the variable that expansion NTA automat variable represents, use expansion NTA automat variables set to represent;
The second, rule: the relation between Rule Expression in TASM time abstraction state machine model variable, set up a kind of mapping method rule in TASM time abstraction state machine model being converted to corresponding state migration in expansion NTA automat, specific practice is, by the condition part in TASM rule, be converted to the bodyguard's condition in expansion NTA automat; Execution part after condition in TASM rule being met, is converted to the assigned tasks in expansion NTA automat;
The third, action scope: TASM time abstraction state machine model is the set of automat, when being converted to NTA automat, divides the action scope of the expansion NTA automat after conversion according to the division of element by the set of TASM time abstraction state machine;
By the ATL transformation rule that above three kinds of situations are compiled, use persistence technology stored in database;
(3) utilize transformation rule, implement the conversion of TASM time abstraction state machine source model to expansion NTA automat object module;
First, the ATL transformation rule, the expansion NTA automat meta-model that convert expansion NTA automat file destination from TASM time abstraction state machine model source file to of the source file corresponding to TASM time abstraction state machine meta-model, TASM time abstraction state machine meta-model, foundation is inputted; Secondly, the ATL converting virtual machine in ATL kit is used to realize the generation of expansion NTA automat file destination; Finally, by TASM time abstraction state machine meta-model source file to be converted and the expansion NTA automat file destination converted, use persistence technology stored in database.
2. according to claim 1 from TASM time abstraction state machine to the conversion method of expansion NTA automat, it is characterized in that: the Ecore modeling device that the instrument carrying out modeling to Ecore meta-model described in step (1) provides for EMF.
3. according to claim 1 from TASM time abstraction state machine to the conversion method of expansion NTA automat, it is characterized in that: the establishment TASM time abstraction state machine source model described in step (2) is to the transformation rule of expansion NTA automat object module, and concrete steps are:
Step 1, use the ATL rule editor that ATL Integrated Development Environment provides, create the transformation rule collection between the meta-model of the TASM time abstraction state machine source model in ATL model conversion and the meta-model of expansion NTA automat object module, specific practice is, ATL model conversion engineering is set up in Eclipse, and new established model ATL transformation rule file, fill in the information of source model and object module, comprise meta-model title and corresponding meta-model file, ATL Integrated Development Environment will generate configuration file used in ATL model conversion automatically;
Step 2, transformation rule is created for the variable in TASM time abstraction state machine component, for those typess of variables directly supported in expansion NTA automat, directly create corresponding expansion NTA automat variable by OCL language, and the variate-value in TASM time abstraction state machine component is copied in the expansion NTA automat variable after conversion, for the types of variables defined in the TASM time abstraction state machine cannot expressed with unitary variant, the canonical variable typing interpretation provided in the NTA automat of expansion is used to be variables set, and in the NTA automat file of expansion, create such variables set with OCL language,
The specific practice that variables set generates is:
Step 2.1, by the discrete variable in TASM time abstraction state machine, is mapped in the shaping variable of expansion NTA automat;
Step 2.2, by the enumeration type variable in TASM time abstraction state machine, is mapped in the integer constant of expansion NTA automat;
Step 2.3, by the continuous variable type in TASM, according to the acceptable error range of user, by the mode of sampling, continuous variable is mapped on a set of integers, minimum value on this set of integers is set to the lower boundary of the expansion NTA automat after conversion, and the maximal value of this set of integers is then set to the coboundary of the expansion NTA automat after conversion;
Step 3, transformation rule is created for the action scope in TASM time abstraction state machine component, by an automat unit in TASM time abstraction state machine, in " <template> " label using OCL grammer to be filled in expansion NTA automat, and the attribute " name " of this label is set to unique identification field, when the state transition in the template A expanding NTA automat will variable in access templates B time, to the Far Left of variable identifiers belonged in template B all in state transition statement in template A, add identifier and the underscore " _ " of cope match-plate pattern B,
Step 4, for the rule creation transformation rule in TASM time abstraction state machine component, by the form occurred with conditional statement in the rule set defined in TASM time abstraction state machine, be interpreted as < bodyguard's condition, assigned tasks > bis-tuple;
Step 4.1, by the condition part in old terms statement, the syntax conversion using expansion NTA automat is bodyguard's condition, and specific practice is:
Step 4.1.1, by the operational character in the judgement clause in the conditional statement in TASM time abstraction state machine, replaces with the operational character in expansion NTA automat;
Step 4.1.2, by the sentence structure in the judgement clause in the conditional statement in TASM time abstraction state machine, replaces with the sentence structure in expansion NTA automat;
Step 4.1.3, by the variable identifier in the conditional statement in TASM time abstraction state machine, replace with the identifier in expansion NTA automat, the access name of this identifier is according to the process of method described in step 3;
Step 4.1.4, according to the title of the expansion NTA automat variable corresponding with being used for representing the enumeration type EXEC user defined variableEXEC of state of automata in TASM time abstraction state machine, create the state of automata of the identical expansion NTA automat of title, and the statement operating these state of automata variablees in the bodyguard's condition in the expansion NTA automat after conversion is all deleted;
Step 4.2, by the perform statement in old terms statement, the syntax conversion using expansion NTA automat is assigned tasks, and specific practice is:
Step 4.2.1, the operational character in the judgement clause in the perform statement after the condition in TASM time abstraction state machine being met, replaces with the operational character in expansion NTA automat;
Step 4.2.2, the sentence structure in the judgement clause in the perform statement after the condition in TASM time abstraction state machine being met, replaces with the sentence structure in expansion NTA automat;
Step 4.2.3, the variable identifier in the perform statement after TASM time abstraction state machine conditional is met, replace with the identifier in expansion NTA automat, the access name of this identifier is according to the process of method described in step 3;
Step 4.2.4, according to the title of the expansion NTA automat variable corresponding with being used for representing the enumeration type EXEC user defined variableEXEC of state of automata in TASM time abstraction state machine, create the state of automata of the identical expansion NTA automat of title, and the statement operating these state of automata variablees in the bodyguard's condition in the expansion NTA automat after conversion is all deleted;
Step 5, adds to the rule of the establishment in step 2,3 and 4 in ATL transformation rule file;
Step 6, by the ATL transformation rule edited, uses persistence technology stored in database.
4. according to claim 1 from TASM time abstraction state machine to the conversion method of expansion NTA automat, it is characterized in that: the method described in step (3) implements the conversion of TASM time abstraction state machine source model to expansion NTA automat object module, and concrete steps are as follows:
Step 1, by TASM time abstraction state machine source file, uses persistence technology to be stored in a database by aaxl model file;
Step 2, usage data storehouse technology, TASM time abstraction state machine source file required in TASM time abstraction state machine source model to the ATL model conversion of expansion NTA automat object module, TASM time abstraction state machine meta-model file, expansion NTA automat meta-model file are extracted, and be input in ATL model conversion virtual machine from database; The NTA automaton model file of the expansion after using ATL model conversion virtual machine to be changed by generation model;
Step 3, uses persistence technology, by the expansion NTA automaton model file of generation stored in database.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510775885.7A CN105335161B (en) | 2015-11-13 | 2015-11-13 | It is a kind of from TASM time abstractions state machine to extension NTA automatic machines conversion method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510775885.7A CN105335161B (en) | 2015-11-13 | 2015-11-13 | It is a kind of from TASM time abstractions state machine to extension NTA automatic machines conversion method |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105335161A true CN105335161A (en) | 2016-02-17 |
CN105335161B CN105335161B (en) | 2018-08-24 |
Family
ID=55285728
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510775885.7A Active CN105335161B (en) | 2015-11-13 | 2015-11-13 | It is a kind of from TASM time abstractions state machine to extension NTA automatic machines conversion method |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105335161B (en) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107291435A (en) * | 2016-04-12 | 2017-10-24 | 华东师范大学 | AADL models are blended together under a kind of Uncertain environments and quantify analysis method |
CN109725890A (en) * | 2018-12-28 | 2019-05-07 | 中国人民解放军火箭军工程大学 | Crossover tool and method of the complicated software system Event-B model to networks of timed automatas |
CN111176658A (en) * | 2019-12-17 | 2020-05-19 | 西北工业大学 | Automatic conversion method from AADL (architecture analysis and design language) to Simulink model based on meta-object mechanism |
CN112416414A (en) * | 2019-08-20 | 2021-02-26 | 南京南瑞信息通信科技有限公司 | Micro-service architecture containerized lightweight workflow system based on state machine |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102520925A (en) * | 2011-11-18 | 2012-06-27 | 北京航空航天大学 | AADL2TASM (Architecture Analysis and Design Language-to-Timed Abstract State Machine) model transformation method |
CN102609260A (en) * | 2012-02-08 | 2012-07-25 | 北京航空航天大学 | TASM2UPPAAL (timed abstract state machine to UPPAAL) model transforming method |
US8935657B2 (en) * | 2004-12-10 | 2015-01-13 | International Business Machines Corporation | Model-to-model transformation by kind |
-
2015
- 2015-11-13 CN CN201510775885.7A patent/CN105335161B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8935657B2 (en) * | 2004-12-10 | 2015-01-13 | International Business Machines Corporation | Model-to-model transformation by kind |
CN102520925A (en) * | 2011-11-18 | 2012-06-27 | 北京航空航天大学 | AADL2TASM (Architecture Analysis and Design Language-to-Timed Abstract State Machine) model transformation method |
CN102609260A (en) * | 2012-02-08 | 2012-07-25 | 北京航空航天大学 | TASM2UPPAAL (timed abstract state machine to UPPAAL) model transforming method |
Non-Patent Citations (2)
Title |
---|
姬莉霞等: "基于时间自动机的UML模型转换与验证研究", 《郑州大学学报(理学版)》 * |
杨志斌等: "于时间抽象状态机的AADL模型验证", 《软件学报》 * |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107291435A (en) * | 2016-04-12 | 2017-10-24 | 华东师范大学 | AADL models are blended together under a kind of Uncertain environments and quantify analysis method |
CN109725890A (en) * | 2018-12-28 | 2019-05-07 | 中国人民解放军火箭军工程大学 | Crossover tool and method of the complicated software system Event-B model to networks of timed automatas |
CN112416414A (en) * | 2019-08-20 | 2021-02-26 | 南京南瑞信息通信科技有限公司 | Micro-service architecture containerized lightweight workflow system based on state machine |
CN111176658A (en) * | 2019-12-17 | 2020-05-19 | 西北工业大学 | Automatic conversion method from AADL (architecture analysis and design language) to Simulink model based on meta-object mechanism |
CN111176658B (en) * | 2019-12-17 | 2022-09-20 | 西北工业大学 | Automatic conversion method from AADL (architecture analysis and design language) to Simulink model based on meta-object mechanism |
Also Published As
Publication number | Publication date |
---|---|
CN105335161B (en) | 2018-08-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110376959B (en) | Soft PLC configuration software generation system based on FPGA platform | |
CN101667134B (en) | Method for constructing compiling system and compiling system constructing device | |
Anjorin et al. | Emoflon: leveraging EMF and professional CASE tools. | |
CN105335161A (en) | Method for conversion from TASM time abstract state machine to extension NTA automatic machine | |
CN101841515A (en) | Target variable protocol data unit codec code automatic generation implementation method | |
CN104598240A (en) | Platform-spanning simulation model development method and system | |
CN105512304A (en) | Method for generating internet applications on line, system integration method and supporting platform | |
CN110221815B (en) | Automatic generation method of control software model based on ontology | |
CN103049251A (en) | Database persistent layer device and database operation method | |
CN111427555A (en) | Lightweight intelligent contract framework and contract development method | |
CN106951575B (en) | Multi-disciplinary virtual test simulation method based on COSIM | |
CN110262794A (en) | A kind of AADL behaviour expanding method and tool based on specification with description language | |
CN111813814A (en) | Universal model management method and device supporting multiple machine learning frameworks | |
CN110190984A (en) | A kind of efficient power communication system large scale emulation scene modeling method and system | |
CN106874562B (en) | Conversion system and method for converting architecture model into static calculation model | |
Strüber et al. | Scalability of Model Transformations: Position Paper and Benchmark Set. | |
Azzouzi et al. | A survey on systems engineering methodologies for large multi-energy cyber-physical systems | |
Zhang et al. | Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution | |
Julius et al. | A meta-model based environment for GRAFCET specifications | |
Rajabi et al. | Modeling and analysis of change management in dynamic business process | |
CN111552459B (en) | Service arrangement flow management system and method | |
Wichmann et al. | Model-driven development of UML-based domain-specific languages for system architecture variants | |
CN112148271B (en) | Method for automatically generating and injecting assembly process codes | |
CN106094561B (en) | Marine Synthesize Electric Propulsion System modeling and simulating method and device | |
Serna et al. | Dash: A new language for declarative behavioural requirements with control state hierarchy |
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 |