Name
Abstract | ||
|---|---|---|
Service composition, which provides a more effective way to combine several single services into a composite service, is a kind of software reuse techniques. However, one of the most important problems is how to perform service composition correctly and effectively so as to produce high-quality source codes for describing the resulted composite service. In this paper, we propose a model-driven method to solve this problem, where UML 2.0 sequence diagrams are extended to model the composition of Web services, extended statecharts are synthesized from sequence diagrams, then the statecharts are further transferred to the input language of a model checker for behavior consistency checking, and finally verified BPEL codes can be generated from improved sequence diagrams. Case studies have been performed to demonstrate the whole process and illustrate the significance of our approach. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/APSEC.2009.19 | APSEC |
Keywords | Field | DocType |
sequence diagram,business process execution language,model-driven automatic generation,extended statecharts,uml 2.0 sequence diagrams,web services,web service composition,service composition,source codes,statechart synthesis,improved sequence diagram,software reuse techniques,verification,bpel code verification,single service,model-driven automatic generation method,bpel code,verified bpel code,composite service,source coding,model checker,behavior consistency checking,unified modeling language,software reusability,program verification,web service,keywords-model-driven,code transformation,xml,protocols,source code,probability density function,data mining | Sequence diagram,Programming language,Model checking,Unified Modeling Language,XML,Source code,Computer science,Software,Business Process Execution Language,Web service | Conference |
ISSN | ISBN | Citations |
1530-1362 | 978-0-7695-3909-6 | 4 |
PageRank | References | Authors |
0.50 | 12 | 3 |