Modeling web service interactions using the coordination language Reo

被引：0
|
作者：
Tasharofi, Samira [1 ]
Vakilian, Mohsen [1 ]
Moghaddam, Roshanak Zilouchian [1 ]
Sirjani, Marjan [1 ]
机构：
[1] Univ Tehran, Dept Elect & Comp Engn, Tehran, Iran
来源：
WEB SERVICES AND FORMAL METHODS, PROCEEDINGS | 2008年 / 4937卷
关键词：
compositional semantics; constraint automata; Reo; WSBPEL; web services;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we propose an approach to derive the formal semantics of WS-BPEL processes compositionally using Reo and constraint automata. We map each WS-BPEL process into a Reo circuit and then construct the corresponding constraint automaton which shows the behavior of the process. The constraint automaton can be used for analyzing the process behavior. Our work covers the core part of the WS-BPEL language including basic and structured activities, correlation sets, variables, and links.
引用
收藏
页码：108 / 123
页数：16
相关论文
共 50 条
  • [1] A dynamic reconfigurable web service composition framework using Reo coordination language
    Saifipoor, Soheil
    Ladani, Behrouz Tork
    Nematbakhsh, Naser
    [J]. ECOWS 07: PROCEEDING OF THE 5TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES, 2007, : 203 - +
  • [2] Using Reo for service coordination
    Lazovik, Alexander
    Arbab, Farhad
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS, 2007, 4749 : 398 - +
  • [3] A Critical Evaluation of Web Service Modeling Ontology and Web Service Modeling Language
    Sharifi, Omid
    Bayram, Zeki
    [J]. COMPUTER AND INFORMATION SCIENCES, ISCIS 2016, 2016, 659 : 97 - 105
  • [4] The Web Service Modeling Language WSML: An overview
    de Bruijn, Jos
    Lausen, Holger
    Polleres, Axel
    Fensel, Dieter
    [J]. SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS, 2006, 4011 : 590 - 604
  • [5] A coordination-theoretic modeling approach for web service composition
    Qian, Meng
    Liu, Zhong
    Yao, Li
    Zhang, Wei-Ming
    [J]. PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, : 1553 - 1559
  • [6] Modeling Endogenous Coordination Using a Dynamic Language
    Ozik, Jonathan
    North, Michael
    [J]. SIMULATING INTERACTING AGENTS AND SOCIAL PHENOMENA: THE SECOND WORLD CONGRESS, 2010, 7 : 265 - +
  • [7] A model-driven approach for semantic web service modeling using web service modeling languages
    Mohseni, Mohsen
    Sohrabi, Mohammad Karim
    Dorrigiv, Morteza
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (07)
  • [8] Modeling Web browser interactions using FSM
    Miao, Huaikou
    Qian, Zhongsheng
    He, Tao
    [J]. 2ND IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, PROCEEDINGS, 2007, : 211 - 217
  • [9] Web Modeling Language (WebML): a modeling language for designing Web sites
    Ceri, S
    Fraternali, P
    Bongio, A
    [J]. COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2000, 33 (1-6): : 137 - 157
  • [10] Web Service Composition Using a Deductive XML Rule Language
    Nick Bassiliades
    Dimosthenis Anagnostopoulos
    Ioannis Vlahavas
    [J]. Distributed and Parallel Databases, 2005, 17 : 135 - 178
12345