TY - GEN
T1 - Developing consistent contractual policies in service composition
AU - Ishikawa, Fuyuki
AU - Yoshioka, Nobukazu
AU - Honiden, Shinichi
PY - 2007/12/1
Y1 - 2007/12/1
N2 - The notion of contracts (or agreements) has been considered useful to promote mutual understanding and configuration in service provision between its consumer and provider. However, it has not been discussed how consistency can be ensured in multiple contracts that a composite service establishes with its component service providers and its consumers. In response to the problem, this study provides a theoretical foundation, based on Event Calculus, for expressing and reasoning about various constraints on contracts as well as consistency properties. On the basis of the proposed foundation, this study also discusses how an existing reasoner on Event Calculus can be used to help development of consistent contractual policies, or constraints on contracts. A tool is developed that wraps the reasoner and facilitates consistency checking and testing.
AB - The notion of contracts (or agreements) has been considered useful to promote mutual understanding and configuration in service provision between its consumer and provider. However, it has not been discussed how consistency can be ensured in multiple contracts that a composite service establishes with its component service providers and its consumers. In response to the problem, this study provides a theoretical foundation, based on Event Calculus, for expressing and reasoning about various constraints on contracts as well as consistency properties. On the basis of the proposed foundation, this study also discusses how an existing reasoner on Event Calculus can be used to help development of consistent contractual policies, or constraints on contracts. A tool is developed that wraps the reasoner and facilitates consistency checking and testing.
UR - http://www.scopus.com/inward/record.url?scp=47349110661&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=47349110661&partnerID=8YFLogxK
U2 - 10.1109/APSCC.2007.4414505
DO - 10.1109/APSCC.2007.4414505
M3 - Conference contribution
AN - SCOPUS:47349110661
SN - 0769530516
SN - 9780769530512
T3 - Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007
SP - 527
EP - 534
BT - Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007
T2 - 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007
Y2 - 11 December 2007 through 14 December 2007
ER -