Logic-based Verification for Web services Composition with TLA

Hongbin Wang; Li Li; Cheng Wang; Zuling Kang; Dongxi Liu; Jemma Wu; Athman Bouguettaya

Logic-based Verification for Web services Composition with TLA

Hongbin Wang, Li Li, Cheng Wang, Zuling Kang, Dongxi Liu, Jemma Wu, Athman Bouguettaya

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)
Editors	Conference Program Committee
Place of Publication	New York
Publisher	IEEE Computer Society
Edition	1st - Peer Reviewed
ISBN (Print)	9781424452996
Publication status	Published - 2009
Event	IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2009) - Taipei Taiwan Duration: 1 Jan 2009 → …

Conference

Conference	IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2009)
Period	1/01/09 → …
Other	December 14-15 2009

Cite this

@inproceedings{6b8ac808fdbc45dca1d8d854a2376bff,

title = "Logic-based Verification for Web services Composition with TLA",

author = "Hongbin Wang and Li Li and Cheng Wang and Zuling Kang and Dongxi Liu and Jemma Wu and Athman Bouguettaya",

year = "2009",

language = "English",

isbn = "9781424452996",

editor = "{Conference Program Committee}",

booktitle = "Proceedings 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)",

publisher = "IEEE Computer Society",

edition = "1st - Peer Reviewed",

note = "IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2009) ; Conference date: 01-01-2009",

}

Wang, H, Li, L, Wang, C, Kang, Z, Liu, D, Wu, J & Bouguettaya, A 2009, Logic-based Verification for Web services Composition with TLA. in CPC (ed.), Proceedings 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA). 1st - Peer Reviewed edn, IEEE Computer Society, New York, IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2009), 1/01/09.

Logic-based Verification for Web services Composition with TLA. / Wang, Hongbin; Li, Li; Wang, Cheng et al.
Proceedings 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA). ed. / Conference Program Committee. 1st - Peer Reviewed. ed. New York: IEEE Computer Society, 2009.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Logic-based Verification for Web services Composition with TLA

AU - Wang, Hongbin

AU - Li, Li

AU - Wang, Cheng

AU - Kang, Zuling

AU - Liu, Dongxi

AU - Wu, Jemma

AU - Bouguettaya, Athman

PY - 2009

Y1 - 2009

M3 - Conference contribution

SN - 9781424452996

BT - Proceedings 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)

A2 - null, Conference Program Committee

PB - IEEE Computer Society

CY - New York

T2 - IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2009)

Y2 - 1 January 2009

ER -