Pi4SOA: A policy infrastructure for verification and control of service collaboration

Proceedings - IEEE International Conference on e-Business Engineering, ICEBE 2006

Volumn , Issue , 2006, Pages 307-314

  Zhou, X ^a   Tsai, W T ^a   Wei, X ^a   Chen, Y ^a   Xiao, B ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SUPPORTED COOPERATIVE WORK; METADATA; NETWORK ARCHITECTURE; VERIFICATION;

COLLABORATION PATTERNS; SERVICE COLLABORATION; SERVICE COLLABORATION ARCHITECTURE; SERVICE ORIENTED ARCHITECTURE;

WEB SERVICES;

EID: 34547553101     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICEBE.2006.79     Document Type: Conference Paper

References (15)

1. D. Agrawal, J. Giles, K. W. Lee, K. Voruganti, K. Filali-Adib, "Policy-Based Validation of SAN Configuration", in Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'04), 2004, pp. 77-86.
2. A. Anderson, "Web Services Policies", IEEE Security and Privacy Magazine, Volume 4, Issue 3, pp. 84-87, 2006.
3. "Definition of Disjunctive Normal Form", available at http://mathworld.wolfram.com/DisiunctiveNormal Form.html.
4. "Definition of Karnaugh Map", available at http://en.wikipedia. org/wiki/Karnaugh map.
5. "Hoffman Coding Algorithm", available at http://www.csl.mtu. edu/cs2321/www/newLectures/ Hoffman Coding.html.
6. P. B. Monday, Web Services Patterns: Java Edition, Apress, April, 2003.
7. B. Moore, E. Ellesson, J. Strassner, and A. Westerinen, "Policy Core Information Model -Version 1 Specification", IETF RFC 3060, Feb, 2001.
8. "Service Component Architecture SCA Policy Framework",available at http ://osoa.org/displav/ Main/Service+Component+Architecture+Specificati ons.
9. B. Shafiq, A. Masood, and A. Ghafoor, "Policy-Based Verification of Distributed Workflows in a Multi-Domain Environment", technical report, https://www.cerias.purdue.edu/tools and resources/ bibtex archive/view entrv.php?bibtex id=2969.
10. W. T. Tsai, "Service-Oriented System Engineering: A New Paradigm", IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, pp. 3 - 8.
11. W. T. Tsai, Y. Chen, R. Paul, X. Zhou, and C. Fan, "Simulation Verification and Validation by Dynamic Policy Specification and Enforcement, " to appear in SIMULATION: Transactions of The Society for Modeling and Simulation, 2006.
12. W. T. Tsai, X. Wei, and Y. Chen, "A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis", IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, pp. 151-158.
13. W. T. Tsai, B. Xiao, Q. Huang, Y. Chen, and R. Paul, "SOA Collaboration Modeling, Analysis, and Simulation in PSML-C", to appear in The Second IEEE International Symposium on Service-Oriented Applications, Integration and Collaboration (SOAIC06), October 2006.
14. "Web Services Policy 1.2 - Framework (WSPolicy)", W3C Member Submission, 25 April 2006, available at http://www.w3.org/Submission/2006/06/
15. "XACML-Based Web Services Policy Constraint Language (WS-PolicyConstraints)", October 2005, available at http://research.sun. com/projects/xacml/.