A dense time semantics for Web services specifications languages

Proceedings - 2004 International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA 2004

Volumn , Issue , 2004, Pages 647-648

  Haddad, S ^a   Melliti, T ^a   Moreaux, P ^a   Rampacek, S ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SEMANTICS; TELECOMMUNICATION SERVICES;

TIME SEMANTICS; WEB SERVICES; WSFL; XLANG SPECIFICATION LANGUAGES;

WORLD WIDE WEB;

EID: 2942691633     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. T. Melliti and S. Haddad, "Synthesis of Agents for Web Services Interaction", International Conference Electronic Commerce, Workshop on Semantic Web Services for Enterprise Application Integration and E-Commerce, Pittsburgh, Sept. 2003.
2. S. Staab, W. van der Aalst, V. R. Benjamins, A. Sheth, J. A. Miller, C. Bussler, A. Maedche, D. Fensel and Dennis Gannon, "Web Services: Been There, Done That ?", IEEE Intelligent Systems, 18, pp. 72-85, 2003.
3. X.Nicollin and J.Sifakis, "The Algebra of Timed Processes ATP: theory and application", Information and Computation, 114(1), pp. 131-178, Oct. 1994.
4. R. Alur and D. L. Dill, "A Theory of Timed Automata", Theoretical Computer Science, 126, pp. 193-235, 1994.
5. R. Alur, L. Fix, T. A. Henzinger "Event-Clock Automata: A Determinizable Class of Timed Automata" Lecture Notes in Computer Science 818 pp. 1-13, 1994.