重庆工商大学学报（自然科学版）

引用本文:	蒋学文,代劲.基于LOTOS对象模型的并发形式化研究(J/M/D/N,J:杂志，M：书，D：论文，N：报纸).期刊名称,2006，（2）：
	CHEN X. Adap tive slidingmode contr ol for discrete2ti me multi2inputmulti2 out put systems[ J ]. Aut omatica, 2006, 42(6): 4272-435

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 1162次下载 5次
分享到：微信更多字体:加大+\|默认\|缩小-
基于LOTOS对象模型的并发形式化研究
蒋学文,代劲

作者

单位

摘要:

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

关键词: 对象模型,并发,形式化,LOTOS

DOI：

分类号:TP311

基金项目:

Study of concurrent formalization of object model based on LOTOS

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,f

Key words: object model,concurrency,formalization,LOTOS