TY - JOUR AU - Autili, Marco AU - Giannakopoulou, Dimitra AU - Tivoli, Massimo PY - 2018 DA - 2018/04/17 TI - Thematic series on Verification and Composition for the Internet of Services and Things JO - Journal of Internet Services and Applications SP - 10 VL - 9 IS - 1 AB - 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. SN - 1869-0238 UR - https://doi.org/10.1186/s13174-018-0080-9 DO - 10.1186/s13174-018-0080-9 ID - Autili2018 ER -