Modeling messaging endpoint connectors

Messaging Endpoint Connectors (MECs) describe encapsulated integration functionality to enable components to participate in application integrations structured by messaging middleware. An application integration is comprised of distributed, and often heterogeneous software components. These applications need MECs, as they are not readily equipped to resolve and manage interoperability problems that arise during development. The inhibited, inconsistent, insecure, or invalid exchange of control and data throughout the system signal these problems, causing interaction conflicts during component connection.; In this dissertation, we present MECs: their discovery, identification and description. Our major research result is MEC models, a set of categorized, reconfigurable connector models that decouple glue code used to resolve interoperability problems, raising it to an architectural level. MEC models facilitate the design of application integrations as well as provide guarantees of service. To ensure the extensibility of this approach, we enlarge our foundational integration enabler set, as well as present a reusable MEC discovery process. This allows the identification of integration enabling connectors beyond MECs for emerging computing paradigms and other middleware frameworks. We model MECs using Dynamic I/O Automata and utilize its associated proof theory to establish quality of service guarantees.