An automated method forweb service orchestration based on reusable building blocks

2009 IEEE International Conference on Web Services, ICWS 2009

Volumn , Issue , 2009, Pages 262-270

  Kraemer, Frank Alexander ^a   Samset, Haldor ^a,b   Bræk, Rolv ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b TELENOR RESEARCH   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED METHODS; BUILDING BLOCKES; COMPOSITIONAL MODELS; INCREMENTAL VERIFICATION; MANUAL ADAPTATION; MODEL-DRIVEN; SECOND PHASE; SERVICE ORCHESTRATION; SMS MESSAGES;

AUTOMATION; COMPUTER SOFTWARE REUSABILITY; WEB SERVICES;

MODEL CHECKING;

EID: 70449504700     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2009.68     Document Type: Conference Paper

References (35)

1. Apache Axis2 Homepage. http://ws.apache.org/axis2/.
2. Program for Advanced Telecom Services (PATS). http://www.pats.no/.
3. A. Alves and et al. OASIS Web Services Business Process Execution Language (WSBPEL) v2.0. Organization for the Advancement of Structured Information Standards (OASIS), April 2007.
4. Arctis Website. http://arctis.item.ntnu.no, 2009.
5. L. Baresi and E. D. Nitto, editors. Test and Analysis of Web Services. Springer, 2007.
6. T. Bultan, X. Fu, and J. Su. Analyzing conversations: Realizability, synchronizability, and verification. In Baresi and Nitto [5], pages 57-85.
7. D. Burdett, Y. Lafon, T. Fletcher, G. Ritzinger, C. Barreto, and N. Kavantzas. Web services choreography description language version 1.0. Candidate recommendation, W3C, Nov. 2005. http://www.w3.org/TR/2005/CR-ws-cdl-10- 20051109/.
8. S. Ceri, P. Fraternali, and A. Bongio. Web modeling language (webml): a modeling language for designing web sites. In Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking, pages 137-157, Amsterdam, The Netherlands, The Netherlands, 2000. North-Holland Publishing Co.
9. Connected Objects Website. http://connected.telenor.com/, 2009.
10. Eclipse Website. http://www.eclipse.org, 2009.
11. W. Fdhila, M. Rouached, and C. Godart. Communications semantics for wsbpel processes. In ICWS '08: Proceedings of the 2008 IEEE International Conference on Web Services, pages 185-194, Washington, DC, USA, 2008. IEEE Computer Society.
12. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Ws-engineer: A model-based approach to engineering web service compositions and choreography. In Baresi and Nitto [5], pages 87-119.
13. I. Grønbæk, M. Nord, and S. Jakobsson. High Level Architecture for Support of CO Services. Technical Report R18/2007, Telenor Research and Innovation, Juni 2007.
14. P. Herrmann and H. Krumm. A Framework for Modeling Transfer Protocols. Computer Networks, 34(2):317-337, 2000.
15. F. A. Kraemer. Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology, August 2008.
16. F. A. Kraemer, R. Bræk, and P. Herrmann. Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. In E. Gaudin, E. Najm, and R. Reed, editors, SDL 2007, volume 4745 of Lecture Notes in Computer Science, pages 166-185. Springer-Verlag Berlin Heidelberg, September 2007.
17. F. A. Kraemer, R. Bræk, and P. Herrmann. Compositional Service Engineering with Arctis. Telektronikk, 2009. (to appear).
18. F. A. Kraemer and P. Herrmann. Service Specification by Composition of Collaborations-An Example. In Proceedings of the 2006 WI-IAT Workshops (2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology), pages 129-133. IEEE Computer Society, 2006. 2nd InternationalWorkshop on Service Composition (Sercomp), Hong Kong.
19. F. A. Kraemer and P. Herrmann. Formalizing Collaboration- Oriented Service Specifications using Temporal Logic. In Networking and Electronic Commerce Research Conference 2007 (NAEC 2007), pages 194-220, USA, October 2007. ATSMA Inc.
20. F. A. Kraemer and P. Herrmann. Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In K. Ehring and H. Giese, editors, Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), volume 7 of Electronic Communications of the EASST. EASST, 2007.
21. F. A. Kraemer, P. Herrmann, and R. Bræk. Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In R. Meersmann and Z. Tari, editors, Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA), 2006, Montpellier, France, volume 4276 of Lecture Notes in Computer Science, pages 1613-1632. Springer-Verlag Heidelberg, 2006.
22. F. A. Kraemer, V. Slåtten, and P. Herrmann. Engineering Support for UML Activities by Automated Model-Checking - An Example. In Proceedings of the 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE), November 2007.
23. L. Lamport. Specifying Systems. Addison-Wesley, 2002.
24. I. Manolescu, M. Brambilla, S. Ceri, S. Comai, and P. Fraternali. Model-driven design and deployment of serviceenabled web applications. ACM Trans. Interet Technol., 5(3):439-479, 2005. (Pubitemid 41497765)
25. J.-J. Moreau, S. Weerawarana, A. Ryman, and R. Chinnici. Web services description language (WSDL) version 2.0 part 1: Core language. W3C recommendation, W3C, June 2007. http://www.w3.org/TR/2007/REC-wsdl20-20070626.
26. Object Management Group. Unified Modeling Language: Superstructure, version 2.1.2, November 2007. formal/2007-11-01.
27. Parlay Group. Parlay X Web Services Specification, Version 2.1 - Short Messaging. http://www.parlay.org/en/specifications/pxws.asp.
28. H. Samset and R. Bræk. Behavioral contracts and service substitutability: A contribution to dependable soa. DSN 2008Workshop on Architecting Dependable Systems (DSN WADS 2008), 2008.
29. H. Samset and R. Bræk. Behavioral contracts and service substitutability: A contribution to dependable soa. DSN 2008 Workshop on Architecting Dependable Systems (DSN WADS 2008), 2008.
30. H. Samset and R. Bræk. Describing Active Services for Publication and Discovery. In R. Lee, editor, Software Engineering Research, Management and Applications, volume 150 of Studies in Computational Intelligence, pages 173- 187. Springer-Verlag, 2008.
31. H. Samset and R. Bræk. Dynamic service discovery using active lookup and registration. In Congress on Services - Part I, 2008. SERVICES '08. IEEE, pages 545-552, Los Alamitos, CA, USA, 2008. IEEE Computer Society.
32. N. Sharygina and D. Kroening. Model checking with abstraction for web services. In Baresi and DiNitto [5], pages 121-145.
33. V. Slåtten. Automatic Detection and Correction of Flaws in Service Specifications. Master's thesis, Norwegian University of Science and Technology, June 2008.
34. W. M. P. van der Aalst and M. Pesic. Specifying and monitoring service flows: Making web services process-aware. In Baresi and Nitto [5], pages 11-55.
35. Y. Yu, P. Manolios, and L. Lamport. Model Checking TLA+ Specifications. In L. Pierre and T. Kropf, editors, Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'99), volume 1703 of Lecture Notes in Computer Science, pages 54-66. Springer-Verlag, 1999.