Modeling Opportunistic IoT Services in Open IoT Ecosystems