The Internet of Services and Things is characterized as a distributed computing environment that will be populated by a large number of software services and things. Within this context, software systems will increasingly be built by reusing and composing together software services and things distributed over the Internet. This calls for new integration paradigms and patterns, formal composition theories, integration architectures, as well as flexible and dynamic composition and verification mechanisms. In particular, service- and thing-based systems pose new challenges for software composition and verification techniques, due to changing requirements, emerging behaviors, uncertainty, and dynamicity.

中文翻译：

---

服务和物联网的验证和组合专题系列

服务和物联网的特征是分布式计算环境，其中将包含大量软件服务和物。在这种情况下，将越来越多地通过重用和组合通过Internet分发的软件服务和事物来构建软件系统。这就需要新的集成范式和模式，形式组成理论，集成体系结构以及灵活而动态的组成和验证机制。特别地，由于需求的变化，新出现的行为，不确定性和动态性，基于服务和基于事物的系统对软件组成和验证技术提出了新的挑战。