JISA Thematic Series


Springer Journal of Internet Services and Applications (JISA)

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

Selected participants will be invited to submit an extended version of their papers after the workshop

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. We seek contributions at various levels: from foundational aspects to concrete application experiments; from modeling to verification and analysis; from componentization to composition; and from deployment to execution.

Topics include, but are not limited to the following:

Verification and Composition for the Internet of Services and Things

  • Engineering Principles
  • Requirement Engineering
  • Development Processes
  • Design and Programming
  • Model Checking
  • Verification and Validation
  • Model-Driven Development Methods and Tools

Run-Time Support for Verifying and Composing Services and Things

  • Middleware (description, publication, discovery, access, etc.)
  • Convergence and Integration
  • Monitoring and Coordination
  • Scalability, Mobility, Heterogeneity

QoS Verification of Service- and Thing-based Systems

  • Performance, Reliability and Availability Modeling and Evaluation
  • Security (vulnerabilities, malwares, countermeasures, etc.)
  • Trust and Privacy
  • Sustainability

Crosscutting Concerns

  • Pervasiveness
  • Context- and Resource-awareness
  • Semantic-awareness
  • Seamlessness
  • Adaptation
  • Decentralized vs. Centralized Service Composition Approaches

Tools, Case studies, Use cases

  • Smart grid, Smart house, Smart cities, Sustainable and Green Systems
  • Killer applications

JISA is an open access journal. Recent papers can be downloaded from jisajournal.com/content.


If you have any difficulty in paying the author processing charges (APC), please request a waiver from the editors.


Important dates

– Paper submissions: September 18th, 2016 October 18th, 2016

– Decision notification: November 16th, 2016 December 16th, 2016


Guest editors

– Marco Autili, University of L’Aquila, Italy

– Massimo Tivoli, University of L’Aquila, Italy

– Dimitra Giannakopoulou, NASA Ames Research Center, USA


Please address queries related to this call to: