微信服务号

微信订阅号

2025-5-11- 11
Home > Archive>Volume 29, Issue 5, 2018 >1451-1470. DOI:10.13328/j.cnki.jos.005382
PDF HTML XML Export Cite reminder
Projection Approach for Keeping the Behavior Consistency Between Choreography and Peers
Author:
Affiliation:

Clc Number:

TP311

Fund Project:

National Natural Science Foundation of China (61462095, 61702442, 61462092, 61379032); Yunnan Province Natural Science Foundation (2016FB102); Yunnan Provincial Department of Education Fund for Scientific Research of Major Special Projects (ZD2014001)

  • Article
    • | |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • | |
  • Comments
    Abstract:

    That peers are generated by projection from choreographies is known as the first step in checking choreographies' realizability.However,the projection approaches proposed by the existing literature have not considered the behavioral influence of invisible action τ.This leads to behavior inconsistency between choreography and the generated peers.This paper proposes a projection approach based on Petri nets,which allows us to 1) generate the peers defined by interaction Petri nets with τ through action projection from a choreography defined by an interaction Petri net,2) develop four types of tau deletion rules to selectively delete τ of interaction Petri nets,and 3) specify the behavior consistency between choreography and the generated peers to check whether two Petri nets meet the weak simulation.Moreover,the correctness of these four types of tau deletion rules is proved.Experimental results show that the projection approach can ensure the behavior consistency between choreography and peers.

    Reference
    Related
    Cited by
Get Citation

代飞,陈凤强,莫启,王炜,李彤,梁志宏.一种保持编排与参与者间行为一致的映射方法.软件学报,2018,29(5):1451-1470

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 17,2016
  • Revised:January 18,2017
  • Online: May 06,2018
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2043759Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063