Show simple item record

dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorMelliti, Tarak
dc.contributor.authorMoreaux, Patrice
HAL ID: 10630
dc.contributor.authorRampacek, Sylvain
dc.date.accessioned2010-11-16T14:52:35Z
dc.date.available2010-11-16T14:52:35Z
dc.date.issued2004
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5089
dc.language.isoenen
dc.subjectweb servicesen
dc.subject.ddc004en
dc.titleA dense time semantics for Web services specifications languagesen
dc.typeCommunication / Conférence
dc.description.abstractenWeb services are "self-contained, self-describing modular applications that can be published, located, and invoked across the Web". They are based on a set of independent open platform standards to reach a high level of acceptance. Web services framework is divided into three areas: communication protocol, service description, and service discovery and specifications are being developed for each one. More and more, users want to deal with complex applications controlled by an explicit process model. Most of specifications languages (WSFL, XLANG, BPEL4WS) propose a set of operators in order to describe the service in a modular way. The basic services are messages driven and the operators are related to the orchestration of activities. In the previous work, we have developed a generic agent capable to fully control the interaction process with a Web service given its specification. This paper presents an alternative approach, which overcomes a limitation of our preceding algorithms, and we briefly describe them. We develop dense time semantics for an XLANG specification. The semantic of a specification is a timed automaton.en
dc.identifier.citationpages647-648en
dc.relation.ispartoftitleFirst International Conference on Information and Communication Technologies: from Theory to Applications – ICTTA’04 - Proceedingsen
dc.relation.ispartofpublnameIEEE Computer Societyen
dc.relation.ispartofdate2004
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-7803-8482-2en
dc.relation.conftitleFirst International Conference on Information and Communication Technologies: from Theory to Applications – ICTTA’04en
dc.relation.confdate2004-04
dc.relation.confcityDamasen
dc.relation.confcountrySyrieen
dc.identifier.doihttp://dx.doi.org/10.1109/ICTTA.2004.1307931


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record