A Temporal-rule based verification system for business collaboration reliability

Hai Yang Sun; Jian Yang; Weiliang Zhao

A Temporal-rule based verification system for business collaboration reliability

School of Computing

Research output: Contribution to journal › Article › peer-review

Abstract

Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration.

Original language	English
Pages (from-to)	65-68
Number of pages	4
Journal	Revista de Informática Teórica e Aplicada
Volume	16
Issue number	2
Publication status	Published - 2009

Cite this

@article{43a1cd9a08e24230a987caf758535931,

title = "A Temporal-rule based verification system for business collaboration reliability",

abstract = "Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration.",

author = "Sun, {Hai Yang} and Jian Yang and Weiliang Zhao",

year = "2009",

language = "English",

volume = "16",

pages = "65--68",

journal = "Revista de Inform{\'a}tica Te{\'o}rica e Aplicada",

issn = "0103-4308",

publisher = "UFRGS",

number = "2",

}

TY - JOUR

T1 - A Temporal-rule based verification system for business collaboration reliability

AU - Sun, Hai Yang

AU - Yang, Jian

AU - Zhao, Weiliang

PY - 2009

Y1 - 2009

N2 - Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration.

AB - Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration.

M3 - Article

SN - 0103-4308

VL - 16

SP - 65

EP - 68

JO - Revista de Informática Teórica e Aplicada

JF - Revista de Informática Teórica e Aplicada

IS - 2

ER -

A Temporal-rule based verification system for business collaboration reliability

Abstract

Fingerprint

Cite this