Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
A model for web services discovery with QoS
ACM SIGecom Exchanges
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Analyzing Conversations of Web Services
IEEE Internet Computing
Web Service Composition Approaches: From Industrial Standards to Formal Methods
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Deploying and managing Web services: issues, solutions, and directions
The VLDB Journal — The International Journal on Very Large Data Bases
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
A trust-based secure service discovery (TSSD) model for pervasive computing
Computer Communications
A Service Composition Model with Characteristic of Transaction Based on Finite State Machine
ICCEE '08 Proceedings of the 2008 International Conference on Computer and Electrical Engineering
A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Analyzing Reliability of Time Constrained Service Composition
ICIS '09 Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science
Compatibility analysis and mediation-aided composition for BPEL services
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
Service composition and related technologies have provided favorable means for building complex Web software systems. It may span multiple organizational units requires particular considerations on trustworthy issues. However, the distributive and heterogeneous characteristics of services make it hard to guarantee trustworthiness of service composition. This paper presents a method for analyzing dynamic trustworthy service composition according to the characteristics and requirements of service composition. Petri nets are used to precisely describe the composition process in order to describe the logic relation between different components. Based on this, the concept of trust matrix is given to represent the relationships between states. A trustworthy service composition strategy and its enforcement method are proposed. A case study of Travel Service demonstrates the feasibility of proposed method.