Verifying BPEL-like programs with Hoare logic

Hdl Handle:
http://hdl.handle.net/10149/110686
Title:
Verifying BPEL-like programs with Hoare logic
Authors:
Luo, C. (Chenguang); Qin, S. (Shengchao); Qiu, Z. (Zongyan)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Luo, C., Qin, S. and Qiu, Z. (2008) 'Verifying BPEL-like programs with Hoare logic', Frontiers of Computer Science in China, 2(4), pp.344-356.
Publisher:
Springer Verlag
Journal:
Frontiers of Computer Science in China
Issue Date:
Dec-2008
URI:
http://hdl.handle.net/10149/110686
DOI:
10.1007/s11704-008-0039-2
Additional Links:
http://www.springerlink.com/index/10.1007/s11704-008-0039-2
Type:
Article
Language:
en
Keywords:
axiomatic verification system; compensation mechanism; operational semantics; soundness; WS-BPEL
ISSN:
1673-7350; 1673-7466
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]
Citation Count:
0 [Scopus, 03/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorLuo, C. (Chenguang)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorQiu, Z. (Zongyan)en
dc.date.accessioned2010-09-03T14:27:58Z-
dc.date.available2010-09-03T14:27:58Z-
dc.date.issued2008-12-
dc.identifier.citationFrontiers of Computer Science in China; 2(4):344-356en
dc.identifier.issn1673-7350-
dc.identifier.issn1673-7466-
dc.identifier.doi10.1007/s11704-008-0039-2-
dc.identifier.urihttp://hdl.handle.net/10149/110686-
dc.language.isoenen
dc.publisherSpringer Verlagen
dc.relation.urlhttp://www.springerlink.com/index/10.1007/s11704-008-0039-2en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]en
dc.subjectaxiomatic verification systemen
dc.subjectcompensation mechanismen
dc.subjectoperational semanticsen
dc.subjectsoundnessen
dc.subjectWS-BPELen
dc.titleVerifying BPEL-like programs with Hoare logicen
dc.typeArticleen
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.identifier.journalFrontiers of Computer Science in Chinaen
ref.citationcount0 [Scopus, 03/09/2010]en
or.citation.harvardLuo, C., Qin, S. and Qiu, Z. (2008) 'Verifying BPEL-like programs with Hoare logic', Frontiers of Computer Science in China, 2(4), pp.344-356.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.