%0 Conference Paper %1 yao_06_consistency %A Yao, Shuzhen %A Yao, Shuzhen %A Shatz, Sol M. %A Shatz, Sol M. %B Computing, 2006. CIC '06. 15th International Conference on %D 2006 %J Computing, 2006. CIC '06. 15th International Conference on %K 2006 statecharts model_checking uml %P 289--297 %R 10.1109/CIC.2006.32 %T Consistency Checking of UML Dynamic Models Based on Petri Net Techniques Consistency Checking of UML Dynamic Models Based on Petri Net Techniques %U http://dx.doi.org/10.1109/CIC.2006.32 %X To aid the development of high quality software applications, we present an approach for consistency checking of UML dynamic models based on Petri net techniques. ECPN, an extended colored Petri net, is used to formally describe state transitions of individual objects and interactions among objects, and is therefore capable of verifying the consistency of the models based on Petri net theory. In this work, we consider UML sequence diagrams and statecharts. The approach begins with a flattening strategy for UML dynamic models and then discusses translation of statecharts with composite states to an ECPN notation. The coverability graph is used to drive the consistency checking process. The paper discusses all phases of the approach and illustrates the concept by an example

@inproceedings{yao_06_consistency, abstract = {To aid the development of high quality software applications, we present an approach for consistency checking of UML dynamic models based on Petri net techniques. ECPN, an extended colored Petri net, is used to formally describe state transitions of individual objects and interactions among objects, and is therefore capable of verifying the consistency of the models based on Petri net theory. In this work, we consider UML sequence diagrams and statecharts. The approach begins with a flattening strategy for UML dynamic models and then discusses translation of statecharts with composite states to an ECPN notation. The coverability graph is used to drive the consistency checking process. The paper discusses all phases of the approach and illustrates the concept by an example}, added-at = {2009-02-11T20:59:40.000+0100}, author = {Yao, Shuzhen and Yao, Shuzhen and Shatz, Sol M. and Shatz, Sol M.}, biburl = {https://www.bibsonomy.org/bibtex/28364d0b5d63f125c58f11438e13a0198/leonardo}, booktitle = {Computing, 2006. CIC '06. 15th International Conference on}, citeulike-article-id = {2140564}, doi = {10.1109/CIC.2006.32}, interhash = {adeca17d0a0386582f2310197fd0f932}, intrahash = {8364d0b5d63f125c58f11438e13a0198}, journal = {Computing, 2006. CIC '06. 15th International Conference on}, keywords = {2006 statecharts model_checking uml}, pages = {289--297}, posted-at = {2007-12-18 11:31:21}, priority = {2}, timestamp = {2009-02-11T20:59:40.000+0100}, title = {Consistency Checking of UML Dynamic Models Based on Petri Net Techniques Consistency Checking of UML Dynamic Models Based on Petri Net Techniques}, url = {http://dx.doi.org/10.1109/CIC.2006.32}, year = 2006 }