iOrgs(TM)信息系统的规范与承诺：Direct Logic(TM)与参与式基础检验

事件演算的基本假设对于组织而言过于简单，在这些组织中，时变属性必须被主动维护和管理才能持续成立，且属性不再成立并不需要由另一个动作终止。即，如果不采取主动措施，默认情况下事情会变得混乱。同样，基于一组基础推理的系统的基础检验属性也需要扩展和修订。此前，模型检验是使用基于时间点确定状态的非确定性自动机模型进行的。这些非确定性自动机不适用于iOrgs，后者高度结构化且异步运行，仅具有松散有界的非确定性。iOrgs信息系统已被开发为一种技术，其中组织的人员与信息技术紧密结合，使其能够发挥组织功能。iOrgs将现有实践形式化，提供了一个框架，使用类似于人类组织的方法来解决权威、问责、可扩展性和鲁棒性问题。通常，iOrgs是Web服务的自然扩展，Web服务是大规模组织计算中分布式计算和软件应用程序互操作性的标准。iOrgs通过组织承诺进行结构化，组织承诺是物理承诺的一个特例，被定义为已承诺的信息。iOrgs规范用于说明以下几点：-即使是一个非常简单的规范性推理微理论也可能导致不一致。在实践中，验证一个实际领域理论的一致性是不可能的。-推理安全性的改进。在实际推理中使用经典逻辑和概率论是不安全的。