Petri nets model of unified modeling language statecharts
F. Guo. Jisuanji Jicheng Zhizao Xitong, 13 (7):
1300--1307(2007)
Zusammenfassung
Aiming at shortcomings existing in Unified Modeling Language (UML) statecharts studies, a formal syntactics of UML statecharts was firstly described. Then, an extended Petri net model, StateChart Net (SC_Net), which could precisely describe the semantic of UML statecharts was defined, The statechart could precisely describe translation among layers, translation conflict and translation concurrence. Data processing of statechart translation and communication mechanism between statecharts could also be described. And the translation process from UML statechart diagrams to SC_Net was defined. Finally, verification of correctness and consistency of UML behaviour models was discussed.
%0 Journal Article
%1 guo_07_petri
%A Guo, F.
%C School of Computer Science, Beihang University, Beijing 100083, China
%D 2007
%J Jisuanji Jicheng Zhizao Xitong
%K 2007 statecharts _no_pdf petrinets uml chinese _to_download
%N 7
%P 1300--1307
%T Petri nets model of unified modeling language statecharts
%U http://www.scopus.com/scopus/record/display.url?view=extended&origin=resultslist&eid=2-s2.0-34548317287
%V 13
%X Aiming at shortcomings existing in Unified Modeling Language (UML) statecharts studies, a formal syntactics of UML statecharts was firstly described. Then, an extended Petri net model, StateChart Net (SC_Net), which could precisely describe the semantic of UML statecharts was defined, The statechart could precisely describe translation among layers, translation conflict and translation concurrence. Data processing of statechart translation and communication mechanism between statecharts could also be described. And the translation process from UML statechart diagrams to SC_Net was defined. Finally, verification of correctness and consistency of UML behaviour models was discussed.
@article{guo_07_petri,
abstract = {Aiming at shortcomings existing in Unified Modeling Language (UML) statecharts studies, a formal syntactics of UML statecharts was firstly described. Then, an extended Petri net model, StateChart Net (SC_Net), which could precisely describe the semantic of UML statecharts was defined, The statechart could precisely describe translation among layers, translation conflict and translation concurrence. Data processing of statechart translation and communication mechanism between statecharts could also be described. And the translation process from UML statechart diagrams to SC_Net was defined. Finally, verification of correctness and consistency of UML behaviour models was discussed.},
added-at = {2009-02-11T20:51:03.000+0100},
address = {School of Computer Science, Beihang University, Beijing 100083, China},
author = {Guo, F.},
biburl = {https://www.bibsonomy.org/bibtex/2e72262c020eacd3cace1dec50d6d334a/leonardo},
citeulike-article-id = {1704832},
interhash = {dc355a8e21688e2ebbdb88f0c693aed5},
intrahash = {e72262c020eacd3cace1dec50d6d334a},
journal = {Jisuanji Jicheng Zhizao Xitong},
keywords = {2007 statecharts _no_pdf petrinets uml chinese _to_download},
number = 7,
pages = {1300--1307},
posted-at = {2007-09-28 13:33:48},
priority = {3},
timestamp = {2009-02-11T20:51:03.000+0100},
title = {Petri nets model of unified modeling language statecharts},
url = {http://www.scopus.com/scopus/record/display.url?view=extended&origin=resultslist&eid=2-s2.0-34548317287},
volume = 13,
year = 2007
}