问题标签 [oasis]

我想知道如何实现以下目标：

• 将所有“业务逻辑”放在一个文件中
• 有一个使用该业务逻辑的 main.ml

商业逻辑：

pi.mli：

主要.ml：

_绿洲：

不幸的是，当我编译并运行它时，它什么也不返回，而如果我合并 main.ml 和 pi.ml 它按预期工作。我错过了什么？

更新：

将 mli 文件添加到项目并按照@gallais 的建议更改 main.ml 后，它按预期工作。

我想在我的 _oasis 文件中添加一些标志（S、内联 20、nodynlink），但出现编译错误：

我想知道你怎么能添加这些。

相当长的错误：

在这里，我正在处理来自 paga 支付网关的请求和响应（https://mypaga.atlassian.net/wiki/spaces/PMNA/pages/42865033/Services ）。我正在努力为网络服务增加安全性。我的商家网站是Joomla 网站。这里是wsdl，

这是我需要实现的

用户名/密码摘要令牌 与 Paga 商家服务 Web 服务集成的所有商家 Web 服务必须实施标准 Web 服务安全 Web 服务安全：SOAP 消息安全 1.0 标准 200401，2004 年 3 月，它提供了 SOAP Web 服务标头的规范用户名/令牌身份验证凭据。在本规范中，该服务将使用密码摘要式身份验证 MS-WSP 密码将与用户名一起提供以对商家进行身份验证。商户的用户名和 MS-WSP 密码凭证将在商户服务注册过程中提供给商户。

请求如下

如果我在 SOAP UI 中运行它说找不到过程。请告诉我如何在 wsdl 中实现安全性？

我有一个正在尝试使用 OASIS 编译的新项目。我所有的软件包，但一个都安装了 opam。

我的_oasis文件如下所示：

我oasis setup当时尝试过，./configure但 OCamlfind 回答说找不到mylocalpackage。所以我决定看看 OCamlfind 在哪里寻找包，发现你可以设置一个OCAMLPATH变量来添加可能安装包的目录。所以我做了export OCAMLPATH=path_to_mylocalpackage:$OCAMLPATH并再次尝试。

oasis setup给了我这个结果：

并ocamlfind query mylocalpackage给我这个结果：

我不知道我是否应该写在_oasis哪里可以找到这个包，或者改变OCAMLPATH变量是否是解决方案。但如果是这样，我不明白这个警告。

重现步骤

对于那些想尝试的人：

• 下载为什么3

• /li>

• _oasis使用此文件创建一个新项目

  /li>
• /li>
• 你应该有这个错误：ocamlfind: Package 'why3' not found

它是基于浏览器还是基于 IdP？

我正在查看他们的官方文档，我找不到有关会话管理的任何详细信息。SAML 中有没有人知道或会话？

技术文档：https ://www.oasis-open.org/committees/download.php/11511/sstc-saml-tech-overview-2.0-draft-03.pdf

执行文件：http ://www.oasis-open.org/committees/download.php/11785/sstc-saml-exec-overview-2.0-draft-06.pdf

我在 ocaml 方面没有经验，我的情况是我正在编写我的 ocaml 代码，我尝试访问在其他 .ml 文件中定义的类型，这些文件位于我的项目根目录之外。我尝试设置 _oasis，但是当我指定库字段时，路径值无效，因为我尝试使用"../../dir"。有谁知道我怎样才能实现这个目标？我不想将它们复制到我的项目根目录中，因为我正在查看这些教程，还没有找到解决方案，谢谢！

我目前正在使用 ocaml 4.06.0，并且正在尝试使用 Z3 sat 求解器。我正在使用 opam 的 oasis 编译文件（它正在成功构建所有内容）。但是，当我运行生成的本机代码时，我收到以下错误：error while loading shared libraries: libz3.so. 我尝试重新安装 z3 包，但错误仍然存​​在。谁能帮我解决这个问题，因为我不知道还能尝试什么？

我有一个当前正在使用 WCF 自定义适配器的 BizTalk 应用程序。

配置发送端口，问题是只有正文和时间戳必须签名，并且 messageProtectionOrder 属性不允许唯一签名。我需要行为来签署正文和时间戳。

可以帮忙吗？

我提出并分享的解决方案

大家好

手动执行自定义发送端口，该发送端口具有确定保护级别的行为。

我想与大家分享它，因为它似乎是必要的。

对于只有签名的 WS Secure，您可以使用 messageSecurityVersion 参数更改 Ws 模型。

行为是必要的，谁想要求它。

消息安全版本

我对 OCaml 完全陌生，但是，我已经完成了一个项目，其中包括使用 z3 SAT 求解器来测试和收集数据。我通过 Opam 安装了所有东西，但是我收到了以下错误。我正在开发 Ubuntu 18.04。

那就是我安装了 Opam 和 OCaml 4.08.0，因为它是 switch 和包 z3、Zarith 和 Menhir。我将通过 Oasis 设置所有包（项目提供了 _oasis 文件）。我也遵循了这一点，因为开发人员警告我将 OCaml 绑定到 z3 可能存在一些问题。当出现此错误时，我尝试按照此处的建议重新安装交换机，但无济于事。

这些是我编译项目的步骤：

但是，这会导致以下错误：

_oasis 文件 _log 文件

我们正在尝试使用 OASIS API 通过 Atom 在 Filenet 中创建文档。我们尝试了不同的语法，但没有奏效。如果它只是 cmis:document 它正在工作，但如果我们用任何叶类文档更改它，它不支持。是否有人使用 OASIS API 与 FIleNet 进行交互以获取自定义类？