法国和罗马尼亚对E-LOTOS定义的贡献

ISO/IEC国际标准15437:2001

(原名:ISO/IEC JTC1/SC21/WG7项目1.21.20.2.3和ISO/IEC JTC1/SC7/WG19项目07.20.02.03)

AFNOR公司   RSI公司
弗朗西斯·德普雷森塞大街11号   13,bd Jean-Louis Calderon
93571 Saint-Denis La Plaine塞德克斯   70201布加勒斯特
法国   罗马尼亚

版本2.31-日期2021/02/07 10:28:29

什么是E-LOTOS?


新工作项提案:对Lotos的增强(1993年12月16日)


E-LOTOS诞生(1997年2月18日)


E-LOTOS新工作项的描述(1998年6月16日)


E-Lotos:异步定时系统的新标准(2002年3月)
    E-Lotos:新常态下的非同步和临时系统(2002年火星)

1994年7月21日至27日,南安普顿(英国)会议


LOTOS流程部分的六项改进
H.加拉维
向ISO/IEC JTC1/SC21/WG1 LOTOS增强会议输入文件[SOU3](1.21.20.2.3)
PDF格式PostScript(后置脚本)

关于在E-LOTOS中引入门类型
H.加拉维
ISO/IEC JTC1/SC21/WG1 N1314关于LOTOS增强的修订草案附件D
PDF格式PostScript(后置脚本)

南安普敦会议纪要
PDF格式PostScript(后置脚本)

巴黎(法国)会议,1995年2月6日至8日


LOTOS流程部分的六项改进
H.加拉维
ISO/IEC JTC1/SC21/WG1 N1349 LOTOS增强工作草案附录K
PDF格式PostScript(后置脚本)

关于在E-LOTOS中引入门类型
H.加拉维
ISO/IEC JTC1/SC21/WG1 N1349 LOTOS增强工作草案附录C
PDF格式PostScript(后置脚本)

巴黎会议纪要
文本

渥太华(加拿大)会议,1995年7月20日至26日


LOTOS流程部分的六项改进
H.加拉维
ISO/IEC JTC1/SC21/WG7 N1001 LOTOS增强修订工作草案附录G
PDF格式PostScript(后置脚本)

关于IS8807的缺陷报告和LOTOS参数化类型的正确扁平化建议
H.Garavel和M.Sighireanu
对E-LOTOS中数据类型设计的贡献
H.加拉维
向ISO/IEC JTC1/SC21/WG7 LOTOS增强会议输入文件[OTT7](1.21.20.2.3)
PDF格式PostScript(后置脚本)

关于E-LOTOS中数据类型的建议
A.Jeffrey、H.Garavel、G.Leduc、C.Pecheur和M.Sighireanu
ISO/IEC JTC1/SC21/WG1 N10108关于LOTOS增强的修订工作草案(V2)附录A(列日会议)
PDF格式PostScript(后置脚本)

关于在E-LOTOS中引入门类型
H.加拉维
ISO/IEC JTC1/SC21/WG7 N1001 LOTOS增强工作草案附录B.1
PDF格式PostScript(后置脚本)

渥太华会议记录
PDF格式PostScript(后置脚本)

1995年12月18日至21日,列日(比利时)会议


关于IS8807的缺陷报告和LOTOS参数化类型的正确扁平化建议
H.Garavel和M.Sighireanu
向ISO/IEC JTC1/SC21/WG7 LOTOS增强会议输入文件[LG1](1.21.20.2.3)
PDF格式PostScript(后置脚本)

拟议E-LOTOS数据类型语言在OSI和ODP标准描述中的应用
H.Garavel和M.Sighireanu
向ISO/IEC JTC1/SC21/WG7 LOTOS增强会议输入文件[LG2](1.21.20.2.3)
PDF格式PostScript(后置脚本)

法国-罗马尼亚关于E-LOTOS数据类型的一些拟议功能的评论
H.Garavel和M.Sighireanu
向ISO/IEC JTC1/SC21/WG7 LOTOS增强会议输入文件[LG3](1.21.20.2.3)
PDF格式PostScript(后置脚本)

适用于OSI和ODP标准正式描述的E-LOTOS数据类型部分的提案
H.Garavel和M.Sighireanu
将文件[LG4]输入ISO/IEC JTC1/SC21/WG7 LOTOS增强会议(1.21.20.2.3),Liège
PDF格式PostScript(后置脚本)

E-LOTOS行为部分的愿望列表
H.加拉维
将文件[LG5]输入ISO/IEC JTC1/SC21/WG7 LOTOS增强会议(1.21.20.2.3),Liège
PDF格式PostScript(后置脚本)

列日会议记录
PDF格式PostScript(后置脚本)

堪萨斯城(美国)会议,1996年5月13日至17日


关于E-LOTOS用户语言的立场声明
H.Garavel和M.Sighireanu
将文件[KC2]输入ISO/IEC JTC1/SC21/WG7 LOTOS增强会议(1.21.20.2.3)
PDF格式PostScript(后置脚本)

E-LOTOS用户语言的法语-法语综合提案
H.Garavel和M.Sighireanu
将文件[KC3]输入ISO/IEC JTC1/SC21/WG7 LOTOS增强会议(1.21.20.2.3)
PDF格式PostScript(后置脚本)

法国-罗马尼亚关于在E-LOTOS模块中捕获需求和表达属性的提案
H.Garavel和R.Mateescu
将文件[KC4]输入ISO/IEC JTC1/SC21/WG7 LOTOS增强会议(1.21.20.2.3)
PDF格式PostScript(后置脚本)

E-LOTOS用户语言
M.Sihireanu和H.Garavel
ISO/IEC JTC1/SC21 LOTOS增强第三工作草案第2章(1.21.20.2.3)版本会议输出文件
PDF格式PostScript(后置脚本)

堪萨斯城会议纪要
PDF格式PostScript(后置脚本)

格勒诺布尔(法国)会议,1996年12月9日至11日


关于模块化E-LOTOS的定义
M.Sihireanu和H.Garavel

共同例行程序和暂停/恢复的建议
H.Garavel和M.Sighireanu
将文件[GR3]输入ISO/IEC JTC1/SC21/WG7 LOTOS增强会议(1.21.20.2.3)
PDF格式PostScript(后置脚本)

关于E-LOTOS工作进展的立场声明
H.Garavel和M.Sighireanu
将文件[GR4]输入ISO/IEC JTC1/SC21/WG7 LOTOS增强会议(1.21.20.2.3)
PDF格式PostScript(后置脚本)

格勒诺布尔会议记录
PDF格式PostScript(后置脚本)

赫尔辛基(芬兰)会议,1997年7月14日至18日


AFNOR对E-LOTOS委员会草案的评论(1997年6月)
PDF格式PostScript(后置脚本)

RSI对E-LOTOS委员会草案的评论(1997年6月)
PDF格式PostScript(后置脚本)

E-LOTOS中协同程序的建议
H.Garavel和M.Sighireanu
PDF格式PostScript(后置脚本)

赫尔辛基会议记录
PDF格式PostScript(后置脚本)

E-LOTOS最终委员会草案,1998年2月


1998年2月发布的E-LOTOS最终委员会草案(FCD)可从以下网址获得:马德里格勒诺布尔.

与1998年10月的E-LOTOS最终委员会草案相关的信函投票摘要可从以下网址获得:在这里.

AFNOR对E-LOTOS最终委员会草案的评论(1998年10月)
PDF格式PostScript(后置脚本)

和他们的技术附件
PDF格式PostScript(后置脚本)

罗马尼亚专家对E-LOTOS最后委员会草案的评论(1998年9月,非官方)
PDF格式PostScript(后置脚本)

E-LOTOS国际标准最终草案,2001年7月

2001年7月提交投票的E-LOTOS国际标准最终草案(FDIS)可从以下网址获得:在这里.

附录A(国际标准最终草案第134-192页)包含了一个用户友好的E-LOTOS教程。


E-LOTOS被采纳为国际标准,2001年9月

E-LOTOS语言的定义可从ISO/IEC购买国际标准15437:2001.

附录A(国际标准第122-179页)包含E-LOTOS的用户友好指南。


其他一些E-LOTOS站点


里昂大学(比利时)

马德里大学(西班牙)

渥太华大学(加拿大)

另请参见

TRAIAN网页在INRIA Rhóne-Alpes

关于E-LOTOS和LOTOS NT的论文在INRIA罗纳阿尔卑斯




返回VASY主页