基于LOTOS对象模型的并发形式化研究

首页 > 按月查看>2006年第2月 >

基于LOTOS对象模型的并发形式化研究
DOI:
                        
作者:
                        
作者单位:
作者简介:
通讯作者:
基金项目:

Study of concurrent formalization of object model based on LOTOS

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

摘要:

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。

Abstract:

It is an efficient way to implement automation of software by applying formal methods to object-oriented technology.LOTOS is a powerful tool to describe concurrent operations,whose composition,operation semantic and precepts are introduced.In this paper,f

参考文献

相似文献

引证文献

引用本文

蒋学文,代劲.基于LOTOS对象模型的并发形式化研究[J].重庆工商大学学报（自然科学版）,2006,(2):
JIANG Xue-wen, DAI Jin. Study of concurrent formalization of object model based on LOTOS[J]. Journal of Chongqing Technology and Business University(Natural Science Edition）,2006,(2):

复制

文章指标

点击次数:
下载次数:

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期:

引用本文

分享

文章指标

历史