SIMS is about a novel technology, dubbed semantic interfaces, enabling rapid development, dynamic discovery, and composition of mobile services. Compared to the well known static interfaces currently in use, semantic interfaces enable definition of dynamic behaviour and the goals of the collaboration across an interface. This enables safety and liveness properties to be checked effectively and to support service discovery and service composition at runtime with compatibility guarantees.