File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Data flow testing of service choreography

TitleData flow testing of service choreography
Authors
KeywordsChoreography
Data flow testing
Orchestration
Service composition
Software testing
Web services
Issue Date2009
PublisherAssociation for Computing Machinery. The Journal's web site is located at http://www.acm.org/
Citation
Esec-Fse'09 - Proceedings Of The Joint 12Th European Software Engineering Conference And 17Th Acm Sigsoft Symposium On The Foundations Of Software Engineering, 2009, p. 151-160 How to Cite?
AbstractService computing has increasingly been adopted by the industry, developing business applications by means of orchestration and choreography. Choreography specifies how services collaborate with one another by defining, say, the message exchange, rather than via the process flow as in the case of orchestration. Messages sent from one service to another may require the use of different XPaths to manipulate or extract message contents. Mismatches in XML manipulations through XPaths (such as to relate incoming and outgoing messages in choreography specifications) may result in failures. In this paper, we propose to associate XPath Rewriting Graphs (XRGs), a structure that relates XPath and XML schema, with actions of choreography applications that are skeletally modeled as labeled transition systems. We develop the notion of XRG patterns to capture how different XRGs are related even though they may refer to different XML schemas or their tags. By applying XRG patterns, we successfully identify new data flow associations in choreography applications and develop new data flow testing criteria. Finally, we report an empirical case study that evaluates our techniques. The result shows our techniques are promising in detecting failures in choreography applications. Copyright 2009 ACM.
DescriptionESEC/FSE (Conference)
This work is supported in part by the General Research Fund of the Research Grants Council of Hong Kong (project nos. 717506 and 717308).
Persistent Identifierhttp://hdl.handle.net/10722/65598
ISBN
ISI Accession Number ID
References

 

DC FieldValueLanguage
dc.contributor.authorMei, Len_HK
dc.contributor.authorChan, WKen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2010-09-03T01:40:08Z-
dc.date.available2010-09-03T01:40:08Z-
dc.date.issued2009en_HK
dc.identifier.citationEsec-Fse'09 - Proceedings Of The Joint 12Th European Software Engineering Conference And 17Th Acm Sigsoft Symposium On The Foundations Of Software Engineering, 2009, p. 151-160en_HK
dc.identifier.isbn9781605580012-
dc.identifier.urihttp://hdl.handle.net/10722/65598-
dc.descriptionESEC/FSE (Conference)-
dc.descriptionThis work is supported in part by the General Research Fund of the Research Grants Council of Hong Kong (project nos. 717506 and 717308).-
dc.description.abstractService computing has increasingly been adopted by the industry, developing business applications by means of orchestration and choreography. Choreography specifies how services collaborate with one another by defining, say, the message exchange, rather than via the process flow as in the case of orchestration. Messages sent from one service to another may require the use of different XPaths to manipulate or extract message contents. Mismatches in XML manipulations through XPaths (such as to relate incoming and outgoing messages in choreography specifications) may result in failures. In this paper, we propose to associate XPath Rewriting Graphs (XRGs), a structure that relates XPath and XML schema, with actions of choreography applications that are skeletally modeled as labeled transition systems. We develop the notion of XRG patterns to capture how different XRGs are related even though they may refer to different XML schemas or their tags. By applying XRG patterns, we successfully identify new data flow associations in choreography applications and develop new data flow testing criteria. Finally, we report an empirical case study that evaluates our techniques. The result shows our techniques are promising in detecting failures in choreography applications. Copyright 2009 ACM.en_HK
dc.languageeng-
dc.publisherAssociation for Computing Machinery. The Journal's web site is located at http://www.acm.org/-
dc.relation.ispartofESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineeringen_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.rightsESEC/FSE (Conference) . Copyright © Association for Computing Machinery.-
dc.rights© ACM, 2009. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC 2009/FSE-17), Amsterdam, The Netherlands, August 24-28, 2009, p. 151-160. http://doi.acm.org/10.1145/1595696.1595720-
dc.subjectChoreographyen_HK
dc.subjectData flow testingen_HK
dc.subjectOrchestrationen_HK
dc.subjectService compositionen_HK
dc.subjectSoftware testingen_HK
dc.subjectWeb servicesen_HK
dc.titleData flow testing of service choreographyen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=9781605580012 &volume=&spage=151&epage=160&date=2009&atitle=Data+flow+testing+of+service+choreography-
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepostprint-
dc.identifier.doi10.1145/1595696.1595720en_HK
dc.identifier.scopuseid_2-s2.0-77949405710en_HK
dc.identifier.hkuros155836-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-77949405710&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage151en_HK
dc.identifier.epage160en_HK
dc.identifier.isiWOS:000295315700017-
dc.identifier.scopusauthoridMei, L=25825333600en_HK
dc.identifier.scopusauthoridChan, WK=23967779900en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats