论文研究 - 基于构造定律的规范中行为描述的系统状态定义

使用状态的系统行为描述面临诸如状态爆炸，缺乏清晰的状态定义，状态标识以及多个代理之间的协调之类的问题。 这项工作的目标是简化设计活动，减少工程工作量并减轻项目风险。 提出的方法是通过添加定义以及一些用于传达规范或设计描述的协议或规则来改善设计期间的信息流。 这项工作提出了系统状态（与世界其他地方的交互方式）以及其他概念的客观定义。 这项工作的重点是定义为思维实体及其在设计过程中合理化工作和减轻项目风险的重要性。 本文提供了一些简单的示例，以说明建议的系统状态定义各个方面的优势，并讨论了此类定义的限制和例外。 关键发现是建议的定义，该定义是最简单的，同时在给定的产品故障级别上保持完整性。 这种状态定义强制了需求和解决方案的正式隔离，并简化了行为定义在规范中的包含。