欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
CAM XML Editor
CAM XML Editor
CAM(Content Assembly Mechanism) 内容组合结构编辑器是构建和部署XML数据交换的开放源代码工具包. CAM工具包提供了一个直观的XML信息处理方法,使用一个所见即所得的可视化结构编辑器,大大简化了开发和管理XML商业信息交流的过程。这提供开发人员需要的控制,见解和分析来完成一贯的,可互操作和可靠的信息交流。 提供的主要功能包括:
- 使用字典集合组件来完成XML交换结构的视觉化拖放创作
- 输入数据模型作为XSD架构和WSDL,来创建或增强XML信息交流
- 使用配置文件如NIEM,OASIS,WSDL来产生模式兼容的XML Schema
- 架构设计质量评估的评估报告
- 规范模型字典管理和生成
- 工业标准XML框架支持
- 与UML/XMI模型交换
- 运行时验证引擎- CAMV Java模块
- 代码列表和SQL查表验证的工具和运行时CAMV
- 使用模板XPath表达式来做商务逻辑规则验证
- XML测试套件使用CAMV-Ant指令码
- XML编辑器和集成开发环境
- 菜单和表格语言的本地化支持
CAM编辑器可以导入,分析和重构现有的交换XML架构,和更好的兼容性和使用中间件. 完整的XML交换结构,规则和文件的详细信息存储在OASIS CAM内容组合结构的标准XML模板格式, OASIS的CAM内容组合结构是一个公共的开放标准。 上述OASIS CAM 内容组合结构 标准的XML验证模板可以包括使用内容模型,代码表,直接SQL表查询, 和警告和错误报告, 他们一起提供了一个全面的XML验证框架的业务规则. CAM工具包还可自动执行工件的任务, 如产生业务文件,交叉引用电子表格,模型,XML Schema, 和测试XML执行个体,那也是NIEM和OASIS兼容的, 和可扩展的配置文件信息交流融合的方法。 CAM方法允许视觉拖放设计和核心部件规范字典集合的信息组装, 还提供了收获,并从现有的XML架构库或企业数据建模工具生成规范字典的工具集. CAMV独立式 验证引擎是用Java编写的,实现了一个使用OASIS CAM规范为基础的XML验证框架。 CAMV XML验证框架的设计与面向服务的架构(SOA)的集成,也支持与其他基于消息的集成模式 。如企业应用集成(EAI), LEXS(逻辑实体交换系统)和 ebXML 消息系统等。