En el Internet de las cosas (IoT), diversos dispositivos inteligentes se comunican entre sí para lograr un objetivo común. Adicionalmente, se caracterizan principalmente por una notable capacidad de detección y procesamiento. Por otro lado, una tarea de composición de servicios (SC) implica realizar la orquestación o coreografía de los servicios. La orquestación de servicios es un proceso centralizado para organizar interacciones entre los servicios de una actividad o proceso comercial; sin embargo, los participantes involucrados en una misma tarea de orquestación de servicios rara vez se conocen entre sí. La coreografía de servicios regularmente es colaborativa, por ello cada participante describir su participación en la interacción. La coreografía sigue las secuencias de los mensajes entre los participantes y generalmente obtiene los intercambios en los mensajes públicos que ocurren entre los servicios, en lugar de un proceso comercial específico que ejecuta una sola parte. La SC se estudia con frecuencia en el contexto de los servicios Web (WS), donde se desarrollan y utilizan estándares en implementaciones del mundo real para soportar la SC. Desafortunadamente, estos estándares son inadecuados en el paradigma del IoT, debido a que los dispositivos se basan en datos/eventos, a que los recursos son limitados, a la heterogeneidad de dispositivos, a la dificultad de integración y colaboración de dispositivos, a la representación de flujos de trabajo y a la limitada coordinación de servicios. Ante este contexto, esta tesis propone el desarrollo de un mecanismo de composición de servicios basado en el enfoque del IoT que permite la orquestación y coreografía de los servicios ofrecidos e invocados en tiempo real por dispositivos inteligentes, permitiendo la comunicación M2M (máquina a máquina) y P2M (persona a máquina) a través del envío y recepción de datos o eventos en escenarios del mundo real. Por tal motivo, se desarrolló un lenguaje de composición de servicios en el IoT que realiza la integración y coordinación de servicios que ofrecen diversos dispositivos inteligentes tales como wearables, sensores y actuadores en escenarios del cuidado de la salud y la domótica. El lenguaje integra la expresividad de los lenguajes composicionales BPEL (Lenguaje de ejecución de procesos de negocio) y WSCDL (Lenguaje para la descripción de coreografías de servicios Web) y se incorporaron tres nuevas extensiones en BPEL (de selección, actualización y notificación) lo que permite tener un lenguaje con mayor expresividad. Además, se desarrollaron tres casos de estudio y se utilizaron las CPN (Redes de Petri Coloreadas) para la modelación, formalización y sobre todo para la validación del mecanismo de composición de servicios en el contexto del IoT.