0000000000795525

AUTHOR

Patrice Moreaux

showing 2 related works from this author

An Integrated Framework for Web Services Orchestration

2009

International audience; Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this article, the authors will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to generate the appropriate client? Their approach is based on a formal semantics fo…

medicine.medical_specialtyComputer Networks and Communicationscomputer.internet_protocolComputer science[ INFO.INFO-WB ] Computer Science [cs]/Web0102 computer and information sciences02 engineering and technologycomputer.software_genre01 natural sciencesBPELWorld Wide WebWeb design0202 electrical engineering electronic engineering information engineeringmedicineWS-AddressingWS-I Basic Profile[INFO.INFO-WB]Computer Science [cs]/WebWEB serviceService-oriented architectureBusiness Process Execution Languagetimed automata equivalence010201 computation theory & mathematics020201 artificial intelligence & image processingWeb serviceWS-PolicyverificationcomputerWeb modelingSoftwareInformation Systems
researchProduct

A Formal Semantics and a Client Synthesis for a BPEL Service

2008

A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…

Computer sciencecomputer.internet_protocolProgramming languageDistributed computingFormal semantics (linguistics)computer.file_formatAbstract processcomputer.software_genreAutomatonBusiness Process Execution LanguageDiscrete time and continuous timeExecutableWeb servicecomputer
researchProduct