Thematic series on Verification and Composition for the Internet of Services and Things

Marco Autili, Dimitra Giannakopoulou, Massimo Tivoli
2018 Journal of Internet Services and Applications  
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
more » ... hanisms. 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.
doi:10.1186/s13174-018-0080-9 fatcat:7227taphwvc6ljb5aygsuv3p6a