| 基于LOTOS对象模型的并发形式化研究 |
| |
| 引用本文： | 蒋学文,代劲.基于LOTOS对象模型的并发形式化研究[J].重庆工商大学学报(自然科学版),2006,23(2):164-168. |
| |
| 作者姓名： | 蒋学文 代劲 |
| |
| 作者单位： | 重庆邮电学院,教务处,重庆,400065 |
| |
| 摘 要： | 面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。
|
| 关 键 词： | 对象模型 并发 形式化 LOTOS |
| 文章编号： | 1672-058X（2006）02-0164-05 |
| 收稿时间： | 2006-01-07 |
| 修稿时间： | 2006-01-072006-02-27 |
Study of concurrent formalization of object model based on LOTOS |
| |
| 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,23(2):164-168. |
| |
| Authors: | JIANG Xue-wen DAI Jin |
| |
| 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,formal rules of state transient,state chart and concurrent objects are developed,which are applied to formulization of software.Furthermore,a case about GTP management sub-system is presented to demonstrate the method. |
| |
| Keywords: | object model concurrency formalization LOTOS |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《重庆工商大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《重庆工商大学学报(自然科学版)》下载免费的PDF全文 |
|
