期刊名称：IAENG International Journal of Computer Science
印刷版ISSN：1819-656X
电子版ISSN：1819-9224
出版年度：2018
卷号：45
期号：4
页码：505-513
出版社：IAENG - International Association of Engineers
摘要：Several studies have focused on the formalizationof semi-formal methods, by derivation toward formal methodssuch as the formalization of UML diagrams by transformationtoward Petri Nets, in order to take advantage of evidence toolsto perform model-checking or code generation. The objectiveof this work is to propose a rigorous approach to build a UMLstatechart and propose and automatic method to transform ittoward Time Colored Petri Nets. Our approach is to producepatterns of UML statechart, composition rules of these patterns,which will be used in the development process. The resultingdiagram is automatically transformed into Time Colored PetriNets by an algorithm that implements our derivation rules.For the validation of our model, we apply our proposal to themodelling of a machine for hot drinks.
关键词：statechart patterns diagram; temporal colored;Petri nets; Formalization of models; specification of information;systems;
