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-09-06T15:06:13Z
dc.date.available2010-09-06T15:06:13Z
dc.date.issued2004
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/4701
dc.language.isoenen
dc.subjectSynthesis algorithmen
dc.subjectTimed automataen
dc.subjectTimed Labelled Transition systemsen
dc.subjectAlgebra of timed processesen
dc.subjectWeb serviceen
dc.subject.ddc005en
dc.titleModelling Web Services Interoperabilityen
dc.typeCommunication / Conférence
dc.description.abstractenWith the development of the semantic Web, the specification of Web services has evolved from a “remote procedure call” style to a behavioral description including standard constructors of programming languages. Such a transformation introduces new problems since traditional clients will not be able to interact with these sophisticated services. In this work, we develop a generic agent capable to fully control the interaction process with a Web service given its XLANG behavioral description (XLANG being one of these languages). At first, we give an operational semantic to XLANG in terms of timed transition systems. Then we define a relation between two communicating systems which formalizes the concept of a correct interaction and we propose an algorithm which either detects ambiguity of the Web service or generates a timed deterministic automaton which controls the agent behavior during the interaction with the service. Starting from these theoretical developments we have built a platform which ensures to a user the correct handling of any complex Web service dynamically discovered through the Web.en
dc.identifier.citationpages287-295en
dc.relation.ispartoftitleICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systemsen
dc.relation.ispartofdate2004
dc.description.sponsorshipprivateouien
dc.subject.ddclabelProgrammation, logiciels, organisation des donnéesen
dc.relation.conftitle6th International Conference on Enterprise Information Systemsen
dc.relation.confdate2004-04
dc.relation.confcityPortoen
dc.relation.confcountryPortugalen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record