基于Larch/C的组件形式规范匹配

Formal Specification Matching of Components Based on Larch/C

下载PDF

导出

摘要主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch/C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover（LP）并通过实例描述了功能匹配的证明过程。 This paper mainly introduces formal specification matching of components, and details the function matching by Larch/C in Larch family, and lastly uses an example to explain the process of proving function matching by the tool LP.

作者嵇海明黄德浩杨宗源

机构地区华东师范大学计算机科学技术系

出处《计算机工程》 CAS CSCD 北大核心 2003年第13期90-91,127,共3页 Computer Engineering

关键词组件形式规范匹配 Larch/C 功能匹配 LP Formal specification matching of components Larch/C Function matching LP

分类号 TP311 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献5

1Guttag J V, Horning J J. Larch: Language and Tools for Formal Specification. Springer-verlay New York, Inc., New york NY, 1993.
2Larch Frequently Asked Questions. http://kininvie.dcs.st-and.ac.uk/- mnd/larch.html.
3Guttag J V, Homing J J. Introduction to LCL, A Larch/C Interface Language. Technical Report 74, Digital Equipment Corporation Systems Research Center, 130 Lytton Avenue, Polo Alto, CA94301,1991-07.
4Garland S J, Guttag J V. LP, the Larch Prover: User and Reference Manual. TR82, DEC Systems Research Center, Polo Alto, CA, 1994.
5Zaremski A M, Wing J M. Specification Matching of Software Components. ACM Software Engineering Notes, 1995, 20(4).

1张升昕,任杰,钱乐秋.构件规范匹配方法的探讨与设计[J].计算机工程,1999,25(3):8-10.
2陆炜妮,邹利华.基于组件的虚拟实验室反馈模型[J].计算机系统应用,2015,24(9):75-79.
3万剑怡,薛锦云.使用规范匹配实现设计模式的自动获取[J].小型微型计算机系统,2002,23(3):326-329. 被引量：5
4王庆香,孙炳达.Visual C++调用MATLAB建造模糊专家推理系统[J].自动化与仪器仪表,2006(1):66-68. 被引量：2
5杨杰,郑明春.形式化方法和对象技术的结合途径研究[J].山东师范大学学报（自然科学版）,2000,15(2):138-142. 被引量：1
6李留英,齐治昌.重用部件的特征匹配[J].计算机科学,1997,24(3):65-67.
7王刚,傅韶勇,徐征,常桂然.一种基于基调描述的组件查询技术的研究与应用[J].小型微型计算机系统,1999,20(11):832-836.
8孟吉.J2EE组件技术与架构的认识与分析[J].才智,2011,0(23):284-285.
9llikz,勇哥儿.攻破华夏黑客联盟[J].黑客防线,2005(8):11-18.
10李国栋,宋斌,柳长安.基于Petri网的组件化工作流模型研究[J].微计算机信息,2009,25(30):104-106. 被引量：1

计算机工程

2003年第13期

浏览历史

内容加载中请稍等...

基于Larch/C的组件形式规范匹配

参考文献5

相关作者

相关机构

相关主题

浏览历史