Skip to content

Advertisement

Verification and composition for the internet of services and things

The Internet of Services and Things promotes a distributed computing environment that will be inhabited by a virtually infinite 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.

The Internet of Services and Things is thus radically changing the way software will be produced, verified and used, and calls for new software composition paradigms and patterns, flexible infrastructures and integration architectures, as well as novel modeling and verification methods. Despite the great interest in software composition and verification methods, when developing service- and thing-based software systems, strong challenges remain in place.

This JISA Thematic Series aims at new verification and composition techniques able to meet the requirements of modern applications, counteracting the specialization of traditional approaches in order to deal with heterogeneity, dynamicity, adaptation, large scale, mobility, security, etc.

Edited by: Marco Autili, Massimo Tivoli, Dimitra Giannakopoulou

  1. Content type: Editorial

    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 ...

    Authors: Marco Autili, Dimitra Giannakopoulou and Massimo Tivoli

    Citation: Journal of Internet Services and Applications 2018 9:10

    Published on:

  2. Content type: Research

    Internet of Things technologies and applications are evolving and continuously gaining traction in all fields and environments, including homes, cities, services, industry and commercial enterprises. However, ...

    Authors: Marco Brambilla, Eric Umuhoza and Roberto Acerbis

    Citation: Journal of Internet Services and Applications 2017 8:14

    Published on:

  3. Content type: Research

    In the last decade, many approaches to automated service composition have been proposed. However, most of them do not fully exploit the opportunities offered by the Internet of Services (IoS). In this article,...

    Authors: Antonio Bucchiarone, Annapaola Marconi, Marco Pistore and Heorhi Raik

    Citation: Journal of Internet Services and Applications 2017 8:6

    Published on: