期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

LOTOS在网关体系结构设计中的应用

Structural Design of A Network Gateway Using the FDT LOTOS
下载PDF
导出
摘要 本论文从实践LOTOS语言的角度出发,采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。 In order to practise LOTOS, applied the constraint-o dented style of LOTOS to achieve the formal description of Networking Gateway Architecture.
作者 姜春艳
机构地区 厦门理工学院计算机科学与技术系
出处 《电脑与电信》 2007年第6期57-58,79,共3页 Computer & Telecommunication
关键词 LOTOS LOTOS规格 网关体系结构 面向约束描述风格 LOTOS LOTOS Specification Networking Gateway architecture constraint-oriented style
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献1

二级参考文献7

  • 1ISO/IEC 8807. Information processing systems, open systems interconnection, Lotos - a formal description technique based on the temporal ordering of observational behaviour[S]. 1989.
  • 2Milner R. A calculus of communicating systems[C]. SpringerVerlag, Lecture Notes in Computer Science, 1980.92.
  • 3Hoare C A R. Communicating sequential processes[M]. Prentice-Hall, 1985.
  • 4Courtiat J P. The lotosphere design methodology: Basic concepts[R]. ESPRIT 2304 Lotosphere Project, 1992.
  • 5Vissers C A, Scollo G, Sinderen M van, et al. Specification styles in distributed systems design and verification [C]. Theoretical Computer Science, North-Holland, 1991.179-206.
  • 6Gomez S P. The lotosphere design methodology: Guidelines[R].ESPRIT 2304 Lotosphere Project, 1992.
  • 7Bolognesi B, Brinksma E. Introduction to the ISO specification language Lotos [J]. Computer Networks and ISDN Systems,1987,(14): 25-59.

共引文献1

电脑与电信
2007年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部