形式化表示UML顺序图的结构操作语义.pdf

《形式化表示UML顺序图的结构操作语义.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、云南民族大学学报：自然科学版，2013，22(4)：299—301CN53一l192／NISSN1672—8513doi：10．3969／j．issn．1672—8513．2013．04．016http：／／xb．ynni．edu．ca形式化表示UML顺序图的结构操作语义陈寿文(滁州学院数学科学学院，安徽滁州239000)摘要：采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则，并采用该方法描述了身份验证过程对应的操作顺序．这为基于UML顺序图的测试用例的自动生成奠定了基础，也为UML顺序图的

2、模型转换和模型验证提供了必要的前提条件．关键词：形式化表示；UML顺序图；结构操作语义中图分类号：TP311文献标志码：A文章编号：1672—8513(2013)04—0299—03FormalrepresentationofthestructuraloperationalsemanticsofUMLsequencediagramCHENShou—wen(SchoolofMathematicsandScience，ChuzhouUniversity，Chuzhou239000，China)Abstrac

3、t：ThispaperpresentsthedefinitionoftheUMLsequencediagrambytriples，anddepictstherulesofstruc—turaloperationalsemanticsaboutthediagramaccordingly．Then，itappliestheformerdefinitiontodescribetheoper-ationSsequenceduringtheprocessofidentityauthentication．Allof

4、theseprovidethefoundationfortheautomatedsoftwaretestcaseonUMLsequencediagramandapriorconditionformodeltransformingandmodelvalidation．Keywords：formalrepresentation；UMLsequencediagram；structuraloperationalsemantics形式语义学是程序设计理论的组成部分，它以数学为工具，利用符号和公式，精确地定义和解释

5、计Obj1：CommanderObj2：StafSeat!Obj3：CommandCenter：算机程序设计语言(程序)的语义，使语义形式化的m1：输A．id和Passw。0rd’1m2：验证id和Password：学科．就程序设计语言来说，它是用来和计算机系统lI．．‘：：m3：有效身份验证进行通信，并控制机器工作的人工语言，具有自身的!⋯⋯⋯⋯一一‘：!：里蚕廖啦语法、语义和语用范畴．为了定义并解释计算机程序．：!．一一堕塑盟一一的语义，形式语义学采用了一种元语言来描述程序II加工数据的处理过程，并

6、将处理结果形式化地表示图1指挥员成功登录到指挥中心的顺序图出来．本文以UML顺序图为研究对象，研究了使用三元组对其结构化语义进行形式化地表示．类元角色代表一个特定的对象或一组对象的集合，本文中称之为实例)；②用垂直轴表示时间．在顺序1UML顺序图及其形式化描述图中，实例用一个带有垂直虚线的矩形框表示，在矩1．1UML顺序图简介形框内标有实例名和对应的类名．垂直虚线称为实顺序图用于描述对象间动态交互关系，着重体例的生命线，代表在实例之间的交互作用中该实例现对象间消息传递的时间顺序．顺序图采用2个的生命期．

7、2个实例生命线间的带有箭头的线表示轴：①用水平轴表示不同的实例(即类元角色，每个消息．消息的箭头形状表明了消息的类型是发送还收稿日期：2013—01—04．基金项目：安徽省高校优秀青年人才基金(2012SQRL154)．作者简介：陈寿文(1979一)男，硕士，讲师．主要研究方向：机器学习与MIS云南民族大学学报(自然科学版)第22卷是返回．消息按发生的时间顺序从上到下排列．每个令?(0，m，0)表示对象0从对象0i处收到消息旁边标有消息名，也可加上参数．图1是1个指了消息m；ll={?(0i，m，D)I

8、i，，k∈z}表示挥员成功登录到指挥控制系统中的顺序图．整个顺序图中所有对象接收的消息集合．1．2UML顺序图形式化描述定义5令事件集合为Evn={(m，type)Ii1．2．1UML顺序图的三元组定义∈z，type∈{尺，

9、s}}，其中R表示接收消息，．s表示由于UML顺序图的建模方法有多种，其顺序图发送消息．的形式化描述方式也将不同．为研究UML顺序图自定义6<<是事件之间的一种顺序关系，且动生成测试用例需要，文献[4]用七元组对其进行