故宫语言系统的变迁

一个建筑古迹如同语言系统。既然是语言系统,就会发生着变迁。本文以故宫为例,用符号学角度研究了故宫语言系统的变迁。故宫作为一座世界上现存规模最大、保存最为完整的木质结构的宫殿型建筑,这么多年来,她作为一座建筑群她的固有属性给人居住的功能并没有因此消失,但他所象征的意义以及其他功能,不断发生着拓展与变化。

UML活动图的操作语义

越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.