信息处理系统 - 开放系统互连 - LOTOS - 一种基于观测行为时序排序的形式化描述技术 (ISO 8807:1989) Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour 标准发布组织为ISO，国际组织机构所属ISO/IEC JTC 1/SC 7。
ISO8807:1989标准适用于使用LOTOS（时序排序规范语言）进行形式化描述的并发和分布式系统的规范开发。它主要面向需要精确、无歧义地定义系统功能和行为的需求，适用于通信协议、软件系统及硬件设计的规范编写，并为这些系统的实现、验证和测试提供基础。