Modeling and controlling dynamic service compositions

Proc. - The 3rd Int. Multi-Conf. Computing in the Global Information Technology, ICCGI 2008 in Conjunction with ComP2P 2008: The 1st Int. Workshop on Computational P2P Networks: Theory and Practice

Volumn , Issue , 2008, Pages 210-216

  Pfeffer, Heiko ^a   Linner, David ^a   Steglich, Stephan ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Realtime; Service composition; Timed automata; Workflows

Indexed keywords

COMPUTER SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; GRAPH THEORY; INFORMATION TECHNOLOGY; TECHNOLOGY; WEB SERVICES;

BIPARTITE GRAPHS; COUPLED INTERACTIONS; DYNAMIC ENVIRONMENTS; FLOW OF DATA; GLOBAL INFORMATION TECHNOLOGY; MODERN COMPUTING; NODE MOBILITY; P2P NETWORKS; PLACEHOLDERS; REALTIME; RUN-TIME; SERVICE COMPOSITION; SERVICE COMPOSITION MODELING; SERVICE COMPOSITIONS; SERVICE-ORIENTED COMPUTING; TIMED AUTOMATA; TIMED AUTOMATON; WORKFLOWS;

CHEMICAL ANALYSIS;

EID: 52249116563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCGI.2008.40     Document Type: Conference Paper

References (25)

1. R. Akkiraju, J. Farrell, J. Miller, M. Nagarajan, M.-T. Schmidt, A. Sheth, and K. Verma. Web Service Semantics - WSDL-S, November 2005. [Online]. Available: http://www.w3.org/Submission/WSDL-S/. [Accessed: November, 2007].
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of of the 5th Annual Symposium on Logic in Computer Science, pages 414-425. IEEE Computer Society Press, 1990.
3. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1, May 2003. [Online]. Available: http://www.ibm.com/developerworks/library/specification/wsbpel/. [Accessed: November, 2007].
4. A. Ankolekar, M. Burstein, J. R. Hobbs, O. Lassila, D. Martin, D. McDermott, S. A. McIlraith, S. Narayanan, M. Paolucci. T. Payne, and K. Sycara. DAML-S: Web Service Description for the Semantic Web. In The Semantic Web - ISWC 2002: First International Semantic Weh Conference, Sardinia, Italy, June 2002.
5. J. Berstel. Transductions and Context-free Languages. B.G. Teubner, Stuttgart, 1979.
6. A. Bucchiarone and S. Gnesi. A Survey on Services Composition Languages and Models. In A. Bertolino and A. Polini, editors, in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 51-63, Palermo, Sicily, ITALY, June 9th 2006.
7. R. Chinnici, J.-J. Moreau, A. Ryman, and S. Weerawarana. Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language. In World Wide Weh Consortium (W3C) recommendation, January 2006. [Online]. Available: http://www.w3c.org/TR/wsdl20/. [Accessed: Mar. 24, 2006].
8. E. M. J. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, England, 1999.
9. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business Process Execution Language for Web Services (Version 1.0). July 2002.
10. D. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, number 407 in LNCS, pages 197-212. Springer, 1989.
11. L. Doldi. UML2 illstrated, Developing Real-Time & Communication Systems. TMSO, 2003.
12. S. Eilenberg. Automata, Languages, and Machines, volume Volume A. Academic Press. New York. 1974.
13. M. Huth and M. Ryan. Logic in Computer Science - Modeling and reasoning about systems. Cambridge University Press, 2004.
14. M. Jaeger, L. Engel, and K. Geihs. A Methodology for Developing OWL-S Descriptions. In First International Conference on Interoperability of Enterprise Software and Applications Workshop on Web Services and Interoperability (INTEROP-ESA '05). Springer, 2005.
15. F. Lautenbacher and B. Bauer. A Survey on Workflow Annotation & Composition Approaches. In Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SemBPM) in the context of the European Semantic Web Conference (ESWC), pages 12-23, Insbruck, Austria, 7th June 2007.
16. F. Leymann. Web Service Flow Language (WSFL 1.0). In IBM, May 2001.
17. D. Linner, H. Pfeffer, and S. Steglich. A genetic algorithm for the adaptation of service compositions. In Proceedings of the 2nd International Conference on Bio-Inspired Models of Network, Information, and Computing Systems, 2007.
18. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
19. C. E. Ortitz. Introduction to J2ME Web Services, April 2005. [Online]. Available: http://developers.sun.com/mobility/apis/articles/wsa. [Accessed: October, 2007].
20. H. Pfeffer. UPPAAL Model Checking as Performance Evaluation Technique. Master's thesis, Rheinische FriedrichWhilhelms-Universität Bonn, 2005.
21. H. Pfeffer, D. Linner, C. Jacob, and S. Steglich. Towards Light-weight Semantic Descriptions for Decentralized Service-oriented Systems. In Proceedings of the 1st IEEE International Conference on Semantic Computing (ICSC 2007), volume CD-ROM, Irvine, California, USA, 17-19 September 2007. PLJ+07.
22. S. Thatte. XLANG - Web Services for Business Process Design, 2001.
23. The OWL Services Coalition. OWL-S: Semantic Markup for Web Services, November 2004. [Online]. Available: http://www.daml.org/services/owls/1.1/. [Accessed: February 26, 2007].
24. U. University and A. University. UPPAAL 4.0.6. http://www.uppaal.com, December 2007.
25. W. van der Aalst. Don't go with the flow: Web services composition standards exposed, 2003.