Thumbnail
Access Restriction
Subscribed

Author Haiyang Sun ♦ Jian Yang
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2007
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Business communication ♦ Algorithm design and analysis ♦ Peer to peer computing ♦ Collaboration ♦ Collaborative work ♦ Mathematical model ♦ Time factors ♦ Sun ♦ Vehicles ♦ Centralized control
Abstract The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. An important issue that needs to be dealt with for any generic solution to manage collaborative business transaction is reliability verification. In this paper, a business collaboration model, choreographical business transaction net (CoBTx-Net) is developed for individual business participants to specify and manage the collaboration. Three reliability properties named time-embedded dead marking freeness, inter-organizational dead marking freeness, and collaborative soundness are defined and exploited to verify reliability based on CoBTx-Net.
Description Author affiliation: Macquarie Univ., Sydney (Haiyang Sun; Jian Yang)
ISBN 0769530516
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2007-12-11
Publisher Place Japan
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 554.98 kB
Page Count 8
Starting Page 415
Ending Page 422


Source: IEEE Xplore Digital Library