E. Mota
等人
/ Electronic Notes in Theoretical Computer Science 95
(
2004
)
111-
工作与互联网。在相同的方式,一个接口(或协议)层之间的
CASE
和
正式的版本工具,更可能成功地在一个单一的规模。
我们使用的方法来分析对
Such
一层的需求是基于人工智能智能的智
能代理的概念
[17]
,并且我们认为这是合理的后续理由。
•
自动翻译,从模型在
UML
到模型,用于验证是使用没有工具来管理这
个翻译和应用到动手复杂系统。
For instance
,
cause analysis of errors
in such systems is still basically done by specialists with no automatic
support at all.
继续阅读
•
在机器人世界之间有大量的知识不是相关的
- rithmic verification or high
level modelingper se
。例如,合并并不意味着只是简单的转化或交叉执
行。它可能也被用来寻找一个类似的模型(或一个部件),
which has
already been verified
和简单的返回
previous verification results.
•
“
计算机技能
”
,或在
AI
的
jargon reasoning mechanism
,需要找到常见
的模式之间的一个新的模型系统和岁的人要找到一个表示方法可用于
捕获共同的功能使用结构化语言元素作为一般尽可能多的可能以这种
方式,我们可能会重新考虑动态行为进入
•
因 为 很 大 的 系 统 更 多 的 开 发 工 具 是 可 以 找 到
pat- terns previously
verified
,
the stronger will be confidence in the composition of them
。
这些特性通常被命名为
synthesis
,复合推理和错误解释,并且所有重
要方 面都 与 自动 验证 工具 中的 实 际结合 有关 。 我们的 解决 方 案的
emphasis that a layer to join both worlds must have some way of knowing
,
out of many possible interpretations
(
exections or insequences
)
of a model
it could draw
,
which it should actually draw.
我们的解决方案的含义是一
个层必须有一些方法来了解,从许多可能的解释(执行或推论)到一个
模型可以
draw
,什么它必须现在已经完全绘制。更准确地说,它们比其
他任何人都更合理(更好的计算)。
2.2
第一秩序语言层
First Order Language Layer
数据交换接口协议的最后一个方面是代表信息的语言,它被支持到进
程。由于我们正在与两个孩子探讨这个共同语言必须作为一般可能在信
息的结构表示
terms.First-Order
第