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 条

[31] A Model-Based Approach for Diagnosing Fault in Web Service Processes
Yan, Yuhong
Dague, Philippe
Pencole, Yannick
Cordier, Marie-Odile
[J]. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2009, 6 (01) : 87 - 110
[32] A Service-Oriented Tool-Chain for Model-Based Systems Engineering of Aero-Engines
Lu, Jinzhi
Wang, Jiqiang
Chen, Dejiu
Wang, Jian
Torngren, Martin
[J]. IEEE ACCESS, 2018, 6 : 50443 - 50458
[33] Model-based Methods for Linking Web Service Choreography and Orchestration
Sun, Jun
Liu, Yang
Dong, Jin Song
Pu, Geguang
Tan, Tian Huat
[J]. 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 166 - 175
[34] COMPONENT-ORIENTED MODEL-BASED WEB SERVICE ORCHESTRATION
Berisha, Suela
Hamalian, Jacques
Rumpler, Beatrice
[J]. ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 479 - 482
[35] ADSEng: A Model-based Methodology for Autonomous Digital Service Engineering
Abeywickrama, Dhaminda B.
Ovaska, Eila
[J]. PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MANAGEMENT OF DIGITAL ECOSYSTEMS (MEDES 2016), 2016, : 34 - 42
[36] A Tool for QoS Probability Distribution Estimation of Web Service Compositions
Zheng, Huiyuan
Yang, Jian
Zhao, Weiliang
[J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010 WORKSHOPS, 2010, 6428 : 10 - 11
[37] A framework and tool support for the systematic testing of model-based specifications
Miller, T
Strooper, P
[J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2003, 12 (04) : 409 - 439
[38] Implementing a MOSA Decision Support Tool in a Model-Based Environment
Dai, Michael
Guariniello, Cesare
DeLaurentis, Daniel
[J]. RECENT TRENDS AND ADVANCES IN MODEL BASED SYSTEMS ENGINEERING, 2022, : 257 - 268
[39] Towards an Extensible Architecture and Tool Support for Model-based Verification
Delgado, David
Burgueno, Lola
Camara, Javier
Troya, Javier
[J]. 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 806 - 810
[40] Tool support to model-based quality analysis of software architecture
Zhang, Qian
Wu, Jian
Zhu, Hong
[J]. 30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 121 - +

← 1 2 3 4 5 →