Voice Communication Mashups: Formal Specification and Composition of Service Level Agreements

The advent of mashup technologies in Web 2.0 has enabled the rapid integration of telecommunications capabilities into Web-based services. Recent award-winning voice communication mashups have been aimed at the enterprise or emergency services markets; however, these mashups and the underlying mashup technologies do not provide support for the Quality of Service (QoS) and reliability needs of these markets. We demonstrate the suitability of a framework for formal specification of voice communication mashup QoS based on probabilistic real-time automata and temporal logic in which QoS specifications of voice communication mashups can be recursively composed from the QoS specifications of their underlying atomic services. Furthermore, we present key characteristics of architectures that provide appropriate QoS and reliability foundations, compare the benefits of alternative architectures and show how the IMS infrastructure can be used to host reliable Web mashups.