Articles liés à Web Service Composition Based Interorganizational Workflows:...

Web Service Composition Based Interorganizational Workflows:: Modeling and Verification - Couverture souple

Tahamtan, Amirreza

 
9783838106700: Web Service Composition Based Interorganizational Workflows:: Modeling and Verification

Synopsis

Interorganizational workflows are workflows that cross the boundaries of a single organization and provide a framework for cooperation of autonomous organizations. An important issue when designing such workflows is the balance between the openness needed for cooperation and the privacy needed for protection of business know-how. Workflow views provide an efficient tool for this aim. This book presents a technique for a correct construction of workflow views. The real surplus of web services is their capability for composition into more complex systems. The essential requirements are on the one hand an architecture with adequate capabilities and on the other hand, verification of correctness. This book proposes an architecture for modeling web service composition based interorganizational workflows that provides several advantages. Moreover, algorithms and techniques for verification of structural and temporal correctness of interorganizational workflows are proposed. The presented approach is language and platform independent and algorithms work in a distributed manner.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Interorganizational workflows are workflows that cross the boundaries of a single organization and provide a framework for cooperation of autonomous organizations. An important issue when designing such workflows is the balance between the openness needed for cooperation and the privacy needed for protection of business know-how. Workflow views provide an efficient tool for this aim. This book presents a technique for a correct construction of workflow views. The real surplus of web services is their capability for composition into more complex systems. The essential requirements are on the one hand an architecture with adequate capabilities and on the other hand, verification of correctness. This book proposes an architecture for modeling web service composition based interorganizational workflows that provides several advantages. Moreover, algorithms and techniques for verification of structural and temporal correctness of interorganizational workflows are proposed. The presented approach is language and platform independent and algorithms work in a distributed manner.

Biographie de l'auteur

Amirreza Tahamtan, Ph.D, is a researcher and lecturer at theDept. of knowledge and business engineering, Faculty of computerscience,University of Vienna.He received the degree of master of science with distinction fromVienna university of technology and his Ph.D. in computersciences from university of Vienna as well with distinction.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.