| Autor: |
Noulamo, Thierry, Tanyi, Emmanuel, Nkenlifack, Marcellin, Lienou, Jean-Pierre, Djimeli, Alain |
| Předmět: |
|
| Zdroj: |
IAENG International Journal of Computer Science; Nov2018, Vol. 45 Issue 4, p44-52, 9p |
| Abstrakt: |
Several studies have focused on the formalization of semi-formal methods, by derivation toward formal methods such as the formalization of UML diagrams by transformation toward Petri Nets, in order to take advantage of evidence tools to perform model-checking or code generation. The objective of this work is to propose a rigorous approach to build a UML statechart and propose and automatic method to transform it toward Time Colored Petri Nets. Our approach is to produce patterns of UML statechart, composition rules of these patterns, which will be used in the development process. The resulting diagram is automatically transformed into Time Colored Petri Nets by an algorithm that implements our derivation rules. For the validation of our model, we apply our proposal to the modelling of a machine for hot drinks. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
