Developing consistent contractual policies in service composition

Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007

Volumn , Issue , 2007, Pages 527-534

  Ishikawa, Fuyuki ^a   Yoshioka, Nobukazu ^a   Honiden, Shinichi ^a  

^a National Institute of Informatics

Author keywords

[No Author keywords available]

Indexed keywords

ASIA PACIFIC; COMPOSITE SERVICES; CONSISTENCY CHECKING; CONSISTENCY PROPERTIES; EVENT CALCULUS (EC); MULTIPLE CONTRACTS; MUTUAL UNDERSTANDING; SERVICE COMPOSITIONS; SERVICE PROVIDER (SP); SERVICE PROVISIONING;

DIFFERENTIATION (CALCULUS); FOUNDATIONS; MATHEMATICAL TECHNIQUES;

CONTRACTS;

EID: 47349110661     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSCC.2007.4414505     Document Type: Conference Paper

References (14)

1. Discrete event calculus reasoner for commonsense reasoning, http://decreasoner.sourceforge.net/, July 2007 (Last Access).
2. A. K. Bandara, E. C. Lupu, and A. Russo. Using event calculus to formalise policy specification and analysis. In 4th IEEE international workshop on policies for distributed systems and networks, pages 26-39, June 2003.
3. A. K. Chopra and M. P. Singh. Contextualizing commitment protocol. In AAMAS'06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pages 1345-1352, 2006.
4. A. D. H. Farrell, M. J. Sergot, M. Salle, and C. Bartolini. Performance monitoring of service-level agreements for utility computing using the event calculus. Technical report, HP Labs, November 2004.
5. G. G. Forum. Web services agreement specification (ws-agreement). www.gridforum.org/Meetings/GGF11/Documents/draf t-ggf-graap-agreement .pdf, September 2004.
6. IBM. WSLA: Web service level agreements, http://www.research.ibm.com/ wsla/, July 2007 (last visited).
7. L.-j. Jin, V. Machiraju, and A. Sahai. Analysis on service level agreement of web services. Technical Report HPL-2002-180, HP Labs, July 2002.
8. J. Knottenbelt and K. Clark. Contract-related agents. In Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI), pages 226-242, June 2005.
9. E. C. Lupu and M. Sloman. Conflicts in policy-based distributed systems management. IEEE Transactions on Software Engineering, 25(6):852-869, 1999.
10. E. T. Mueller. Commonsense Reasoning. Morgan Kaufmann Pub, 2006.
11. A. Paschke, J. Dietrich, and K. Kuhla. A logic based sla management framework. In ISWC Semantic Web and Policy Workshop, November 2005.
12. M. P. Singh and M. N. Huhns. Service-Oriented Computing: Semantics, Processes, Agents. John Wiley and Sons, 2005.
13. S. Thatte et al. Business process execution language for web services, version 1.1. http://www.ibm.com/developerworks/library/specification/ws-bpel/, May 2003.
14. Y. B. Udupi and M. P. Singh. Governance of cross-organizational service agreements: A policy-based approach. In IEEE International Conference on Services Computing (SCC2007), pages 36-43, July 2007.