Tool support for model-based engineering of web service compositions

被引：25
|
作者：
Foster, H [1 ]
Uchitel, S [1 ]
Magee, J [1 ]
Kramer, J [1 ]
机构：
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2BZ, England
来源：
2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings | 2005年
关键词：
D O I：
10.1145/1117696.1117716
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we describe tool support for a model-based approach to verifying compositions of web service implementations. The tool supports verification of properties created from design specifications and implementation models to confirm expected results from the viewpoints of both the designer and implementer. Scenarios are modeled in UML, in the form of Message Sequence Charts (MSCs), and then compiled into the Finite State Process (FSP) algebra to concisely model the required behavior. BPEL4WS implementations are mechanically translated to FSP to allow an equivalence trace verification process to be performed. By providing early design verification and validation, the implementation, testing and deployment of web service compositions can be eased through the understanding of the behavior exhibited by the composition. The tool is implemented as a plug-in for the Eclipse development environment providing cooperating tools for specification, formal modeling and trace animation of the composition process.
引用
收藏
页码：95 / 102
页数：8
相关论文
共 50 条
  • [1] Model-based verification of web service compositions
    Foster, H
    Uchitel, S
    Magee, J
    Kramer, J
    [J]. 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 152 - 161
  • [2] An Integrated Workbench for Model-Based Engineering of Service Compositions
    Foster, Howard
    Uchitel, Sebastian
    Magee, Jeff
    Kramer, Jeff
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2010, 3 (02) : 131 - 144
  • [3] Model-based tool support for Service Design
    Perez-Blanco, Francisco J.
    Vara, Juan M.
    Gomez, Cristian
    De Castro, Valeria
    Marcos, Esperanza
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 287 - 293
  • [4] A holistic approach to model-based testing of Web service compositions
    Belli, Fevzi
    Endo, Andre Takeshi
    Linschulte, Michael
    Simao, Adenilso
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (02): : 201 - 234
  • [5] Toward Model-Based Requirement Engineering Tool Support
    Reza, Hassan
    Sehgal, Rashmi
    Straub, Jeremy
    Alexander, Nicholas
    [J]. 2017 IEEE AEROSPACE CONFERENCE, 2017,
  • [6] ProGUM-Web: Tool support for model-based development of web applications
    Lohmann, M
    Sauer, S
    Schattkowsky, T
    [J]. UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 101 - 105
  • [7] Model-based testing service on the web
    Jaaskelainen, Antti
    Katara, Mika
    Kervinen, Antti
    Heiskanen, Henri
    Maumumaa, Mika
    Paakkonen, Tuula
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 : 38 - +
  • [8] Support of the Useware-Engineering Process by Using a Model-based Tool Chain
    Meixner, Gerrit
    Goerlich, Daniel
    [J]. ATP EDITION, 2008, (12): : 44 - 48
  • [9] Model-based data engineering for Web services
    Tolk, A
    Diallo, SY
    [J]. IEEE INTERNET COMPUTING, 2005, 9 (04) : 65 - 70
  • [10] Model-Based Testing of Web Service with EFSM
    Sun, Fuzhen
    Liao, Lejian
    Zhang, Longbo
    [J]. PRACTICAL APPLICATIONS OF INTELLIGENT SYSTEMS, ISKE 2013, 2014, 279 : 91 - +
12345