作者：张广泉; 戎玫; 黄正宝线性时序逻辑形式化语义顺序图状态图
摘要：由于UML2．0动态视图缺乏精确的语义，难以对它所表示的系统进行分析和验证。基于此，在描述UML2．0顺序图和状态图语法和语法约束的基础上，采用可执行的线性时序逻辑语言XYZ／E定义其形式化语义，这样不仅便于UML2．0顺序图和状态图之间的模型转换，也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《南京邮电大学学报·自然科学版》（CN：32-1772/TN）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《南京邮电大学学报·自然科学版》主要刊登能及时反映代表学科前沿、学术上有特色的通信与信息系统、信号与信息处理、电磁场与微波技术、通信系统与通信网、图像通信与多媒体通信、移动通信与光通信、计算机软件与理论、计算机应用技术、信息安全与信息网络、控制理论与控制工程、模式识别与智能系统、物联网等学科或专业的学术论文、研究报告及综...
杂志详情
