IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Verification Method of UML Model Based on SBOPN

2010 International Conference on Electrical and Control Engineering (ICECE)

Author(s): Xiaoling Yao ; Xue Lin
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2010
Conference Location: Wuhan, China, China
Conference Date: 25 June 2010
Page(s): 315 - 318
ISBN (CD): 978-0-7695-4031-3
ISBN (Electronic): 978-1-4244-6881-2
ISBN (Paper): 978-1-4244-6880-5
DOI: 10.1109/iCECE.2010.84
Regular:

This paper introduces the State-Based Object Petri Net (SBOPN), and based on aforementioned, we choose SBOPN to formalize the UML and gave the mechanism and corresponding algorithms that can be... View More

Advertisement