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

被引：0
|
作者：
Jagadeesan, Lalita J. [1 ]
Mendiratta, Veena B. [1 ]
机构：
[1] Alcatel Lucent, Bell Labs, Naperville, IL USA
来源：
THIRD INTERNATIONAL CONFERENCE ON NEXT GENERATION MOBILE APPLICATIONS, SERVICES, AND TECHNOLOGIES, PROCEEDINGS | 2009年
关键词：
mashups; Web; 2.0; SLA; formal specifications; QoS; reliability; IMS;
D O I：
10.1109/NGMAST.2009.63
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：131 / 136
页数：6
相关论文
共 50 条
  • [1] GXLA a language for the specification of service level agreements
    Tebbani, Badis
    Aib, Issam
    AUTONOMIC NETWORKING, 2006, 4195 : 201 - 214
  • [2] Specification of Service Level Agreements: Problems, Principles and Practices
    Jos J.M. Trienekens
    Jacques J. Bouman
    Mark van der Zwan
    Software Quality Journal, 2004, 12 : 43 - 57
  • [3] Specification of Service Level Agreements: Problems, principles and practices
    Trienekens, JJM
    Bouman, JJ
    Van der Zwan, M
    SOFTWARE QUALITY JOURNAL, 2004, 12 (01) : 43 - 57
  • [4] Workflow composition of service level agreements
    Blake, M. Brian
    Cummings, David J.
    2007 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2007, : 138 - +
  • [5] A formal framework for service mashups with dynamic service selection
    Li, Qin
    Shi, Jianqi
    Zhu, Huibiao
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2014, 10 (03) : 219 - 234
  • [6] Link level formal specification for industrial communication networks
    Marino, P
    Poza, F
    Dominguez, MA
    Nogueira, JB
    IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 226 - 231
  • [7] Customer-oriented specification and evaluation of IT service level agreements
    Pietsch, W
    SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS, 2005, 3792 : 83 - 94
  • [8] Formal Verification of Service Level Agreements Through Distributed Monitoring
    Nobakht, Behrooz
    de Gouw, Stijn
    de Boer, Frank S.
    SERVICE ORIENTED AND CLOUD COMPUTING, ESOCC 2015, 2015, 9306 : 125 - 140
  • [9] Formal Specification of the Assurance Point Web Service Composition Model
    Gao, Le
    Urban, Susan D.
    Rodriguez, Jonathan
    Warkhade, Abhijit
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2014, 23 (04)
  • [10] Formal Specification Level
    Drechsler, Rolf
    Soeken, Mathias
    Wille, Robert
    MODELS, METHODS, AND TOOLS FOR COMPLEX CHIP DESIGN: SELECTED CONTRIBUTIONS FROM FDL 2012, 2014, 265 : 37 - 52
12345