CN104484518A - Transfer method from demand model to simulation model - Google Patents
Transfer method from demand model to simulation model Download PDFInfo
- Publication number
- CN104484518A CN104484518A CN201410727954.2A CN201410727954A CN104484518A CN 104484518 A CN104484518 A CN 104484518A CN 201410727954 A CN201410727954 A CN 201410727954A CN 104484518 A CN104484518 A CN 104484518A
- Authority
- CN
- China
- Prior art keywords
- model
- meta
- demand
- class
- realistic
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Abstract
The invention aims to resolves the problem that a demand model is difficult to be verified and provides a transfer method from the demand model to a simulation model. The transfer method enables the automatic transferring from the demand model to the simulation model to be realized. The transfer method includes firstly designing a transferring frame from the demand model to the simulation model. On the basis, a meta-model of demand model, a meta-model of simulation model, a transferring rule from the meta-model of demand model to the meta-model of simulation model are respectively designed. Finally the automatic transferring from the demand model to the simulation model is realized. The transfer method enables the isomorphic property of the two different models of the demand model and the simulation model to be realized. The development efficiency of embed software is increased. The development of driving model is rich and improved. The transfer method also provides technical support for embed software in flight control system, highway control system, airborne avionics system and the like.
Description
Technical field
The present invention relates to the model conversion method of a kind of demand model to realistic model.
Background technology
Requirements Modeling is the important activity of in software requirement engineering, requirement engineering teacher is by adopting different modeling method identification, understanding, excavation demand supplier to the expectation of system, thus build the structural model of software systems, behavior model, or the model of other various different qualities to displaying software to be developed.How to verify the correctness of demand model, can the method for different forms, but formal method is to indigestion, require that software developer has stronger mathematics grounding in basic skills simultaneously.We adopt the mode of emulation to verify the correctness of demand model for this reason.How to be transitioned into realistic model from demand model, normally software developer model is manual according to demand completes realistic model.Software developer completes various model in software development process, and this certainly will increase developer's workload; On the other hand, owing to being all complete various model by hand, developer is difficult to the consistance ensureing each class model.Therefore, how to be transformed into from demand model the major issue that realistic model has become software development.
Summary of the invention
The present invention is directed to the problem that demand model is difficult to verify, propose a kind of conversion method from demand model to realistic model, the automatic conversion of demand model to realistic model can be realized.
The present invention proposes the conversion method of a kind of demand model to realistic model, first design requirement model is to the transfer framework of realistic model, on this basis, design requirement model element model respectively, realistic model meta-model, and demand model meta-model is to the transformational relation of realistic model meta-model, finally realize the automatic conversion of demand model to realistic model.
This demand model, to the model conversion method of realistic model, comprises following key step:
1) the model conversion framework of demand model to realistic model is set up;
Model conversion framework is divided into three layers: metamodel metadata layer (M3 layer), meta-model layer (M2), model layer (M1), and metamodel metadata can generate demand model meta-model, realistic model meta-model and ATL language;
Demand model meta-model can generate demand model, and realistic model meta-model can generate realistic model, and ATL language can generate ATL model;
2) demand model meta-model is set up
On the basis of the metamodel metadata of model conversion framework, the semanteme of demand model selected according to user and grammer, structure demand model meta-model, demand model meta-model is divided three classes: data type meta-model, object meta model be connected meta-model;
3) realistic model meta-model is set up
On the basis of the metamodel metadata of model conversion framework, with reference to the structure of demand model meta-model, constructive simulation model element model, realistic model meta-model is also divided three classes: data type meta-model, object meta model be connected meta-model;
4) mapping relations of demand model meta-model and realistic model meta-model are set up
Set up mapping and the mapping being connected meta-model of the mapping of data type meta-model between demand model meta-model and realistic model meta-model, object meta model.
Above-mentioned data type meta-model represents data type involved in demand model;
Object model represents the objective objects of demand model, comprises class and annotation; Wherein class comprises attribute and operation, sets up attribute and data type, the associating of enumeration type, and sets up associating of operation and attribute;
Link model represents classes relation, relation between class and annotation, and wherein classes relation comprises combination, is polymerized, quotes and inherits, and the relation between class with annotation adopts to annotate to link and describes;
Step 4) mapping relations set up comprise: the DATATYPES TO of demand model meta-model is to the data type of realistic model meta-model; The class of demand model meta-model is mapped to the class of realistic model meta-model, the best property of attribute mapping of the class of demand model meta-model is to the attribute of the class of realistic model meta-model, the operation map of the class of demand model meta-model to the operation of class in realistic model meta-model, the relation in the relationship map in demand model meta-model between class and class to realistic model meta-model between class and class.
The advantage that the present invention has:
● model conversion technology of the present invention follows the executing model drive structure standard that OMG proposes, thus avoids the dependence to particular platform and language, has versatility and reusability.
● on the other hand, this patent realizes the automatic conversion of demand model to realistic model two kinds of isomery models, instead of the craft conversion from demand model to realistic model, saves human cost, improve software development efficiency.
Accompanying drawing explanation
Fig. 1 is model conversion framework.
Fig. 2 is KM3 metamodel structure.
Fig. 3 is UML constitutional diagram meta-model.
Fig. 4 is Stateflow meta-model.
Fig. 5 is automatic flying-controlled box constitutional diagram.
Fig. 6 is Simulink model.
Embodiment
Concrete steps of the present invention are as follows:
1 Modling model transfer framework
Model turns framework as shown in Figure 1, is divided into three layers.Most top layer M3 layer is metamodel metadata layer, and M2 is meta-model layer, and M1 is model layer.According to the relation between class model each in model-driven theory, metamodel metadata can generator meta-model and meta-model, can generation model according to meta-model.Metamodel metadata by self definition, can generate demand model meta-model, realistic model meta-model, ATL language simultaneously.Demand model meta-model generates demand model, and realistic model meta-model generates realistic model, ATL language generation ATL model.For user, only need to input demand model, by a series of conversion, automatically convert realistic model to.
2 set up demand model meta-model
On the basis of model conversion metamodel metadata, according to semanteme and the grammer of the demand model of user's selection, structure demand model meta-model.Demand model is classified three classes, data type model, object model and link model.
Data type involved in data type model representation demand model, such as boolean, double, single, int8, uint8, int16, uint16, int32, and uint32 etc.;
Object model represents the objective objects of demand model, comprises class and annotation; Wherein class comprises attribute and operation, sets up attribute and data type, the associating of enumeration type, and sets up associating of operation and attribute;
Link model represents classes relation, relation between class and annotation, and wherein classes relation comprises combination, is polymerized, quotes and inherits, and the relation between class with annotation adopts to annotate to link and describes;
When extracting demand model meta-model, only pay close attention to and emulate relevant demand model, in other words, demand model meta-model is here the subset of demand model.If certain element cannot be corresponding with a certain element in demand model in realistic model, need to set up Profile (expansion) to demand model, set up the demand model element corresponding with realistic model, make can map between them.
3 set up realistic model meta-model
Here the process of establishing of realistic model meta-model and demand model meta-model similar, but realistic model meta-model does not need Profile.
4 mapping relations setting up demand model meta-model and realistic model meta-model
The object of the meta-model that second and third step is set up has mapping relations in order to make between them.Mapping relations also comprise three parts, and the DATATYPES TO of demand model meta-model is to the data type of realistic model meta-model; The class of demand model meta-model is mapped to the class of realistic model meta-model, the best property of attribute mapping of the class of demand model meta-model is to the attribute of the class of realistic model meta-model, the operation map of the class of demand model meta-model to the operation of class in realistic model meta-model, the relation in the relationship map in demand model meta-model between class and class to realistic model meta-model between class and class.
The present invention is described in further detail to the example that is converted to of Simulink realistic model below with UML demand model.Use KM3 language Modling model transfer framework metamodel metadata, set up UML demand meta-model, Simulink Simulation Meta Model on this basis, and then write UML to Simulink transformation rule.
1 transfer framework metamodel metadata-KM3
KM3 be metamodel metadata as shown in Figure 2.In KM3 metamodel structure, KM3 meta-model is made up of a series of Package (bag), and a Package is made up of some abstract ModelElement (model element) entities.ModelElement is a meta-model, has name attribute, and other elements are all inherited in ModelElement.The subclass of ModelElement comprises Enumliteral (enumerated value), Classifier (sorter), Annotation (annotation), DataType (data type), TypedELement (class unit) etc.Annotation is made up of a series of AnnotationLink (annotation association).Enumeration (enumerating) at least comprises an Enumliteral.DataType (data type) and Class (class) inherits in Classifler.Classifler and Class at least comprises a TypedELement types of elements.TypedElement defines lower, upper, isOrdered and isUnique attribute.StucturalFeature (architectural feature) and Operation (operation) inherits in TypedElement.
2 UML state machine meta-models
State machine is the illustraton of model of all courses that a class/object may experience.State machine is made up of with the conversion being connected these states each state of object.Each state meets a time period modeling of certain condition to an object in its lifetime.When an incident occurs, the conversion between its meeting trigger state, causes object from a kind of condition conversion to another new state.When changing beginning, can occur and certain effect of transfer correlation (action or activity).
According to " OMG Unified Modeling LanguageTM (OMG UML), Superstructure " version 2 .4.1.The simplification meta-model of UML state machine as shown in Figure 3.State machine is by only top state machine element, a series of state elements and a transfer element composition.ModeleElement is the base class of all elements.Wherein virtual state, state, final state inherit summit state.Original state, connection status, bifurcated state inherit virtual state.Summit state is made up of executed activity, import activity, outlet activity.Transfer is made up of guard condition, trigger condition, effect.There is corresponding relation in top state and transfer, top state one or more transfer corresponding.
3 Simulink state machine meta-models
Stateflow is a very important branch in MATLAB product system, and it is in the Modelling of Dynamic System simulated environment based on block diagram.Stateflow can carry out modeling and simulation to the event driven system based on Finite State Machine, also can carry out modeling and simulation for complex logic system.UML has strict grammer, semanteme, but Stateflow is different, needs to carefully analyze its element, thus creates Stateflow meta-model.
The key concept of Stateflow comprises:
1) state machine (State Machine) comprises the set of all Stateflow blocks in a model.The all Stateflow models comprised in a Simulink model are referred to as a Stateflow state machine;
2) segment (Chart) comprises the module of constitutional diagram, the Chart namely in model.
3) graphical depiction of block diagram (Diagram) constitutional diagram, the content that namely concrete segment comprises.
4) state is one of most important element in Stateflow constitutional diagram, in finite state machine, state description be a kind of pattern of system.State has boolean's behavior, state can be seen as the Boolean type variable in high-level programming language, any given moment, and state is movable or is inactive, can not occur the 3rd kind of situation.
5) key word of state action mainly contains 2 kinds, is respectively entry, performs corresponding action when state is activated.During, when state keeps performing corresponding action during its active state.
6) transfer is one of modal graphic element in Stateflow block diagram, transition description be logic flow in finite state system.When shifting generation, source state becomes inactive state, and dbjective state becomes movable state.
7) general format of state transfer mark is: event [condition] { condition_action}/transition_action.Event is the one of Stateflow nongraphical objects.In finite state machine, only when event occurs, just may go to perform corresponding transfer.Content in " [] " is condition, for shifting the Logic judgment of decision-making.Only when corresponding event occurs and condition also meets, corresponding transfer just may perform.Be exactly if action immediately preceding the content in " { } " after condition, if action is some expression formula just performed immediately when condition meets, such as assignment operation etc. ".Transfer action is last part of whole transfer label, and being positioned at "/" content is below all transfer action.Transfer action only can perform when whole transferring path is all effective.
According to above-mentioned 1)-7) content, design the meta-model of Stateflow herein, as shown in Figure 4.
Mapping ruler between 4 meta-models
From UML state machine meta-model and Stateflow meta-model, the two has higher similarity.All be made up of elements such as state, transfer, state action, time, effect, conditions.According to UML state machine and Stateflow meta-model, the mapping ruler of design UML state machine and Stateflow:
U2S1:ModelElement is mapped to SimulinkElement
ModelElement is the base class of UML state machine all elements, the base class SimulinkElement of corresponding design Stateflow all elements.ModelElement is mapped to SimulinkElement.
U2S2:StateMachineDiagrams is mapped to StateMachine
For this word of state machine, the understanding slightly deviation of UML and Simulink.The StateMachineDiagram of UML is made up of StateMachine.The StateMachine of Simulink is made up of Chart.Therefore the StateMachine implication of StateMachineDiagram and the Simulilnk of UML is substantially identical.
U2S3:StateMachineDiagram is mapped to Chart
Different from U2S2, StateMachineDiagram here refers to single status figure, corresponds to the Chart in Simulink.
U2S4:StateMachine is mapped to State
The StateMachine of UML is made up of State, Transition etc., also comprises the elements such as nested State, Transition in the State of Simulink.
U2S5:State is mapped to State
Different from U2S4, the State of UML refers to the state of non-nested here.State implication in UML with Simulink is identical, can directly map.
U2S6:Transition is mapped to Transition
Transfer implication in UML with Simulink is substantially identical, directly maps.
U2S7:DoActivity is mapped to DoActivity
Continuously active implication in UML with Simulink is substantially identical, directly maps.
U2S8:Entry is mapped to Entry
Import activity implication in UML with Simulink is substantially identical, directly maps.
U2S9:Conditon is mapped to Condition
Condition implication in UML with Simulink is substantially identical, directly maps.
U2S10:Effect is mapped to Effect
Effect implication in UML with Simulink is substantially identical, directly maps.
U2S11:Trigger is mapped to Trigger
Event implication in UML with Simulink is substantially identical, directly maps.
The present invention for model with the automatic flying-controlled box of autopilot system, builds UML demand model to Simulink realistic model shift scene, does example explanation.Concrete steps are as follows:
(1) uml model
UML constitutional diagram is used to carry out modeling to the state of automatic flying-controlled box.The fault category current according to robot pilot, the state of robot pilot is divided into normal condition, transient fault state, pseudo-normal condition, permanent fault state.Wherein according to the hazard level of fault, permanent state is divided into again first kind permanent state, Equations of The Second Kind permanent state, the 3rd class permanent state.Concrete constitutional diagram as shown in Figure 5.
(2) Model Transformation Engine in MDA configuration
ATL plug-in unit in Eclipse is utilized to complete the configuration of UML state machine to Stateflow model conversion.Need to add ATL mapping ruler (.atl), UML meta-model, Simulink meta-model (.ecore), source model (.xmi), the introductory path of object module (.xmi) at operation configuration interface.It should be noted that UML source model used herein is uri:http: //www.eclipse.org/uml2/3.0.0/UML, Matlab version is 2011a.Source model and and object module be all standard x MI form.
(3) Simulink model
Script is used to carry out resolving the Simulink model shown in generation Fig. 6 to the Simulink XMI file that Model Transformation Engine in MDA generates.
Claims (2)
1. demand model is to a model conversion method for realistic model, comprises following key step:
1) the model conversion framework of demand model to realistic model is set up;
Model conversion framework is divided into three layers: metamodel metadata layer (M3 layer), meta-model layer (M2), model layer (M1), and metamodel metadata can generate demand model meta-model, realistic model meta-model and ATL language;
Demand model meta-model can generate demand model, and realistic model meta-model can generate realistic model, and ATL language can generate ATL model;
2) demand model meta-model is set up
On the basis of the metamodel metadata of model conversion framework, the semanteme of demand model selected according to user and grammer, structure demand model meta-model, demand model meta-model is divided three classes: data type meta-model, object meta model be connected meta-model;
3) realistic model meta-model is set up
On the basis of the metamodel metadata of model conversion framework, with reference to the structure of demand model meta-model, constructive simulation model element model, realistic model meta-model is also divided three classes: data type meta-model, object meta model be connected meta-model;
4) mapping relations of demand model meta-model and realistic model meta-model are set up
Set up mapping and the mapping being connected meta-model of the mapping of data type meta-model between demand model meta-model and realistic model meta-model, object meta model.
2. demand model according to claim 1 is to the model conversion method of realistic model, it is characterized in that: data type meta-model represents data type involved in demand model;
Object model represents the objective objects of demand model, comprises class and annotation; Wherein class comprises attribute and operation, sets up attribute and data type, the associating of enumeration type, and sets up associating of operation and attribute;
Link model represents classes relation, relation between class and annotation, and wherein classes relation comprises combination, is polymerized, quotes and inherits, and the relation between class with annotation adopts to annotate to link and describes;
Step 4) mapping relations set up comprise: the DATATYPES TO of demand model meta-model is to the data type of realistic model meta-model; The class of demand model meta-model is mapped to the class of realistic model meta-model, the best property of attribute mapping of the class of demand model meta-model is to the attribute of the class of realistic model meta-model, the operation map of the class of demand model meta-model to the operation of class in realistic model meta-model, the relation in the relationship map in demand model meta-model between class and class to realistic model meta-model between class and class.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201410727954.2A CN104484518A (en) | 2014-12-03 | 2014-12-03 | Transfer method from demand model to simulation model |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201410727954.2A CN104484518A (en) | 2014-12-03 | 2014-12-03 | Transfer method from demand model to simulation model |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN104484518A true CN104484518A (en) | 2015-04-01 |
Family
ID=52759059
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201410727954.2A Pending CN104484518A (en) | 2014-12-03 | 2014-12-03 | Transfer method from demand model to simulation model |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN104484518A (en) |
Cited By (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105068858A (en) * | 2015-07-29 | 2015-11-18 | 北京世冠金洋科技发展有限公司 | Multi-source heterogeneous system emulation method and apparatus |
| CN106095404A (en) * | 2016-05-29 | 2016-11-09 | 淮阴师范学院 | A kind of business process model is to the automodel conversion method servicing composition model |
| CN108170035A (en) * | 2017-12-13 | 2018-06-15 | 中国航空工业集团公司成都飞机设计研究所 | A kind of flight control system of modelling |
| CN108363563A (en) * | 2018-02-05 | 2018-08-03 | 海南大学 | Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework |
| CN108628659A (en) * | 2017-03-24 | 2018-10-09 | 中国电力科学研究院 | User's packaging model emulation mode based on dynamic link ADPSS real-time simulations and system |
| CN110245128A (en) * | 2019-06-18 | 2019-09-17 | 北京明略软件系统有限公司 | Method for building up and device, storage medium, the electronic device of meta-model |
| CN111309288A (en) * | 2020-01-20 | 2020-06-19 | 北京国舜科技股份有限公司 | Analysis method and device of software requirement specification file suitable for banking business |
| CN112989610A (en) * | 2021-03-18 | 2021-06-18 | 南京仁谷系统集成有限公司 | Model-driven simulation verification method |
| CN113268895A (en) * | 2021-07-20 | 2021-08-17 | 湖南高至科技有限公司 | Combined simulation method, device, equipment and medium based on semantic mapping |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6305007B1 (en) * | 1998-07-24 | 2001-10-16 | Computer Associates Think, Inc. | Object property meta model emulator for legacy data structures |
| CN101183400A (en) * | 2007-12-21 | 2008-05-21 | 威盛电子股份有限公司 | Debugging and checking method and system in graph hardware design |
-
2014
- 2014-12-03 CN CN201410727954.2A patent/CN104484518A/en active Pending
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6305007B1 (en) * | 1998-07-24 | 2001-10-16 | Computer Associates Think, Inc. | Object property meta model emulator for legacy data structures |
| CN101183400A (en) * | 2007-12-21 | 2008-05-21 | 威盛电子股份有限公司 | Debugging and checking method and system in graph hardware design |
Non-Patent Citations (2)
| Title |
|---|
| 戚铁林等: "MDA模型转换平台中模型转换方法的研究", 《计算机工程与设计》 * |
| 王宇英等: "面向信息物理融合系统的异构模型转换方法", 《西安电子科技大学学报（自然科学版）》 * |
Cited By (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105068858A (en) * | 2015-07-29 | 2015-11-18 | 北京世冠金洋科技发展有限公司 | Multi-source heterogeneous system emulation method and apparatus |
| CN106095404A (en) * | 2016-05-29 | 2016-11-09 | 淮阴师范学院 | A kind of business process model is to the automodel conversion method servicing composition model |
| CN108628659A (en) * | 2017-03-24 | 2018-10-09 | 中国电力科学研究院 | User's packaging model emulation mode based on dynamic link ADPSS real-time simulations and system |
| CN108170035A (en) * | 2017-12-13 | 2018-06-15 | 中国航空工业集团公司成都飞机设计研究所 | A kind of flight control system of modelling |
| CN108363563A (en) * | 2018-02-05 | 2018-08-03 | 海南大学 | Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework |
| CN110245128A (en) * | 2019-06-18 | 2019-09-17 | 北京明略软件系统有限公司 | Method for building up and device, storage medium, the electronic device of meta-model |
| CN111309288A (en) * | 2020-01-20 | 2020-06-19 | 北京国舜科技股份有限公司 | Analysis method and device of software requirement specification file suitable for banking business |
| CN111309288B (en) * | 2020-01-20 | 2021-01-01 | 北京国舜科技股份有限公司 | Analysis method and device of software requirement specification file suitable for banking business |
| CN112989610A (en) * | 2021-03-18 | 2021-06-18 | 南京仁谷系统集成有限公司 | Model-driven simulation verification method |
| CN113268895A (en) * | 2021-07-20 | 2021-08-17 | 湖南高至科技有限公司 | Combined simulation method, device, equipment and medium based on semantic mapping |
| CN113268895B (en) * | 2021-07-20 | 2021-09-21 | 湖南高至科技有限公司 | Combined simulation method, device, equipment and medium based on semantic mapping |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN104484518A (en) | Transfer method from demand model to simulation model | |
| US9754059B2 (en) | Graphical design verification environment generator | |
| CN106371813B (en) | A kind of electric vehicle motor controller method for producing software based on Simulink | |
| CN103513992B (en) | A kind of general Edutainment robot application software development platform | |
| Rajhans et al. | Supporting heterogeneity in cyber-physical systems architectures | |
| Eliasson et al. | Agile model-driven engineering in mechatronic systems-an industrial case study | |
| Walker et al. | The ITER plasma control system simulation platform | |
| Berrani et al. | Mapping SysML to modelica to validate wireless sensor networks non-functional requirements | |
| Fitzgerald et al. | From embedded to cyber-physical systems: Challenges and future directions | |
| CN105303004A (en) | Meta object mechanism driven complex system top layer design method | |
| Zhang et al. | An integrated intelligent modeling and simulation language for model-based systems engineering | |
| CN103065000B (en) | A kind of method of carrying out SysML state machine diagram analysis verification based on model-driven engineering | |
| Vangheluwe | Computer automated multi-paradigm modelling: Meta-modelling and graph transformation | |
| CN102722601A (en) | Implementation method of formal semantic integration framework for model transformation of numerical control system | |
| KR20150066377A (en) | Simulation framework system based on DEVS and simulation method using the same | |
| CN104778320A (en) | Configurable HLA (high level architecture) federal member construction method and configurable HLA federal member construction system | |
| CN115053209A (en) | Method and system for generating engineering drawings in engineering system | |
| CN102193802A (en) | Method for converting models with model subsets of same base class structure | |
| CN103049602A (en) | Method for transforming AADL (Architecture Analysis and Design Language) component to interface automata model based on model driven engineering | |
| Porter et al. | Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation | |
| CN106874562B (en) | Conversion system and method for converting architecture model into static calculation model | |
| CN106897120B (en) | Double-layer dynamic distributed simulation platform | |
| Du et al. | Towards verified safety-critical autonomous driving scenario with adsml | |
| Pais et al. | From SysML state machines to petri nets using ATL transformations | |
| Wu et al. | Integrated function structure and object-oriented design framework |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into 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: 20150401 |