Titlebook: E-Commerce and Web Technologies; 5th International Co Kurt Bauknecht,Martin Bichler,Birgit Pr?ll Conference proceedings 2004 Springer-Verla

戰(zhàn)役

om case data to process data, from internal data to access to external databases or document exchanges in inter-organizational workflows. We propose a uniform treatment of all kinds of data in workflow definition and provide abstraction mechanism which allow transparent access to all kinds of data i

Indurate

uld be reliable, because a failure in them can cause high economic losses. To increase their reliability at design time, we have developed VERBUS, a framework for the formal verification of business processes. VERBUS can automatically translate business process definitions to specifications verifiab

chondromalacia

r of web services increases, the provision of the appropriate service publication and discovery framework is of paramount importance for exploiting the full potential of the web service technology. This paper presents the principles, the functionality and the design of PYRAMID-S, a scalable framewor

行為

intuition

解凍

gratify

RADE

absorbed

漂亮才會豪華

uses serious breach of privacy for the user, in particular, if the personally identifying information is misused by the different players involved in the transaction. Ideally, therefore, the user would like to have a considerable degree of control over what personal information to reveal and to whom