一种状态图到B规格说明的自动转换方法研究实现-计算机工程与应用.PDF

Computer Engineering and Applications 计算机工程与应用 2011 ，47 （35） 77 一种状态图到B 规格说明的自动转换方法研究实现 曾 一，孙 政，周 吉，胡小威 ZENG Yi ，SUN Zheng，ZHOU Ji ，HU Xiaowei 重庆大学 计算机学院，重庆 400030 College of Computer Science ，Chongqing University ，Chongqing 400030 ，China ZENG Yi ，SUN Zheng ，ZHOU Ji ，et al.Research and implementation on state chart transformation in B.Computer Engi- neering and Applications ，2011 ，47 （35 ）：77-80. Abstract ：State chart ，one of the UML dynamic views ，mainly describes the dynamic behavior of the objects while the la