修改了设计文档，3.7.4.3.1	函数mainEventLoop()中如果外部队列和内部队列都为空情况下退出执行；
修改了设计文档，在<event>、<onentry>、<onexit>元素下支持<raise>元素；
代码中按照文档修改了mainEventLoop()函数的实现；
代码中添加了raise元素的实现；
修改了详细设计文档中的错别字；