|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fernandez-Garavel-Kerbrat-Munier-Mateescu-Sighireanu-96 ：纸张 描述工具箱及其组件，显示在 CAV’96。 本文完成了前一篇文章并进行了总结 CADP在编写时的最新功能。 [4页] 加拉维勒-96 ：描述Eucalyptus工具集的论文，其中包含 CADP和其他LOTOS工具[仅限PostScript表单] [13页] 摘要： 本文介绍了 协议工程环境，EUCALYPTUS工具箱 已在两个框架内开发或改进 连续的欧洲-加拿大项目EUCALYPTUS-1和 桉树-2。 此工具箱基于形式描述 技术LOTOS由ISO标准化。 它提供了广泛的 功能，包括模拟、编译、， LOTOS描述的验证和测试用例生成。 车海巴-巴拉维尔-穆尼尔-塔比-祖利安-96 ：规格和 公牛功率等级总线仲裁器的验证 体系结构 [20页，仅PostScript表单] 摘要： 本文介绍了一个工业 关于使用形式化方法的案例研究 硬件设计验证。 案例研究的重点是 PowerScale，一种基于PowerPC的多处理器体系结构 微处理器，用于Bull的Escala系列服务器 和工作站（PowerScale和Escala已注册 Bull的商标。 PowerPC是 国际商业机器公司）。 规范语言LOTOS（ISO国际 标准8807）用于正式描述主要 该体系结构的组件（处理器、内存控制器 和总线仲裁器）。 确定了四个正确性属性，其中 表达正确运行的基本要求 仲裁算法，并根据 有限元之间的互模拟关系（模抽象） 标记的过渡系统。 使用合成和现场模型检查 CADP（CAESAR/ALDEBARAN）工具箱中实现的技术， 确定了仲裁算法的正确性 几分钟后自动 Mateescu-96型 ：飞利浦有限公司的规范和验证 重传协议 [31页，仅PostScript表单] 摘要： 本文报告了形式规范和 验证使用的有界重传协议（Brp） 飞利浦的产品之一。 我们从Brp服务的描述开始 （即外部行为）和写入muCRL的协议 格罗特和范德波尔的语言。 在翻译后 Lotos语言，我们通过 使用Cadp（Caesar/Aldebaran）工具箱进行模型检查。 生成了Lotos描述的模型 使用Caesar编译器（通过对数据设置边界 域）并使用检查为等效分支 Aldebaran工具。 或者，我们在ACTL时序逻辑中制定了 Brp协议的一组安全性和活性属性 并使用我们的Xtl在相应的模型上检查它们 通用模型检查器。 加拉维·穆尼尔96 ：规范和验证 领导人选举算法 [35页，仅PostScript表单] 摘要： 本报告涉及正式规范和 分布式领导选举算法的验证 由单向环形网络连接的一组机器。 从Le Lann于1977年提出的算法开始 我们研究了Chang和Roberts在1979年提出的变体 这类算法在以下情况下的鲁棒性 不可靠的通信介质和/或不可靠的机器。 我们按顺序建议对这些算法进行各种改进 以获得完全容错协议。 这些算法使用ISO进行正式描述 规范语言LOTOS和验证（对于固定数量 使用CADP（CAESAR/ALDEBARAN）工具箱。 模型检查和互模拟技术允许 对这些非平凡算法的验证 自动。 Garavel-Sighireanu-96-a公司 ：关于在E-LOTOS中引入例外 [16页，仅PostScript表单] 摘要： 异常处理的优点是众所周知的 几种顺序或并行编程语言提供 异常处理机制。 不幸的是，三个都没有 标准化形式描述技术（ESTELLE、LOTOS和 SDL）支持异常。 1992年，Quemada和Azcorra指出了 构造有例外和建议的协议描述 用所谓的“广义终止”扩展LOTOS 正在启用“”机制。 在本报告中，我们表明，他们的建议并非 完全适用于复合物的成分描述 系统。 我们为LOTOS提出了一种更简单的异常机制， 为此，我们提供了一个语法和语义定义。 我们表明，这种异常机制非常 基元，因为它允许几个现有的LOTOS操作员 表示为特殊情况。 我们还建议增加 运算符，例如对称序列组合和 迭代，可以从异常机制派生。
地址： INRIA罗纳阿尔卑斯山/戴亚德 欧洲大道655号 F-38330圣马丁蒙博诺 法国
电话：+（33）4 76 61 52 00<标准> +（33）4 76 61 52 02加桑·切哈巴尔 G.Chehaibar@dyade.fr +（33）4 76 61 52 24休伯特·加拉维 Hubert.Garavel@inria.fr +（33）4 76 61 53 94马克·约根森 Mark.Jorgensen@inria.fr +（33）4 76 61 52 83拉杜·马泰埃斯库 Radu.Mateescu@inria.fr +（33）4 76 61 52 98查尔斯·佩切尔 Charles.Pecheur@inria.fr +（33）4 76 61 52 89米哈埃拉·西希雷亚努 Mihaela.Sighireanu@inria.fr +（33）4 76 61 52 83布鲁诺·费雯 Bruno.Vivien@inria.fr 传真：+（33）4 76 61 52 52
地址： VERIMAG公司 中心方程式 维格纳特大道2号 F-38610吉尔 法国
电话：+（33）4 76 63 48 48<标准> +（33）4 76 63 48 52马吕斯·博兹加 Marius.Bozga@imag.fr +（33）4 76 63 48 53珍妮·克劳德·费尔南德斯 Jean-Claude.Fernandez@imag.fr +（33）4 76 63 48 59阿兰·科布拉特 阿兰·科布拉特@imag.fr +（33）4 76 63 48 52劳伦特·穆尼尔 劳伦特·穆尼尔@imag.fr +（33）4 76 63 48 51约瑟夫·西法基斯 Joseph.Sifakis@imag.fr 传真：+（33）4 76 63 48 50
编号：294 日期：1994年6月1日星期三20:53:11 MET DST 文件：bin.*/caesar，bin.*/caesar.adt 性质：“更多”选项（集成CAESAR和 凯撒。 ADT进入EUCALYPTUS图形用户界面） 已添加。
编号：295 日期：1994年6月2日星期四21:31:13 MET夏令时 文件：com/caesar.open 性质：“caesar.open”程序已经扩展，可以接受 “-cc”和“-more”选项。 已修复相关的错误。
编号：296 日期：1994年6月8日星期三18:31:33 MET DST 文件：com/caesar.open，doc/Garavel-92-a.ps 性质：“显式包含模式”的概念已被压制。 从现在起，只有两种模式可用：“（隐式） include mode”和“link mode”。与 （隐式）包含模式已修复。 文件 已更新。
编号：297 日期：1994年6月8日星期三18:40:52 MET DST 文件：com/caesar.open，man/caesar.open.l 自然：“caesar.open”程序不再试图猜测 自动选择链接模式还是包含模式 已使用。 此方法与最近的更改不兼容。 从现在起，有两个选项“-link”和“-include”可用 选择链接或包含模式。 默认情况下，链接模式 已选中。 手册页面已相应更新。
编号：298 日期：1994年6月8日星期三19:08:38 MET夏令时 文件：包括/caesar_version.h、man/caesar_ version.l、， doc/Garavel-92-a.ps，bin.*/libcaesar.a，bin.*.caesar，com/upc 性质：OPEN/caesar的“caesar_version”库已被修改 以便OPEN/CAESAR环境可以与其他 LOTOS/CAESAR以外的语言/工具。 “caesar_version”库不再检查版本 生成“spec.c”程序的CAESAR是最新的。 相反，CAESAR生成的“spec.c”程序 （或通过其他工具）将检查“caesar_version” 图书馆是最新的。 因此，“caesar_version”库 现在独立于CAESAR工具。 更改：函数CAESAR_GRAPH_VERSION（）已移至文件 “caesar_graph.h”； 函数中添加了两个参数 CAESAR_CHECK_VERSION（）； CAESAR_MATCH_VERSION（）的语义 已更改。 “upc”转换程序已修改 以便标记这些更改。 后果：这些修改应该对所有人透明 用户程序，除非它们使用“caesarversion”库。 但生成“spec.c”程序的工具必须是 特别是CAESAR_CHECK_VERSION（）的调用 在CAESAR_INIT_GRAPH（）中。 CAESAR编译器已修改 相应地。
编号：299 日期：1994年6月8日星期三20:19:17 MET DST 文件：bin.{sun3，sun4}/caesar，bin.{sun3，sun4}/libcaesar.a， 包括/caesar_*.h、man/caesar_*.l、doc/Garavel-92-a.ps、， src，src/open_caesar/*.c，com/caesar.open，com/upc 报告：Renaud Ruffiot（VERIMAG） 性质：OPEN/CAESAR编程接口在 以独立于LOTOS。 所有“隐藏”依赖项 （与LOTOS相关的实现细节）已删除，因此 允许LOTOS/CAESAR以外的其他语言/编译器 连接至OPEN/CAESAR。 主要更改主要影响“caesar_graph.h”。 他们是 描述如下： （1） 从现在开始，CAESAR用“-open”生成的C代码 选项#定义宏CAESAR_IMPLEMENTATION_GRAPH 并包含文件“caesargraph.h”（因此是可传递的 包括“caesar_standard.h”和“caesar版本.h”）。 （2） 两个函数CAESAR_GRAPH_COMPILER（）和 CAESAR_VERSION_COMPILER（）已添加到 “caesar_graph.h”。 （3） “caesar_graph.h”中的以下原语现在是 定义为宏观定义（名称以开头 “CAESAR_HINT_…”）以明确的方式： CAESAR_SIZE_STATE（） CAESAR_HASH_SIZE_STATE（） CAESAR_校准_状态（） 凯撒尺寸标签（） CAESAR_HASH_SIZE_LABEL（） CAESAR_ALIGNMENT_LABEL（） （4） “caesar_graph.h”中的以下原语现在是 定义为函数（不再是基于数组 宏观定义）： CAESAR_TRANSITION_LABEL（） CAESAR_VISIBLE_LABEL（） CAESAR_GATE_LABEL（） CAESAR_HIDDEN_GATE_LABEL（） CAESAR_CARDINAL_LABEL（） CAESAR_RANK_LABEL（） （5） “caesar_graph.h”中的以下原语现在是 #定义，因此不再需要实现 在CAESAR生成的C代码中，使用“-open”选项： 凯撒创建日期（） CAESAR_DELETE_STATE（） CAESAR_COPY_STATE（） CAESAR_CREATE_LABEL（） CAESAR_DELETE_LABEL（） CAESAR_COPY_LABEL（） （6） 函数CAESAR_STRING_LABEL（）的语义有 更改：从现在起，每次调用此函数都会擦除 上次调用期间计算并返回的字符串。 此外，如果函数失败，则不再返回NULL 指针，但中止程序。 （7） 函数CAESAR_TRANSITION_LABEL（）的语义具有 changed：从现在开始，它返回一个字符串（不再 整数）。 （8） OPEN/CAESAR应用程序文件，以前位于 src/*.c已移动到src/open_caesar/*.c中。 所有相关文件都已相应更新。 更改（1）-（5）不影响应用程序 （位于src/open_caesar中）。 CAESAR编译器的功能 在打开模式下（带有“-open”选项）已按顺序进行了调整 与新的OPEN/CAESAR接口兼容。 全部 为OPEN/CAESAR生成C代码的其他编译器应该是 也进行了调整。 更改（6）-（7）轻微影响应用程序， 以及CAESAR编译器本身。 “upc”迁移 程序已被修改以标记应用程序 需要加以调整。 带有“-open”的CAESAR编译器 模式也进行了调整。 OPEN/CAESAR参考手册和相应手册 页面已更新以反映这些更改。 有 现在，与LOTOS相关的功能之间有了明确的区分 和CAESAR，以及独立于任何语言和 编译器。 这应该为 希望将编译器连接到OPEN/CAESAR的实现者。
数量：300 日期：1994年6月9日星期四19:46:09 MET DST 文件：src/open_caesar/declarator.c 性质：一个名为“declarator”的新OPEN/CAESAR应用程序 已写入。 此程序可用于测试“spec.c” 工具生成的结果是否正确。 “声明人” 程序尝试使用 “caesar_graph.h”接口。
编号：301 日期：1994年6月9日星期四20:29:07 MET DST 文件：incl/caesar_standard.h 性质：修复了CAESAR_PROTEST（）定义中的一个错误。
编号：302 日期：1994年6月13日星期一12:39:16 MET DST 报道：劳伦特·穆尼尔、阿诺德·费弗里尔、托马斯·科赫、托马斯·兰博莱斯 文件：bin.*/caesar，bin.*/caesar.adt 性质：CAESAR。 改进了ADT，以提供更好的误差 无法枚举排序时进行诊断。 旧消息 是： ... 凯撒：“gsm”的模拟 凯撒：-模拟器生产 caesar:-模拟器编译 “gsm.c”，第1946行：符号处或附近的语法错误{ “gsm.c”，第1988行：符号处或附近的语法错误{ ... #156模拟期间文件“.h”中出现错误： C编译器拒绝了模拟器程序 退出 新消息是： ... 凯撒：“gsm”的模拟 凯撒：-模拟器生产 caesar:-模拟器编译 凯撒：模拟器执行 caesar:使用“aldebaran”格式的“gsm”的graph dump #200理论限制： 无法枚举无限（或复杂）排序的域 没有用于排序VLRACT[409]的可用迭代器 #172模拟期间的系统错误： 收到SOFTWARE_termination信号时终止（文件已完成） 退出
编号：303 日期：1994年6月25日星期六11:51:26 MET DST 报告：Eric Valade（ALCATEL Lannion） 文件：bin.*/libcaesar.a、bin.*/caesar 性质：标签的哈希代码计算不正确：两个 相同的标签可以有不同的哈希码。 功能 CAESAR_HASH_LABEL（）和CAESAR_LABEL_0_HASH（） 被改进的。
编号：304 日期：1994年7月6日星期三19:48:18 MET DST 报告：Mats Kindahl（乌普萨拉大学） 文件：bin.*/libcaesar.a、bin.*/caesar 性质：散列函数CAESAR_HASH_STATE（）、CAESAR_ HASH_LABEL（）、， CAESAR_0_HASH（）不正确，已修复。
编号：305 日期：1994年7月7日星期四19:29:15 MET DST 报告：Christian Schneiter（VERIMAG） 文件：bin.*/caesar 性质：优化V2中的一个错误导致了核心转储 固定。
编号：306 日期：7月11日星期一13:30:52 MET DST 1994 文件：bin.*/caesar，bin.*/caesar.adt 自然：得益于Mihaela Sighireanu CAESAR和CAESAR。 ADT编译器已更新。 这个 类型签名的计算以前是一致的 LOTOS国际标准草案。 现在是了 符合当前版本的标准 ISO国际标准8807。 因此，更多 现在接受了正确的LOTOS程序，并且 重命名和实现的问题现已得到妥善处理。
编号：307 日期：1994年7月29日星期五17:16:00 MET DST 文件：lib/X_REAL.lib 性质：类型NaturalNumber的导入已被删除。
编号：308 日期：1994年8月5日星期五13:20:59 MET DST 文件：bin.*/caesar 性质：已修复优化E5中的一个错误。
编号：309 日期：1994年8月8日星期一11:07:43 MET DST 文件：bin.*/caesar 性质：CAESAR发现“无法访问的进程”时发出的警告 如果“-root”选项出现在 命令行。
编号：310 日期：1994年8月12日星期五17:53:24 MET夏令时 报告：Claire Loiseaux（VERIMAG） 文件：包括/X_NATURAL.h 性质：为了兼容，修改了文件“X_NATURAL.h” 使用“gcc”编译器与C++程序一起使用。
编号：311 日期：1994年8月13日星期六13:21:42 MET DST 文件：bin.*/caesar 性质：优化现在在 速度更快。
编号：312 日期：1994年9月26日星期一14:03:50 MET 文件：bin.*/caesar，bin.*/caesar.adt 性质：表单（*！…*）的特殊注释现在定义在 句法层面，而非词汇层面。 有 关于这些内容的更多语义验证 评论。 因此，现有的错误（出现“$” 由自动生成的某些C标识符中的字符 CAESAR和CAESAR。 ADT）已修复。 C标识符的拼写可能已更改（例如。， CAESAR_ADT_FUNC_23可能会在CAESAR-ADT_FUNC35中重命名）。 如果出现此问题 CAESAR版本。 应使用新的 CAESAR版本。 广告。
编号：313 日期：1994年10月12日星期三20:03:13 MET 文件：com/caesar.open，src/open_caesar/generator.c， src/open_caesar/reductor.c，src/open_caesar/xsimulator.c 性质：“caesar.open”shell-script已被修改：它解析 “user.c”程序的内容，以便确定 C预处理器、C编译器和 链接编辑器。 这些选项以“user.c”表示 使用表单的指令： static char*CPPFLAGS=“@（#）CPPFLAGS=…” static char*CFLAGS=“@（#）CFLAGS=…” static char*LDFLAGS=“@（#）LDFLAGS=…”
编号：314 日期：1994年10月12日星期三20:03:13 MET 文件：bin.*/bcg_expand、bin.*/bcg_io、bin.*.bcg_lib、， bin.*/libBCG.a，bin.*/libBCG_IO.a，bin.*.libBCG_draw.a， bin.*/libbcg_io.a，bin.*/libbcg_open.a， com/bcg_draw、com/bcg_open、， 包括/bcg_*.h、src/bcg_draw/*.ps 手动/手动/bcg.l、手动/bcg_draw.l、手动/手动/bcg_io.l、， man/manl/bcg_lib.l，man/man1/bcg_open.l 性质：一个完整的软件环境，名为BCG（代表 “二进制编码图”）已添加到CADP工具集中。 该软件在相应的手册页中进行了描述 “手动/手动/bcg_*.l”。
编号：315 日期：1994年10月12日星期三20:04:08 MET 文件：src/open_caesar/generator.c、src/open_caesar/reductor.c 性质：OPEN/CAESAR的“生成器”和“reductor”程序有 已修改：他们现在生产带标签的过渡系统 以BCG格式编码（而不是生成标签 伪ALDEBARAN格式的过渡系统 几乎无用）。
编号：316 日期：1994年10月25日星期二13:27:31 MET 文件：src/open_caesar/xsimulator.c 性质：修复了一个错误，导致“xsimulator”在 $DISPLAY环境变量给定的窗口可以 未打开。
编号：317 日期：1994年11月14日星期一16:15:07 MET 文件：src/open_caesar/executor.c，src/open_caesar/executor.c， src/open_caesar/terminator.c，man/manl/aldebaran.l 性质：OPEN/CAESAR工具生成的诊断序列 现在显示“执行人”、“参展商”和“终止人” 使用SEQUENCE格式。 该格式在 ALDEBARAN手册页。
编号：318 日期：1994年11月17日星期四13:20:32 MET 文件：src/open_caesar/exphibitor.c、man/manl/exphibitor.l 性质：参展商计划在许多方面得到了改进： *该算法现在寻找“最短”的执行序列。 *添加了“-”选项，允许输入 使用sequence格式描述的执行序列。 *新选项“仅限”提供了新的隐藏规则 标签。 *新选项“-depth”提供了 要搜索的执行序列的长度。 *新选项“-none”、“-all”、“-first”和 ``-decr“”允许控制显示的执行序列。 所有这些更改都是向上兼容的。
编号：319 日期：1994年11月17日星期四13:21:07 MET 文件：src/open_caesar/terminator.c、man/manl/terminator.l 性质：终止程序在许多方面得到了改进： *为了找到更准确的结果，对算法进行了改进 执行序列。 *该算法现在寻找“最短”的执行序列。 *新选项“-depth”提供了 要搜索的执行序列的长度。 *新选项“-none”、“-all”、“-first”和 ``-decr“”允许控制显示的执行序列。 所有这些更改都是向上兼容的。
编号：320 日期：1994年11月18日星期五12:10:57 MET 文件：bin.*/libcaesar.a，包括/caesar_edge.c，man/manl/caesar_edge.l， 文件/Garavel-92-a.ps， 性质：OPEN/CAESAR的“边缘”库中增加了两个 新函数CAESAR_COPY_EDGE（）和CAESAR_COPY_EDGE_LIST（）。
编号：321 日期：1994年11月18日星期五13:11:07 MET 文件：bin.*/libcaesar.a，包括/caesar_stack_1.c， man/manl/caesar_stack_1.l，doc/Garavel-92-a.ps， 性质：OPEN/CAESAR的“stack_1”库中增加了两个 新函数CAESAR_PURGE_STACK_1（）和CAESAR_COPY_STACK-1（）。
编号：322 日期：1994年11月19日星期六14:20:57 MET 文件：bin.*/libcaesar.a，包括/caesar_diagnostic_1.c， man/manl/caesar_diagnostic_1.l，doc/Garavel-92-a.ps， 性质：OPEN/CAESAR中添加了一个新库（“diagnostic_1”）。
编号：323 日期：1994年11月21日星期一21:05:50 MET 文件：src/open_caesar/prectiver.c 性质：预测器程序已经改进：内存量 现在可以使用UNIX命令“pstat”计算可用性。
编号：324 日期：1994年11月26日星期六20:35:53 MET 文件：bin.*/caesar、bin.*.caesar.adt、com/caesar.aldebaran、， com/caesar.open，com/caesart.xesar 性质：CADP包中的所有LOTOS工具都已经过调整 为了接受带有各种后缀“.LOTOS”的LOTOS文件， “.lot”和“.l”：这将提高与其他 现有的LOTOS工具，例如在LOTOMORE中开发的工具 和EUCALYPTUS项目。
编号：325 日期：1994年12月19日星期一11:45:44 MET 文件：man/manl/declarator.l，man/man1/executor.l， man/manl/exhibitor.l，man/man1/generator.l， man/manl/predictor.l，man/man1/reductor.l， man/manl/simulator.l、man/man1/terminator.l、， man/manl/x模拟器.l 性质：已为所有OPEN/CAESAR提供手册页 CADP包中包含的应用程序工具：声明符， 执行者、参展商、生成器、预测器、还原器、模拟器， 终止符和xsimulator。
编号：326 日期：1994年12月20日星期二14:46:17 MET 文件：com/caesar.autograph 性质：自年以来，“凯撒亲笔签名”的贝壳脚本已被删除 它不再有用：新版本的AUTOGRAPH（atgV3） 不再使用“.sa”格式，而是使用“.fc2”和“.atg”格式 格式。 应使用新的“bcg_io”工具替换 “凯撒亲笔签名”如下： （1） 如何将AUTOGRAPH应用于“.aut”文件？ bcg_io文件.aut文件.fc2 atg文件.fc2 （2） 如何将AUTOGRAPH应用于“.bcg”文件？ bcg_io文件.bcg文件.fc2 atg文件.fc2 （3） 如何将AUTOGRAPH应用于“.lotos”文件？ caesar.open FILE.lotos生成器 bcg_io文件.bcg文件.fc2 atg文件.fc2
编号：327 日期：1994年12月20日星期二14:46:17 MET 报告：Roland Groz（CNET）、Mark Ardis（AT&T） 文件：com/aldebaran.msc，man/manl/aldebaran.msc.l， demos/demo_09/：READ_ME 性质：“aldebaran.msc”外壳脚本以多种方式被窃听： 因此，它已从CADP包中删除。 它是 替换为新的“bcgopen”和“exhibitor”。 上一个 命令： aldebaran.msc文件_1.aut文件_2.msc 应替换为以下内容： bcg_io FILE_1.aut FILE_1.bcg bcg_open FILE_1.bcg参展商-仅限-<FILE_2.msc 新方法有几个优点： -速度更快； -它计算最短执行序列匹配 文件2.msc； -它显示对应于“i”的隐藏门 行动； 它甚至可以“即时”应用于LOTOS程序（而不是 标记的过渡系统）： caesar.open FILE_1.lotos参展商-仅限-<FILE_2.msc 此外，“.msc”后缀更改为“.seq”。
编号：328 日期：1995年1月18日星期三20:31:45 MET 报告：Charles Pecheur（列日大学） 文件：bin.*/hostinfo，com/rfl 性质：RFL shell脚本经过了深度修改，并且是二进制的 引入了名为“hostinfo”的程序，以便 消除多个工作站的配置问题 IP地址。
编号：329 日期：1995年1月18日星期三20:31:45 MET 文件：com/arch，com/caesar.open 性质：已添加或修改壳脚本以处理 非BSD Unix系统（尤其是Solaris 2.*）。
编号：330 日期：1995年3月22日星期三20:01:35 MET 报告：Roland Groz（CNET） 文件：bin.*/caesar 性质：优化U2中修复了一个微妙的错误，导致 使用CAESAR时堆芯卸载。
编号：331 日期：1995年3月24日星期五17:06:53 MET 报告人：Claude Jard（IRISA） 文件：bin.*/aldebaran 性质：处理包含以下内容的.exp文件时出现问题 大小写标签。 考虑到 exp文件是区分大小写的，除非明确 在 开始。
编号：332 日期：1995年4月6日星期四11:48:34 MET DST 文件：bin.*/caesar 性质：已修复优化E5中的一个错误。
编号：333 日期：4月19日星期三10:16:05 MET DST 1995 报告：阿兰·科布拉特（Bull-IMAG） 文件：bin.*/bcg_io 性质：bcg_io生成的FC2图有时是不正确的。
编号：334 日期：1995年5月5日星期五18:44:30 MET DST 报告：Laurent Mounier（VERIMAG） 文件：demo_07/overtaking.hide、demo_07/overtaking.rename、， demo_08/rel_rel.hide，demo_11/rel_rel.hide 性质：演示#7、#8和#11的“.hide”和“.rename”文件是 ALDEBARAN的行为不正确 已更正。
编号：335 日期：1995年5月12日星期五下午12:35:05 MET夏令时 文件：bin.*/caesar 性质：优化V3已修改，以便执行 “符号”常量检测（即常量检测 没有C代码生成） 或编译用于优化V3的C代码失败。
编号：336 日期：1995年5月12日星期五12:36:18 MET DST 文件：bin.*/caesar、man/manl/caesar.l 性质：CAESAR增加了一个“触发器”选项。
编号：337 日期：1995年5月12日星期五14:38:48 MET DST 文件：bin.*/caesar 性质：应用优化的顺序 仔细重新设计。 在新的订单中 应用的优化数量减少了22%， 从而导致速度增加，而不会增加 生成的网络或图形的大小。 在少数情况下 生成的图形甚至更小。
编号：338 日期：1995年5月15日星期一20:03:14 MET DST 文件：com/bcg_open，com/caesar.open， man/manl/bcg_open.l，man/man1/caesar.open.l 性质：扩展了“caesar.open”和“bcg_open”命令 以便接受“.o”文件（而不是“.c”文件）作为 论据。
编号：339 日期：1995年5月24日星期三11:08:40 MET DST 文件：bin.*/evaluator.o，man/manl/evaluator.l 自然：分支时间微积分和 LTAC时序逻辑已添加到CADP工具箱中。 它 可以与“caesar.open”和“bcg_open”一起使用。
编号：340 日期：1995年5月31日星期三19:20:43 MET DST 报告：Jean-Claude Fernandez，Laurent Mounier（VERIMAG） 文件：demo_06/*，demo_11/* 性质：demo_11（compositional rel/rel）中修复了一个错误。 演示_06 进行了相应修改。
编号：341 日期：1995年6月23日星期五20:58:55 MET夏令时 文件：com/caesar.open，com/upc 性质：命令“caesar.open”和“upc”已修改为 也可以在Solaris 2.x下工作
编号：342 日期：1995年6月24日星期六10:33:39 MET DST 文件：bin.*/caesar、bin.*/caesar.adt、/ 安装 man/manl/caesar.l，man/man1/caesar.adt.l 性质：两个环境变量$CADP_LANGUAGE和$CADP_CC具有 已添加到CAESAR和CAESAR。 ADT公司。 它们允许选择 诊断使用哪种语言（“法语”或“英语”） 以及使用的C编译器（“cc”、“gcc”等）。 这个 安装手册和联机手册页面已更新。
编号：343 日期：1995年6月26日星期一16:21:00 MET夏令时 文件：（多个） 性质：出于Solaris 2.x可移植性的原因 C编译器现在是“cc”而不是“/bin/cc”。 类似地 C漂亮打印机的默认值现在改为“缩进” “/bin/indent”。 用户必须设置其$PATH变量 正确地。
编号：344 日期：1995年6月30日星期五12:25:40 MET DST 文件：bin.*/caesar，bin.*/caesar.open，gc/*， man/manl/caesar.l，man/man1/caesar.open.l 自然：多亏了米哈拉·西希拉努，博姆-德默斯垃圾 收集器已与CADP工具箱接口。 CAESAR和CAESAR中添加了“-gc”选项。 打开。 通过重用为抽象数据类型分配的内存， 此选项允许处理更大的LOTOS描述。
编号：345 日期：1995年7月17日星期一19:06:22 MET DST 报告：Mihaela Sighireanu（VERIMAG） 文件：bin.*/caesar，bin.*/caesar.adt 性质：在CAESAR和CAESAR的前端。 ADT，参数化类型 根据DIS（“国际草案 标准”）语义。例如，标准LOTOS库 无法编译。 CAESAR和CAESAR的新版本。 ADT公司 现在完全符合is（“国际标准”） 语义。 DIS语义不再可用。
编号：346 日期：1995年7月17日星期一20:11:02 MET DST 报告：Mihaela Sighireanu（VERIMAG） 文件：bin.*/caesar、bin.*/caesar.adt、doc/Garavel-Sighireanu.ps man/manl/caesar.l，man/man1/caesar.adt.l 性质：在参数化的IS语义中发现了一个错误 提出了语义和适当的解决方案（参见 $CADP/doc/Garavel-Sighireanu.ps了解详细解释）。 该解决方案已在CAESAR和CAESAR中实现。 ADT公司 作为默认语义。 然而，IS语义也是 保留并可以通过提供“-iso”选项获得 CAESAR和CAESAR。 ADT公司。
编号：347 日期：1995年7月30日星期日13:10:48 MET夏令时 报告：Mihaela Sighireanu（VERIMAG） 文件：bin.*/caesar，bin.*/caesar.adt 性质：CAESAR和CAESAR前端出现错误。 ADT、， 关于静态语义检查。 绑定排序时 在行为表达式中，所有没有正式排序的类型 他们的签名被考虑在内。 类似地，当 行为表达式中的绑定操作，所有类型都没有 他们的签名中考虑了正式操作。 从现在起，当绑定排序或操作时，只有那些 既没有正式排序也没有正式操作的类型 在他们的签名中被考虑在内。
编号：348 日期：1995年7月30日星期日16:29:25 MET DST 文件：src/xsimulator.c，x11/* 性质：OPEN/CAESAR“xsimulator”程序按顺序修改 要移植到运行Solaris 2.*的Sun5机器。 这个 非标准的“Xaw3d”（三维小部件）被替换为 标准的“Xaw”库。 “西马克”图书馆 相应更新。
编号：349 日期：1995年8月11日星期五14:14:07 MET DST 报告：Radu Mateescu（VERIMAG） 文件：incl/X_BOOLEAN.h 性质：布尔运算符在C中的以下实现： #定义ADT_XOR（X1，X2）（（X1）！= （X2）） #定义ADT_IMPLIES（X1，X2）（（X1）<=（X2）） #定义ADT_IFF（X1，X2）（（X1）==（X2）） #定义ADT_EQ_BOOL（X1，X2）ADT_IFF（X1、X2） #定义ADT_NE_BOOL（X1，X2）ADT_XOR（X1、X2） 是错误的（他们认为实现了“true” 乘以1，这可能不是一般情况） 已更正。
编号：350 日期：1995年9月6日星期三11:47:37 MET DST 报告：Ghassan Chehaibar（公牛） 文件：lib/Y_ENUMERATION.lib 性质：“lib/Y_ENUMERATION.lib”中给出的“枚举类型”示例 OSI协议不明确且过于具体。 一直以来 替换为更简单、更通用的示例，从中 凯撒。 ADT可以产生最优的C代码。
编号：351 日期：1995年9月8日星期五20:22:34 MET DST 报告人：Richard H.Carver（美国费尔法克斯乔治梅森大学） 德克·凯克（IND，德国斯图加特大学） 谢尔盖·罗宾逊（INT，法国埃弗里） 文件：com/rfl 性质：RFL命令在许多方面得到了改进： （1） 为本地机器准备RFL时，它使用 “sh”和“cp”而不是“rsh”和“rcp”，这是 不需要在“.rhosts”文件中进行任何配置。 （2） 错误消息已得到改进。 （3） 检查目标机器时会显示注释。 （4） RFL现在检查$CADP变量是否正确 在每个目标机器上设置。 （5） TFL现在检查每个目标的体系结构 计算机由CADP分发支持。 （6） 添加了“-f”选项，允许重用 现有机器中提到的机器列表 许可证文件（请参阅安装文件）。
编号：352 日期：9月13日星期三15:05:16 MET DST 1995 报道：Jian Chen（美国费尔法克斯乔治梅森大学） 文件：/ 安装 性质：错误的命令： 别名caesar.adt caesar-英语 替换为： 别名caesar.adt caesar-adt-英语
编号：353 日期：9月13日星期三18:38:32 MET DST 1995 文件：/ 安装 性质：安装手册已经过深入审查。 它集成了支持多个 体系结构（尤其是“拆分”FTP分发）。
编号：354 日期：9月13日星期三20:11:10 MET DST 1995 报告：Mats Kindahl（乌普萨拉大学） 文件：/ 安装 性质：安装文件中修复了一个错误。 命令： setenv MANPATH$MANPATH：$CADP/man 这导致了csh（“Variable syntax”）和tcsh的问题 （“未知变量修饰符”）已被更正。
编号：355 日期：1995年10月18日星期三18:42:26 MET 文件：com/bcg_edit、src/bcg_edit/*.tcl、tcl-tk/* 自然：多亏了路易斯·帕斯卡尔·托克，一个新工具（“bcg_edit”） 添加到BCG环境中。 这是一个用户友好的工具， 基于TCL-TCK的图形编辑器，允许修改 交互式地表示BCG图。
编号：356 日期：1995年10月19日星期四18:47:02 MET 文件：com/exp.open、bin.*/exp2c、bin.*.libexpopen.a、， 手动/手动/导出打开.l 性质：添加了一个名为exp.open的新工具。 此工具允许 通过转换“.exp”文件，将OPEN/CAESAR应用于“.eexp”文件 到OPEN/CAESAR图形模块中。 （参见exp.open手册 更多信息）。
编号：357 日期：1995年10月23日星期一16:32:54 MET 文件：doc/* 性质：在“doc”目录中添加了新论文： doc/Mounier-94ps（文档/鼠标-94ps） doc/Kerbrat-94.ps doc/Garavel-95-a.ps文件 doc/Garavel-Sighireanu-95.ps doc/Kerbrat-BenAtallah-95.ps doc/Tock-95.ps文件 READ_ME和biblio.bib文件已更新。
编号：358 日期：1995年11月21日星期二13:20:24 MET 报告：Ghassan Chehaibar（公牛） 文件：bin.*/caesar 性质：CAESAR用于确定哪些过渡可以 从一个给定的标记中开火，已经被完全重新考虑过。 这个 新算法大大减少了C程序的大小 由CAESAR生成，选项为“-e7”、“-open”、“-simulator”， 以及以给定格式生成图形的所有其他选项。 例如，从 LOTOS中对Bull的Pegasus架构的描述 显著减少：使用旧算法时为30 MB 新的内存减少到8.3MB。 类似地，从LOTOS生成的C代码的大小 空中客车A340飞行警告计算机的描述是 从6 MB减少到4.2 MB。
编号：359 日期：1995年11月22日星期三16:50:40 MET 文件：bin.*/aldebaran 性质：引入了运算符“||”（完全同步） .exp格式。
数量：360 日期：1995年11月30日星期四16:38:55 MET 文件：demos/demo_12、demos/demo_13、demos/demo_14 性质：工具箱中添加了三个新演示： -demo_12：消息身份验证算法 -demo_13：要显示的BCG图集合 使用BCG_DRAW -demo_14：普通旧电话系统（POTS）
编号：361 日期：1995年11月30日星期四17:02:43 MET 文件：com/tst/ 安装 性质：CADP工具箱中添加了一个新的shell命令“tst”。 此命令检查CADP软件是否正确 已安装。 它有助于定位安装问题。 安装文件中描述了其用法。
编号：362 日期：1995年12月14日星期四15:12:08 MET DST 报告：Hubert Garavel（VERIMAG） 文件：bin.*/aldebaran 性质：ALDEBARAN诊断中的一个错误已修复。 对于 ``+*eq“”选项，结束诊断的操作名称 序列不正确。
编号：363 日期：1995年12月20日星期三07:43:33 文件：bin.*/aldebaran 性质：用于实现Paige/Tarjan的数据结构 算法得到了优化。 特别是，标记 具有众多不同标签的过渡系统可以 更有效地进行处理。
编号：364 日期：1996年1月4日星期四18:45:35 MET 文件：bin.*/caesar、man/manl/caesar.l 性质：CAESAR的“-root”选项得到了改进，以便生成 更小的图形。 由于这一改进， 不再允许进程P具有值- 参数，如果要在“-root P”中使用此过程P 或“-root P[G1，…，Gn]”选项。 CAESAR的手册页面 相应更新。
编号：365 日期：1996年1月12日星期五19:04:17 MET 文件：com/swapsize，src/predictor.c 性质：CADP工具箱中添加了一个新的shell-command“swapsize”。 此命令显示可用的内存量（交换）。 OPEN/CAESAR“预测器”程序修改为使用 （architecture-independent）命令“swapsize”。
编号：366 日期：1996年1月19日星期五18:06:22 MET 文件：bin.*/caesar、man/manl/caesar.l 性质：CAESAR增加了一个新选项“-bcg”，允许CAESAR 直接生成BCG图。 选项“-graph”不再 默认选项； 选项“-bcg”变为默认选项。
编号：367 日期：1996年1月25日星期四11:45:26 MET 文件：bin.*/aldebaran、man/manl/aldebaran.l 性质：得益于一个新选项“-output”（参见阿德巴兰手册 更多信息）ALDEBARAN已连接 BCG格式：现在可以读取BCG文件（使用 可怕的错误将在以后的版本中修复）并生成 BCG文件作为输出（在LTS缩减后）。
编号：368 日期：1996年1月25日星期四11:45:26 MET 文件：bin.*/aldebaran、man/manl/aldebaran.l 性质：出于兼容性原因 使用时，ALDEBARAN不再自动排序 “-exp2out”选项。 另一方面，“-sort” 已添加选项（有关更多信息，请参阅aldebaran手册 信息）。
编号：369 日期：1996年3月12日星期二16:35:07 报告：Guy Leduc（列日大学） 文件：bin.*/aldebaran 自然：修复了一个错误。 分支的实时计算 在某些情况下，互模拟是不正确的，尤其是在 其中一个LTS中存在“tau”电路。
编号：370 日期：1996年4月25日星期四15:05:44 MET DST 报告：Jean-Pierre Krimm（VERIMAG） 文件：bin.*/exp2c，bin.*/libexpopen.a 性质：exp.open中修复了一个错误。 “.exp”中使用的LTS 文件被错误读取，因此图形模块 exp.open生成的有时是错误的。
编号：371 日期：1996年4月29日星期一18:25:18 MET DST 文件：src/predictor.c 性质：在 预测程序。
编号：372 日期：1996年5月21日星期二17:38:50 MET DST 报告：Christophe Broult（SEPT） 文件：bin.*/caesar，bin.*/caesar.adt 性质：在CAESAR和CAESAR的早期版本中。 ADT，最大 包含文件（“.lib”文件）的数量限制为32个， 导致以下错误消息： #022分析过程中的错误： 包含文件太多 退出 这个最大值提高到128。
编号：373 日期：1996年6月4日星期二19:32:31 MET DST 文件：bin.sun3、bin.sun3.gcc、*.sun3* 性质：我们决定停止支持SUN 3硬件平台， 因为许可机制告诉我们没有SUN 3机器 仍在运行CADP。 这使得新的CADP版本 打火机。
编号：374 日期：1996年6月3日星期一19:49:02 MET DST 文件：bin.*/caesar，bin.*/caesar.adt 性质：显示的错误消息中有三处不一致 CAESAR和CAESAR。 ADT（关于库包含） 已确定并修复。
编号：375 日期：1996年6月4日星期二20:14:02 MET夏令时 文件：doc/* 性质：在“doc”目录中添加了新论文： doc/费尔南德斯·穆尼尔-95.ps doc/Garavel-Fernandez-et-al-96.ps文件 doc/Garavel-Mounier-96ps READ_ME和biblio.bib文件已更新。
编号：376 日期：1996年6月10日星期一19:22:14 MET DST 报告：bin.*/caesar，man/manl/caesar.l 性质：CAESAR增加了一个新选项“渐变”。 此选项 在生成 默认情况下，仅应用优化 网络完全生成后。 使用此选项， 优化应用于生成的每个子网络 来自并行复合运算符的每个操作数。 此选项速度较慢，但对于处理 较大的LOTOS描述和/或用于生成较小的 网络。 例如，为 空客A-340飞行警告计算机LOTOS说明 有1377个位置，3411个转换和664个变量 没有“-渐变”选项，只有1173个位置，2473个 转换和597个带有“渐变”选项的变量。
编号：377 日期：1996年6月11日星期二12:34:01 MET DST 报告：Jean-Michel Hufflen（法国法兰西科姆特大学） 文件：bin.*/caesar 性质：CAESAR生成的C代码已修改为 符合ANSI C。这将避免警告 之前在下使用“cc”时显示的 Solaris 2.*，例如： “bitalt.c”，第289行：警告：“>>”的语义 ANSI C中的变更； 使用显式转换 或： “bitalt.c”，第509行：警告：“%”的语义 ANSI C中的变更； 使用显式转换
编号：378 日期：1996年6月11日星期二14:31:28 MET DST 报告：安德烈亚斯·乌尔里奇（德国麦德堡大学） 文件：bin.*/caesar.adt，demos/demos_*/*.t 性质：CAESAR生成的迭代器。 ADT略有下降 以两种方式修改： -它们被移动到#include指令之后 包括“.t”文件（它们是以前定义的 在include指令之前）。 因此，如果用户 想要提供他/她自己的迭代器，它不再是 #undef由CAESAR生成的迭代器所必需的。 ADT公司 -它们现在被封装在#ifndef# endif子句， 不覆盖中包含的用户定义迭代器 “.t”文件（如果有）。 CADP演示中提供的“.t”文件已经简化 相应地（undef指令已被删除）。
编号：379 日期：1996年6月11日星期二18:32:51 MET DST 报告人：Dirk O.Keck（德国斯图加特大学IND）， 安德烈亚斯·乌尔里奇（德国麦德堡大学） 文件：src/executor.c 性质：“executor”程序在Solaris下没有正确编译 2.*除非“LD_LIBRARY_PATH”中包含“/usr/libucb”。 新版本的executor通过使用 SVR4兼容函数“rand（）”和“srand（）”，而不是 BSD函数“random（）”和“srandom（）”。
编号：380 日期：6月12日星期三11:35:55 MET DST 1996 文件：bin.*/aldebaran、man/manl/aldebaran.l 性质：添加了新选项“-path”。 它计算 （从初始状态）到给定 在LTS中陈述。 更多信息请参阅阿德巴兰手册。
编号：381 日期：6月12日星期三11:35:55 MET DST 1996 报道：Muffy Thomas（英国格拉斯哥大学）， Lars-Ake Fredlund（瑞典SICS） 文件：man/manl/evaluator.l 性质：改进了“评估者”的手册页面。
编号：382 日期：6月12日星期三16:29:49 MET DST 1996 报告：Christophe Broult（SEPT和法国卡昂大学） 文件：bin.*/aldebaran 性质：解决了两个问题： -当 标签的字符串太长 -ALDEBARAN接受的最大不同标签数 从2000年提高到4000年
编号：383 日期：6月12日星期三17:00:12 MET DST 1996 文件：com/caesar.open 性质：“caesar.open”外壳经过调整以支持新的“-iso”， CAESAR和/或CAESAR的“-bcg”和“-pradical”选项。 ADT公司
编号：384 日期：1996年6月28日星期五16:31:27 MET DST 文件：man/manl/*或.l 性质：OPEN/CAESAR工具的手册页已更新。
编号：385 日期：1996年6月28日星期五16:33:46 MET DST 文件：com/caesar.open、com/bcg_open和com/exp.open 性质：这些外壳中修复了一个小错误。
编号：386 日期：1996年6月28日星期五20:37:37 MET DST 文件：bin.*/xsimulator.a、src/open_caesar/xsimurator、， tcl tk/bin.*/libtcl.a、tcl tk/bin.*/libtk.a， tcl-tk/bin.*/dublex，man/manl/xsimulator.l 自然：多亏了Mark Jorgensen，Xsimulator的新版本 添加到CADP。 这个用Tcl-Tk编写的新版本取代了 前者基于原始Xlib编程。 新版本 与前一个完全兼容，但包含多个 改进： -它在Solaris 2.*上运行无问题。 次要问题 注意到以前的版本（编译时出现警告 带有严格ANSI编译器的C代码，需要添加libucb.o （在$LD_LIBRARY_PATH等中）。 -只有从当前状态传出的转换是 高亮显示并可以选择。 -新版本的Xsimulator应该更容易移植 不同的机器架构。 以下文件和目录已从 CADP版本：src/open_caesar/xsimulator.c和x11。 这个 手册页面已更新。
编号：387 日期：1996年7月3日星期三12:11.27 MET DST 文件：com/caesar.open、com/bcg_open、.com/exp.open， man/manl/caesar.open.l，man/man1/bcg_open.l， 手动/手动/导出打开.l 性质：这3个shell脚本已经过修改，以便接受 以存档文件的形式提供的OPEN/CAESAR应用程序 （后缀为“.a”）。 手册页面已更新为 反映变化
编号：388 日期：1996年7月5日星期五11:57:06 MET DST 报告：Ghassan Chehaibar（公牛）， Mirela Sechi Moretti Annoni公证人（UFSC，巴西） 文件：安装 性质：安装手册中包含的指令 已更新以修复Solaris 2特定的一些问题* （尤其是“chown”命令，它不位于 Solaris 1.*和Solaris 2.*中的同一目录）
编号：389 日期：1996年7月29日星期一16:48:57 MET DST 文件：com/tst 性质：改进了“tst”shell脚本以检测 危险）情况，其中： -默认的“arch”命令不返回相同的 值为“$CADP/com/arch”（如下所示 Solaris 2.5，其中“arch”返回“sun4”） -SunSoft提供的默认“make”命令是 被另一个“make”命令覆盖（例如 BSD-make或GNU-make）。 这可能会造成 CAESAR的问题。 OPEN和EUCALYPTUS 1.* 图形用户界面 -SunSoft提供的默认“cpp”命令是 被另一个“cpp”命令覆盖（例如 GNU品牌）。 这可能会造成问题 EUCALYPTUS 1.*图形用户界面 -SunSoft提供的默认“ld”命令是 被另一个“ld”命令覆盖（例如 GNU品牌）。 这可能会产生问题。
编号：390 日期：1996年8月1日星期四14:32:59 MET DST 报告：Mirela Sechi Moretti Annoni Notare（UFSC，巴西）， 阿兰·科布拉特（Verimag） 文件：bin.*/aldebaran，bin.*/bcg_* 性质：修复了一个导致Aldebaran（和BCG工具）问题的错误， 在Solaris 2.*下，错误消息的格式为： sh:/usr/local/cadp/bin.sun4/bcg_expand:未找到 如果$PATH变量的配置方式是 调用Solaris“arch”命令来代替$CADP/com/arch。
编号：391 日期：1996年8月5日星期一11:49:24 MET DST 文件：包括/caesar_*.h、src/open_caesar/*、bin.*/libcasesar.a、， bin.*/caesar，bin.*/libbcg_open.a，bin..*/exp2c， doc/Garavel-92-a.ps，man/manl/caesar_*.l 性质：新类型CAESAR_type_STRING（相当于“char*”）具有 已添加到“caesar_standard.h”中。 的配置文件 已修改以下函数以使用此新类型： CAESAR_GRAPH_COMPILER（） CAESAR_TRANSITION_LABEL（） CAESAR_GATE_LABEL（） CAESAR_HIDDEN_GATE_LABEL（） CAESAR_DUMP_LABEL（） 凯撒戒指（） CAESAR_CREATE_DIAGNOSTIC（） 包括文件、库、文档、应用程序 程序以及CAESAR、BCG_OPEN和EXP.OPEN都有 已相应修改。 这一变化完全是向上的 兼容并对所有现有程序透明。
编号：392 日期：1996年8月5日星期一12:27:13 MET DST 文件：包括/caesar_*.h、src/open_caesar/*、bin.*/libcaesear.a、， bin.*/caesar，bin.*/libbcg_open.a，bin..*/exp2c， doc/Garavel-92-a.ps，man/manl/caesar_*.l 性质：一种新类型CAESAR_type_FILE（相当于“FILE*”）具有 已添加到“caesar_standard.h”中。 的配置文件 已修改以下函数以使用此新类型： CAESAR_PRINT_STATE_HEADER（）（CAESAR_打印_状态_标题） CAESAR_PRINT_STATE（） CAESAR_DELTA_STATE（） CAESAR_PRINT_LABEL（） CAESAR_PRINT_BITMAP（） 凯撒创建不可知论1（） CAESAR_PRINT_EDGE（） CAESAR_PRINT_EDGE_LIST（） CAESAR_PRINT_STACK_1（） CAESAR_CREATE_TABLE_1（） CAESAR_PRINT_TABLE_1（） CAESAR_PRINT_VERSION（） 包括文件、库、文档、应用程序 程序以及CAESAR、BCG_OPEN和EXP.OPEN都有 已相应修改。 这一变化完全是向上的 兼容并对所有现有程序透明。
编号：393 日期：1996年8月23日星期五18:50:45 MET DST 文件：bin.*/libcaesesar.a，man/manl/caesar_table_1.h， 文件/Garavel-92-a.ps， 性质：在OPEN/CAESAR的函数CAESAR_PRINT_TABLE_1（）中 “caesar_table_1”库，当指定打印格式时 如果CAESAR_FORMAT_TABLE_1（）等于1或2，则标记 字段（如果有）不再以十六进制打印。 创建表时指定的打印功能 应负责打印以下标记字段 一些合适的（更可读的）形式。
编号：394 日期：1996年8月29日星期四11:48:26 MET DST 文件：incl/caesar_diagnostic_1.h，bin.*/libcaesesar.a， man/manl/caesar_diagnostic_1.l，doc/Garavel-92-a.ps， src/open_caesar/terminator.c，upc文件 性质：OPEN/CAESAR的“diagnostic_1”有三个变化 图书馆： -添加了新函数CAESAR_EMPTY_DIAGNOSTIC_1（）。 -函数CAESAR_BACKTRACK_DIAGNOSTIC_1（）的配置文件具有 已修改，以便更通用 函数，即在宽度优先搜索的情况下。 以前，这个函数的第二个参数是堆栈： CAESAR_TYPE_STACK_1 CAESAR_K； 它已被一个表示深度的整数所取代 堆栈： CAESAR_TYPE_天然CAESAR_DEPTH； 因此，此函数以前的所有调用： CAESAR_BACKTRACK_DIAGNOSTIC_1（d，k） 应替换为： CAESAR_BACKTRACK_DIAGNOSTIC_1（d，CAESAR_DEPTH_STACK_1（k）） “upc”程序警告用户此更改。 -与CAESAR_NONE_DIAGNOSTIC_1关联的语义有 进行了轻微修改，以使其更加有用 选项。
编号：395 日期：1996年9月4日星期三18:54:22 MET DST 文件：incl/caesar_graph.h、man/manl/caesar_graph.l、， doc/Garavel-92-a.ps， bin.*/caesar，bin.*/libbcg_open.a，bin.*/exp2c， src/open_caesar/declarator.c，src/open-caesar/simulator.i 性质：OPEN/CAESAR的图形界面“CAESAR_graph.h”已经 为了更加独立于 LOTOS语言并解决了几个编程难题。 带来了以下变化： #1三个函数CAESAR_PRINT_LABEL（）的语义， CAESAR_DUMP_LABEL（）和CAESAR_STRING_LABEL 已更改。 这些函数的结果不再取决于 使用CAESAR_format_label（）设置的当前标签格式。 因此，这些函数总是生成规范 标签的ASCII格式。 #2现有的两个函数CAESAR_TRANSITION_LABEL（）和 CAESAR_HIDDEN_GATE_LABEL（）已删除。 他们是- 由名为CAESAR_INFORMATION_LABEL（）的新函数放置， 它使用更简单，并且独立于LOTOS。 这个 函数CAESAR_FORMAT_LABEL（）现在用于选择 CAESAR_INFORMATION_LABEL（）发送的信息类型。 这些更改应该对大多数OPEN/CAESAR透明 应用程序： -不调用CAESAR_FORMAT_LABEL（）或仅调用CAESAR_FORMAT_LABEL（）的程序 调用CAESAR_FORMAT_LABEL（0）不受更改#1的影响 -不调用CAESAR_TRANSITION_LABEL（）或 CAESAR_HIDDEN_GATE_LABEL（）不受#2更改的影响。 -调用CAESAR_FORMAT_LABEL（1）或调用 CAESAR_HIDDEN_GATE_LABEL（）现在应该依赖于新的 函数CAESAR_INFORMATION_LABEL（）的格式为1 获得关于隐藏门的源级信息。 -调用CAESAR_TRANSITION_LABEL（）的程序现在应该 依赖格式为2的CAESAR_INFORMATION_LABEL（） 获取有关转换的源级别信息。 “upc”shell脚本可以用于简单的诊断 所需更改的。 CADP工具箱的其他几个组件 升级以反映这些变化，即：CAESAR、BCG_OPEN、， EXP.OPEN、upc、声明符、模拟器和xsimulator。
编号：396 日期：1996年9月5日星期四10:45:12 MET DST 报告：Alain Kerbrat（VERIMAG） 文件：bin.*/evaluator.o 性质：一个错误，导致Evaluator在Solaris 2.*下进行核心转储， 已修复。
编号：397 日期：1996年9月5日星期四11:34:20湿夏令时 报告：Ghassan Chehaibar（公牛）， Jean-Charles Henrion et Guy Leduc（列日大学） 文件：bin.*/exphibitor.a、bin.*/libcaesar.a、vin.*/aldebaran、， bin.*/libBCG_IO.a，doc/Garavel-92-a.ps，demos/demo_09 src/caesar_open/executor.c，src/caesar_open/terminator.c man/manl/caesar_stack_1.l，caesar/manl/caesar_diagnostic_1.l man/manl/aldebaran.l，man/man1/bcg_io.l，man/manl/executor.l， 男/男/参展商，男/男、终结者 性质：之前版本的参展商（V1）已被替换为 新版本（V2）。 V1版有两个问题： -它没有生成最短的序列。 在某些情况下， 它产生了一个很长的序列（例如200个跃迁） 而存在一个更短的转换（例如20个转换）。 -在某些情况下，它会中止（核心转储），因为执行 递归过程使用的堆栈在 深度优先搜索。 V2版带来了重大改进： -SEQUENCE格式，用于指定要 参展商V2的搜索功能已显著提高。 新的SEQUENCE格式允许复杂的模式， 涉及布尔运算符和正则表达式。 其语法和语义在 参展商手册页， -它实现了两种搜索算法：深度优先算法 （推广和改进了V1中使用的算法）， 第一个宽的，能够找到最短的序列。 V1和V2之间的其他变化如下： -对于V2，无法再指定序列 作为命令行参数进行搜索，因为新的 SEQUENCE格式更复杂：序列必须 存储在“.seq”文件中。 V1的“-”选项 删除（因为它是V2中的唯一选项）。 -V1的“-only”选项已删除。 更换后， 更一般地说，通过提供的模式功能 新的SEQUENCE格式。 -V2中有几个新选项（参见参展商手册 第页）。 -新的SEQUENCE语言可以描述死锁状态 （使用<死锁>关键字），因此可以使用 找出导致接收状态的最短序列。 -除了引入新功能外 SEQUENCE语言相对于 标签的定义（现在应将其括在 双引号“…”）和注释。 -参展商V2作为二进制存档文件分发，位于 “bin.*/参展商.a”。 参展商V1的源代码是 保存在“旧”目录中。 OPEN/CAESAR的库已经升级，以支持 新的SEQUENCE格式。 这些更改应该是透明的 所有应用程序。 它们涉及： -两个函数CAESAR_FORMAT_STACK_1（）的效果 和OPEN/CAESAR的“CAESAR_STACK_1”的CAESAR_PRINT_STACK_1（） 图书馆， -函数的建议实际参数 OPEN/CAESAR的CAESAR_CREATE_DIAGNOSTIC_1（） “caesar_diagnostic_1”库。 CADP工具箱的其他几个组件 升级以支持新的SEQUENCE格式，即： ALDEBRAN、BCG_IO、执行器和终止器。 执行人、参展商和终止人的手册页 错误地参考了ALDEBARAN手册页面 SEQUENCE格式的描述。 这个问题已经解决了。 ALDEBARAN的手册页也已更新。 demo_09的：READ_ME和*.seq文件已经 更新为参展商V2和新的SEQUENCE格式。
编号：398 日期：1996年9月5日星期四14:04:04湿夏令时 报告：Mirela Sechi Moretti Annoni Notare（巴西UFSC） 文件：src/open_caesar/executor.c 性质：在Solaris 2下对端口“executor”所做的修改* （参见上面的错误修复#379）是不够的，因为rand（） 在SVR4和BSD中的行为不同。这导致 表单的错误消息： #函数CAESAR_ITEM_EDGE_LIST中出现945错误[CAESAR_EDGE.c:894] 参数CAESAR_N的值不正确 退出 此错误已修复：“executor”现在应该可以正常运行 在SunOS 1.*和SunOS 2下*
编号：399 日期：1996年9月10日星期二12:45:34 MET DST 报告：Jean-Pierre Krimm（VERIMAG） 文件：bin.*/libcaesar.a，incl/caesar_standard.h， man/manl/caesar_standard.l，doc/Garavel-92-a.ps src/caesar_open/*，com/upc 性质：未记录的宏CAESAR_ASSERT（）和CAESAR_PROTEST（） 先前在“caesar_standard.h”中定义的已更改： 新版本的参数较少，应该只使用 报告意外的内部错误，主要是断言 违规行为。 两个新函数CAESAR_ERROR（）和CAESAR_WARNING（）具有 已在“caesar_standard.h”和“libcaesar.a”中介绍 向用户报告错误（使用与相同的参数 “printf”）。 CAESAR_ASSERT（）、CAESAR_PROTEST（）和CAESAR_ERROR（） CAESAR_WARNING（）现已记录在OPEN/CAESAR手册中 页面和参考手册。 “upc”外壳脚本警告用户这些更改。 所有OPEN/CAESAR应用程序（“执行器”等） CADP内的分布式已升级。 使用以前未记录的软件升级 宏CAESAR_ASSERT（）和CAESAR_PROTEST（），如下所示 应遵守以下步骤： -“main”函数应使用“argv”和“argc”声明 参数，以通常的方式（例如，请参见C代码 在“src/opencaesar/executor.c”中给出）。 -“main”的第一条指令应如下： CAESAR_TOOL=argv[0]； -表单的每次调用： CAESAR_ASSERT（A、B、C、D）； 其中D==NULL，应简单地替换为： CAESAR_ASSERT（A）； 因为参数B（错误代码）是无用的，并且因为 参数C（刀具名称）现在由自动提供 全局变量CAESAR_TOOL。 -表单的每次调用 CAESAR_ASSERT（A、B、C、D）； 其中D！= NULL，应简单替换为 如果（！A）CAESAR_ERROR（D）； -表单的每次调用： CAESAR_PROTEST（B、C、D）； 其中D==NULL，应简单替换为： CAESAR_PROTEST（）； -表单的每次调用 CAESAR_PROTEST（B、C、D）； 其中D！= NULL，应简单替换为： CAESAR_ERROR（D）；
数量：400 日期：9月11日星期三17:10:53 MET DST 1996 文件：bin.*/libcaesar.a、bin.*/exphibitor.a、， src/open_caesar/terminator.c，src/open-caesar/simulator.i， man/manl/caesar_stack_1.l，man/man1/caesar_diagnostic_1.l， man/manl/参展商.l，man/manl/终结者.l， doc/Garavel-92-a.ps文件 性质：在“stack_1”和“diagnostic_1”的手册页中 “堆栈深度”和“诊断大小”的定义是 有点模棱两可。 现在清楚地表明，这些值 以状态数计算，而不是以转换数计算。 在实现中修复了几个微妙的错误 OPEN/CAESAR的“diagnostic_1”模块，与 深度计算。 “参展商”、“模拟器”和“参展者”工具 modified：“-depth”选项的参数被视为 多个转换（而不是多个状态）。 尽管如此 约定与OPEN/CAESAR的“stack_1”不同 “diagnostic1”库，用户更直观 并且它与 “执行人”。 手册页面已更新。
编号：401 日期：9月18日星期三17:59:57 MET DST 1996 文件：bin.*/evaluator.a 性质：现在包含了OPEN/CAESAR验证工具“评估器” 在文件“bin.*/evaluator.a”中，而不是“bin.*.evaluator.o”中。 从用户的角度来看，这个更改应该是完全的 透明。
编号：402 日期：1996年9月19日星期四11:03:19 MET DST 文件：doc/* 性质：“文档”中添加了新论文和研究报告 目录： -车海巴-卡拉维尔-埃特-阿尔-96 -费尔南德斯·卡拉维尔-埃塔尔96 -Fernandez-Jard-Jeron等人-96-a -Fernandez-Jard-Jeron-et-al-96-b -加拉维勒-96 -加拉维·穆尼尔96 -Garavel-Sighirea-96-a公司 -马泰埃斯库-96 此外，还增加了新的参考书目： -弗雷德隆·奥拉瓦-96 -科尔弗-96 -希弗代克-96
编号：403 日期：1996年9月30日星期一19:44:17 MET 文件：demos/demo_16、demos/devo_17 性质：CADP包中添加了两个新的演示。
编号：404 日期：1996年10月6日星期日18:23:32 MET 文件：com/xeuca、com/tst、src/eucalyptus/* 自然：感谢Jean-Michel Frume，一种新版本的EUCALYPTUS 图形用户界面现在可用。 此新版本 （2.0版）是用TCL/TK编写的，并取代了以前的版本 XtPanel中编写的版本（版本0.*、1.0或1.1）。 新版本2.0带来了显著的改进。 关于 向后兼容，下面的注释很有趣。 它们仅适用于已安装EUCALYPTUS的情况 图形用户界面（版本0.*、1.0或1.1） 站点： -从现在起，EUCALYPTUS 2.0版包含在 CADP分发：安装CADP时（beta版本Z-s或 更高版本），则隐式安装EUCALYPTUS Graphical-User 接口（2.0或更高版本）。 -要从EUCALYPTUS 0.*或1.*升级到EUCALYPTUS 2.0，我们 建议执行以下步骤： （1） 编辑启动文件（.cshrc、.profile和/或 .tcshrc）并删除“EUCALYPTUS”的定义 环境变量与xeuca的定义 别名。 例如，在.cshrc文件中，您应该删除 以下两行（如果存在）： setenv EUCALYPTUS路径名_of_the_EUCALYPTUS_directory 别名xeuca$EUCALYPTUS/com/xeuca （2） 还删除包含过时版本的目录 EUCALYPTUS图形用户界面。 此目录 之前被$EUCALYPTUS变量引用。 （3） 如果您已经有了“$HOME/.eucarc”文件，您应该 删除它或将其转换为“$HOME/.xeucarc”文件， 根据新格式（您可以在 $CADP/src/eulecalyptus/xeucarc_*）。 存在 “tst”命令检测到过时的“.eucarc”文件。
编号：405 日期：1996年10月10日星期四13:11:01 报告：Hubert Garavel（INRIA） 文件：bin.*/aldebaran 性质：一个错误，导致“aldebaran-live-file.bcg”核心转储 已修复。
编号：406 日期：1996年10月26日星期六18:39:00 MET 文件：tcl-tk/*、bin.*/xsimulator.a 性质：TCL/TK（TCL 7.4和TK 4.0）的过时版本包括 CADP中的已替换为最新版本 目前可用（TCL 7.6和TK 4.2）。 Xsimulator程序已更新，以便工作 与TCL/TK的新版本一起使用。
编号：407 日期：1996年10月28日星期一11:09:32 MET 文件：src/open_caesar/dacklock.c 性质：在目录$CADP/src/open_caesar中，符号链接 “deadlock.c”指向“terminator.c”表示向后 兼容原因持续至1992年（参见条目 #176）已被删除。
编号：408 日期：1996年11月15日星期五10:53:36 MET DST 文件：bin.*/des2aut、man/manl/des2aut.l 自然：添加了一个用于合成生成的新工具。 将描述 通信LTS的网络和行为关系， 它递增地生成最小化的全局LTS 对应于此合成表达式。 使用扩展描述组合表达式 EXP格式提供以下两个功能： -基本LTS可以作为“.aut”文件给出， 或“.exp”文件，或Lotos进程。 -可以使用半合成运算符来限制 子表达式相对于它的行为 环境（由接口LTS表示）。
编号：409 日期：1996年11月15日星期五15:09:07 MET DST 文件：bin.*/projector.a，man/manl/projector.l 性质：在CADP工具箱中添加了一个新工具来计算 “onfly”是指隐含LTS的半构成 关于给定接口。 它可以与 caesar.open、bcg_open或exp.open。 查看“投影仪” 手册了解更多信息。
编号：410 日期：1996年11月15日星期五17:00:05 MET夏令时 文件：bin.*/exp2c、bin.*/libexpopen.a 性质：exp.open工具已扩展到处理LTS 通过用户指定接口的半组合获得。 此新功能主要由des2out工具用于 合成生成（参见“exp.open”和“des2aut”手册 第页了解更多信息）。
编号：411 日期：1996年11月19日星期二19:29:59 MET 报告：Hubert Garavel（INRIA） 文件：bin.*/aldebaran 自然：阿德巴兰中修复了一个错误：实时计算 分支互模拟（选项“-fly-pequ”）不正确 在某些情况下。
编号：412 日期：1996年11月25日星期一20:14:17 MET 文件：src/open_caesar/simulator.c，src/open_caesar/simulator.i 性质：OPEN/CAESAR模拟器中修复了两个错误： -拼写错误（“atgv”而不是“argv”）已修复 -对应于“i”转换的“隐藏”门是 不打印，即使标签格式等于1。
编号：413 日期：1996年11月25日星期一21:26:19 MET 文件：src/xsimulator/* 性质：在 OPEN/CAESAR X模拟器： -xsimulator窗口现在被创建为后台进程 -xsimulator窗口的大小已减小，因此必须适合 在小于21英寸的显示器中 -标签格式单选按钮现在已正确初始化 （使用1而不是0） -对应于“i”转换的“隐藏”门是 不打印，即使标签格式等于1。
编号：414 日期：1996年12月2日星期一16:49:43 MET 文件：com/bcg_draw、com/bcg_edit、bin.*/xsimulator.a 性质：从现在起，由“bcg_draw”、“bcg_edit”和 “xsimulator”作为后台进程启动（而不是 forground进程）。 这确保了更好地集成 EUCALYPTUS图形用户界面中的这些工具。
编号：415 日期：1996年12月2日星期一17:59:41 MET 文件：com/xeuca、src/eucalyptus/*、man/manl/xeuca.l 性质：EUCALYPTUS图形用户界面2.0版 （以及所有后续中间版本2.0a、2.0b。。。 2.0v，2.0w）已替换为新版本2.1： -所有已知错误都已更正 -引入了许多新功能 -现在可以使用手册页（键入“man xeuca”）
编号：416 日期：1996年12月2日星期一18:17:10 MET 报告：Bruno Vivien（INRIA罗纳-阿尔卑斯） 文件：/ 安装 性质：安装文件中给出的解释如下 在某些方面进行了澄清。 此外，还有两个新的环境变量 （$EDITOR和$NAVIGATOR）已推出。
编号：417 日期：1996年12月3日星期二14:48:25 MET 文件：/ 地址/ 文档/：READ_ME 性质：新地址、电话号码、传真号码和电子邮件 CADP团队的地址在文件$CADP/addresses中给出。
编号：418 日期：1996年12月3日星期二17:31:01 报告：布鲁诺·费雯（INRIA Rhone Alpes） 文件：com/tst 性质：“tst”命令在以下几个方面得到了改进： -它可以更好地验证“arch”命令 -它简化了从早期版本0的迁移。*和 EUCALYPTUS的1.*到EUCALYPTUS 2.1（通过检测 过时的功能） -它验证$EDITOR和$NAVIGATOR变量 -它检查是否存在“tee”命令
编号：419 日期：1996年12月3日星期二17:35:30 MET 报道：托马·马卡维（INT，法国埃弗里） 文件：doc/：READ_ME 性质：对于“文档”中包含的每个PostScript或DVI文件 目录，“：READ_ME”文件指示相应的 页数。
编号：420 日期：1996年12月3日星期二17:41:25 MET 报告：Laurent Mounier（VERIMAG） 文件：bin.*/aldebaran 性质：修复了一个错误，导致ALDEBARAN在 使用“-path”选项调用。
编号：421 日期：1996年12月3日星期二17:42:23 MET 报道：Olivier Bonaventure（列日大学） 文件：bin.*/aldebaran 性质：修复了一个错误，导致ALDEBARAN返回错误 比较两个BCG文件时的结果（因为 分配给两个BCG文件中所有标签的编号不是 必须相同）。
