Paper Info
Title
A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study
Abstract
We have previously proposed a Petri-net based transformation approach to support formal modeling and analysis of complex UML statecharts. The generation of the target net model is based on an intermediate model. In this paper we define steps for generating the tat-get model from the intermediate model, and focus on a case study to evaluate the overall approach. The case study is based on modeling and simulation of an Early Warning System and a set of four experiments.
Year
Venue
Keywords
2005
SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2
UML statecharts,formal methods,transformation,Petri nets,model analysis
Field
DocType
Citations 
Programming language,Petri net,UML tool,Systems engineering,Unified Modeling Language,Computer science,Modeling and simulation,Applications of UML,Formal methods,Early warning system
Conference
1
PageRank 
References 
Authors
0.36
10
2
Name
Order
Citations
PageRank
Zhaoxia Hu1765.49
Sol M. Shatz246955.25