A Temporal-Rule Based Verification System for Business Collaboration Reliability

A Temporal-Rule Based Verification System for Business Collaboration Reliability

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.

Authorization Policy Based Business Collaboration Reliability Verification

Collaborative business can become unreliable in terms of authorization policy conflicts, for example, when (1) incorrect role assignment or modification occurs in a service within one organization or (2) messages transferred from one organization are accessed by unqualified roles in other collaborating business partners. Therefore reliability verification based on access policies is critical fo...

CoBTx-Net: A model for business collaboration reliability verification

Collaborative business process can become unreliable when business partners collaborate in a peerbased fashion without central control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative bus...

Runtime verification of programs using rule-based active system

A rule based system for speech verification

A rule based system for speech verification is proposed as a feedback mechanism for speech recognition. The system provides an explicit way ofselecting verification parameters depending on the item to be recognized and its context. An extended continuous logic is used to combine the evidence from different parameters and an automatic way to convert parameter values to logic evidence values is g...