Architectural method to design and control dynamic composite web services

被引：3
|
作者：
Djenouhat, Manel Amel [1 ,2 ]
Belala, Faiza [2 ]
Barkaoui, Kamel [1 ]
机构：
[1] CNAM, Cedr Lab, Paris, France
[2] Abdelhamid Mehri Univ, TLSI Dept, LIRE Lab, PB 67A, Nouvelle Ville Ali Mendj, Constantine, Algeria
来源：
INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY | 2018年 / 57卷 / 01期
关键词：
service-oriented architecture; dynamic web service composition; Meta-Open ECATNets; MDA; Maude;
D O I：
10.1504/IJCAT.2018.090032
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Nowadays, Web services constitute the core technology of IT infrastructure that has emerged in response to a fundamental shift in the way enterprises conduct their business. A componentised model emerges as the natural architecture for Web services-based applications. Using Mop-ECATNets formalism (Meta-Open Extended Concurrent Algebraic Term Nets) a sort of high-level Petri nets we show, in this paper, how we can ensure the formal specification of the dynamic Web services and control their interactions as well as their dynamic composition. Furthermore, in order to formally verify and execute Web services-based systems specifications, we implement Mop-ECATNet model in Maude system using an MDA (Model-Driven Architecture)-based approach.
引用
收藏
页码：59 / 71
页数：13
相关论文
共 50 条
  • [1] A Proposal of the New Architectural and Mathematical Control Model for Maintaining SLA of Composite Web Services
    Kikuchi, Shinji
    Isozaki, Yohsuke
    Kanna, Yoshihiro
    [J]. EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, 2008, : 137 - 147
  • [2] Dynamic Test Reconfiguration for Composite Web Services
    Cooray, Mark B.
    Hamlyn-Harris, James H.
    Merkel, Robert G.
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2015, 8 (04) : 576 - 585
  • [3] Intelligent Overload Control for Composite Web Services
    Meulenhoff, Pieter J.
    Ostendorf, Dennis R.
    Zivkovic, Miroslav
    Meeuwissen, Hendrik B.
    Gijsen, Bart M. M.
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS, 2009, 5900 : 34 - +
  • [4] A Dynamic Composite Web Services Selection Method With QoS-Aware Based on AND/OR Graph
    Hong Yu
    Qingfeng Zhou
    Man Liu
    [J]. International Journal of Computational Intelligence Systems, 2014, 7 : 660 - 675
  • [5] Access Control Model for Composite Web Services
    Jiang, Huangqin
    Zhang, Hongqi
    [J]. PROCEEDINGS OF 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, 2012, : 684 - 688
  • [6] A Dynamic Composite Web Services Selection Method With QoS-Aware Based on AND/OR Graph
    Yu, Hong
    Zhou, Qingfeng
    Liu, Man
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2014, 7 (04) : 660 - 675
  • [7] A Reliability Analysis Method of the Composite Web Services
    Shu, Yan-jun
    Wu, Zhi-bo
    Feng, Yun-ping
    [J]. COMPUTER SCIENCE AND TECHNOLOGY (CST2016), 2017, : 1028 - 1034
  • [8] A Novel Method for Verification of Composite Web Services
    Wang, Xiaobing
    Yu, Sijiang
    [J]. 2015 2ND INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING ICISCE 2015, 2015, : 37 - 40
  • [9] Applying a web engineering method to design web services
    Ruiz, M
    Valderas, P
    Pelechano, V
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS, 2005, 3826 : 576 - 581
  • [10] Dynamic Profit Optimization of Composite Web Services with SLAs
    Zivkovic, M.
    Bosman, J. W.
    van den Berg, J. L.
    van der Mei, R. D.
    Meeuwissen, H. B.
    Nunez-Queija, R.
    [J]. 2011 IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE (GLOBECOM 2011), 2011,
12345