资源描述：
《UML状态图的形式化描述_崔冬华》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、·58·(总398)UML状态图的形式化描述2011年文章编号:1003-5850(2011)05-0058-03UML状态图的形式化描述TheFormalDescriptionofUMLStatecharts崔冬华崔光霁(太原理工大学计算机科学与技术学院太原030024)【摘要】面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描述。利用和改进原有的CHAM建模语言,使其能够对UML状态图
2、进行形式化描述。【关键词】统一建模语言,化学抽象机,状态图,CHAM中图分类号:TP301文献标识码:AABSTRACTTheformaldescriptionofobject-orientedmodelsisthefocusoftheresearchonformaldescription.UMLisastandardmodelinglanguagewhichisrecognizedbyOMG.CHAMiswidelyusedinparallelcomputingandthesoftwareArchitec
3、tures.Itissuitableforthedynamicdescriptionofthechangeofthesystem’sstates.Inthispaper,TheCHAMmodelisusedfortheformaldescriptionofUMLstatechartdiagramsthroughimprovingtheoriginalmodel.KEYWORDSUML,chemicalabstractmachine,statecharts,CHAM统一建模语言(UnifiedModeling
4、Language状态的变化,但是会发出迁移本身的动作。迁移按照有UML)是面向对象程序开发中的一种建模语言。因为无守卫条件可以分为无条件迁移和条件迁移,可以认具有灵活和直观的特点而得到广泛应用。它通过描述为无条件迁移是条件迁移的一种特殊情况,如果条件静态和动态信息为系统建立各种类型的模型,适合大迁移可以被理解为在某一个区域内的事件可以被触型、复杂系统的建模,1997年,对象模型组织(OMG)发,那么无条件迁移中这个区域是无限大的。开始接纳统一建模语言为其标准建模语言。化学抽象2化学抽象机模型介绍机(Chem
5、icalAbstractMachine)是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型,它借化学抽象机模型是系统的单个状态看成是一个溶用化学反应的隐喻,通过化学中分子和化学反应的概液(Solution),通过溶液之间变化的化学反应来描述念和抽象机模型的特点来描述系统状态的动态变化,系统的动态变化。在这个模型中,首先,溶液的变化是并由A·L·Wolf首次在化学抽象机模型思想的基础由组成溶液的分子(Molecule)来体现的,第二,在保证上将模型应用在描述系统的结构体系中。反应规则的分
6、子集不重叠的基础上,溶液之间的分子可以按照反应规则各自并行的进行反应。1UML状态图分析为了完善CHAM模型的思想,Wolf提出了状态图本质上是一个状态机,并且包含了状态机CHAM模型的三类规则:反应规则(TheReaction′′′的所有特征,状态图也依附于一个实体的类,用来描述Law)m1,m2,⋯,mk→m1,m2,⋯,ml;化学规则(The一个类或对象在它的生命周期中的所有状态以及这些ChemicalLaw)如果S→S′则S∪S"→S′∪S";带有膜状态是如何变化的,一个状态图是由以下部分组成的。结
7、构的规则(TheMembraneLaw)如果S→S′,则状态:状态图是状态的基本元素,状态包括简单状{ûC[S]û}→{ûC[S′]û}。态、复合状态、开始状态和终止状态,一个状态图必须3UML状态图的CHAM形式化语义有一个开始状态,开始状态并没有实际的意义,只是表示一个对象的生命周期的开始。终止状态表示类的生在使用化学抽象机模型对系统的体系结构进行分命周期的结束,但并不是所有的状态图都有终止状态。析的时候,使用的是反应规则的基本思想,但在状态图迁移:一个完整的迁移分为源状态、目标状态、事中,守卫条件的引
8、入让这种变化变得更加复杂,原有的件、守卫条件等,一个迁移必须有确定的源状态,但是反应规则和描述方式仅仅能体现一种迁移,却不能体按照目标状态的不同,可分为内部迁移和外部迁移,内现出守卫条件的影响。因此可看到,在化学抽象机描述部迁移只有源状态,因此内部迁移的执行并不能带来的系统体系结构中,会出现系统变化不确定的情况。*2011-01-04收到,2011-03-17改回**崔冬华,女,1952年生,教授,硕士生导师,研
