Choreographing security and performance analysis for web services

被引：0
|
作者：
Gilmore, S [1 ]
Haenel, V
Kloul, L
Maidl, M
机构：
[1] Univ Edinburgh, Lab Fdn Comp Sci, Edinburgh, Midlothian, Scotland
[2] Univ Versailles, PRiSM, F-78000 Versailles, France
[3] Siemens AG, D-81739 Munich, Germany
来源：
FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS | 2005年 / 3670卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the UML model which highlights points of the design which can give rise to operational difficulties. A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.
引用
收藏
页码：200 / 214
页数：15
相关论文
共 50 条
  • [1] Choreographing Web Services
    Barker, Adam
    Walton, Christopher D.
    Robertson, David
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2009, 2 (02) : 152 - 166
  • [2] Performance Analysis of Security Layer on Embedded Web Services
    Marcelo, Alisson
    Netto, Joao Cesar
    Pereira, Carlos Eduardo
    2012 XXXVIII CONFERENCIA LATINOAMERICANA EN INFORMATICA (CLEI), 2012,
  • [3] Choreographing Web Services with Semantically Enhanced Scripting
    Bai, Xi
    Klein, Ewan
    Robertson, Dave
    2012 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT 2012), VOL 1, 2012, : 583 - 587
  • [4] A performance evaluation of web services security
    Tang, Kezhe
    Chen, Shiping
    Levy, David
    Zic, John
    Yan, Bo
    10TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2006, : 67 - 74
  • [5] A performance modelling of web services security
    Tang, Kezhe
    Levy, David
    Chen, Shiping
    Zic, John
    Yan, Bo
    WEBIST 2007: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL IT: INTERNET TECHNOLOGY, 2007, : 64 - +
  • [6] Analysis of web services backbone security
    Abuelyaman, E
    Chopde, RS
    Elyaman, M
    ISAS/CITSA 2004: International Conference on Cybernetics and Information Technologies, Systems and Applications and 10th International Conference on Information Systems Analysis and Synthesis, Vol 1, Proceedings: COMMUNICATIONS, INFORMATION TECHNOLOGIES AND COMPUTING, 2004, : 16 - 22
  • [7] A performance evaluation of mobile web services security
    Srirama, Satish Narayana
    Jarke, Matthias
    Prinz, Wolfgang
    WEBIST 2007: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL IT: INTERNET TECHNOLOGY, 2007, : 386 - +
  • [8] Security and Performance of Mobile XML Web Services
    Nguyen, Thao Thanh
    Jorstad, Ivar
    van Thanh, Do
    FOURTH INTERNATIONAL CONFERENCE ON NETWORKING AND SERVICES (ICNS 2008), PROCEEDINGS, 2008, : 261 - 265
  • [9] A Performance Evaluation of Security Mechanisms for Web services
    Alrouh, Bachar
    Ghinea, Gheorghita
    FIFTH INTERNATIONAL CONFERENCE ON INFORMATION ASSURANCE AND SECURITY, VOL 2, PROCEEDINGS, 2009, : 715 - 718
  • [10] Performance evaluation and modeling of web services security
    Chen, Shiping
    Zic, John
    Tang, Kezhe
    Levy, David
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 431 - 438
12345