Developing consistent contractual policies in service composition

Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007
Pages527-534
Number of pages8
DOIs
Publication statusPublished - 2007 Dec 1
Externally publishedYes
Event2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007 - Tsukuba, Japan
Duration: 2007 Dec 112007 Dec 14

Other

Other2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007
CountryJapan
CityTsukuba
Period07/12/1107/12/14

Fingerprint

Chemical analysis
Composite materials
Testing

ASJC Scopus subject areas

  • Computer Science(all)
  • Electrical and Electronic Engineering

Cite this

Ishikawa, F., Yoshioka, N., & Honiden, S. (2007). Developing consistent contractual policies in service composition. In Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007 (pp. 527-534). [4414505] https://doi.org/10.1109/APSCC.2007.4414505

Developing consistent contractual policies in service composition. / Ishikawa, Fuyuki; Yoshioka, Nobukazu; Honiden, Shinichi.

Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007. 2007. p. 527-534 4414505.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ishikawa, F, Yoshioka, N & Honiden, S 2007, Developing consistent contractual policies in service composition. in Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007., 4414505, pp. 527-534, 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, Tsukuba, Japan, 07/12/11. https://doi.org/10.1109/APSCC.2007.4414505
Ishikawa F, Yoshioka N, Honiden S. Developing consistent contractual policies in service composition. In Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007. 2007. p. 527-534. 4414505 https://doi.org/10.1109/APSCC.2007.4414505
Ishikawa, Fuyuki ; Yoshioka, Nobukazu ; Honiden, Shinichi. / Developing consistent contractual policies in service composition. Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007. 2007. pp. 527-534
@inproceedings{1f5a341abd4e414a8bfc66f8315b34cd,
title = "Developing consistent contractual policies in service composition",
abstract = "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.",
author = "Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden",
year = "2007",
month = "12",
day = "1",
doi = "10.1109/APSCC.2007.4414505",
language = "English",
isbn = "0769530516",
pages = "527--534",
booktitle = "Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007",

}

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

SP - 527

EP - 534

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

ER -