Modelling Web Services Interoperability
Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004), Modelling Web Services Interoperability, ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, p. 287-295
TypeCommunication / Conférence
Conference title6th International Conference on Enterprise Information Systems
Book titleICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems
MetadataShow full item record
Abstract (EN)With 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.
Subjects / KeywordsSynthesis algorithm; Timed automata; Timed Labelled Transition systems; Algebra of timed processes; Web service
Showing items related by title and author.
Boutrous Saab, Céline; Coulibaly, Demba; Haddad, Serge; Melliti, Tarak; Rampacek, Sylvain; Moreaux, Patrice (2009) Article accepté pour publication ou publié