【24h】

Efficient: A Toolset for Building Trusted B2B Transactions

机译:高效:构建可信的B2B交易的工具集

获取原文
获取原文并翻译 | 示例

摘要

The paper introduces an approach to the specification, the verification and the validation of B2B transactions. Based on the usage of a subset of formally defined UML diagrams complemented with business rules, we introduce two facilities offered by the supporting Efficient toolset, namely the checking of formal properties expected from the produced models as well as the animation tool allowing business experts to understand and 'play' with business transactions models before they are implemented. The overall approach is illustrated through the experiences gained in the performance of a real transactional Import/Export business case.
机译:本文介绍了一种规范,B2B交易的验证和确认的方法。基于使用正式定义的UML图的子集以及业务规则的补充,我们介绍了支持的Efficient工具集提供的两种功能,即检查所产生的模型期望的形式属性以及动画工具,使业务专家可以理解并在实施之前“试玩”商业交易模型。通过在实际的事务导入/导出业务案例的执行中获得的经验来说明整体方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号