1. Nicolas Palix. Langages dédiés au développement de services de communications. PhD thesis, Université de Bordeaux I - LaBRI / INRIA Bordeaux - Sud-Ouest, September 2008. Abstract:

   IP telephony services use network resources to automate communication stimuli processing. However, deploying services on a telephony system leads to safety issues, and programmers need to ensure some safety properties on their services. Several approaches allowing service development have emerged. Some of them ensure safety properties by restricting expressiveness, limiting the scope of usage. This thesis proposes a new approach that relies on domain-specific languages (DSL) to develop communication services. A domain-specific language is a programming language dedicated to a particular domain. Their expressiveness and verifiability are adapted and specific to a domain. A compiler statically checks critical domain properties. Two new DSLs have been designed for communication services, namely SPL (Session Processing Language) and Pantaxou. The SPL language allows developers to specify routing logic that processes IP telephony signaling. SPL offers abstractions specific to message processing that guarantee the safety properties of IP telephony. The Pantaxou language generalizes the communication service concept introduced by SPL allowing the coordination of communicating entities. The language consists of two parts: the first one enables the description of an environment of communicating entities; the second one expresses the coordination scenarios between these entities. These scenarios must ensure some constrains with respect to the environment description. Two compilers ensure the environment consistency and the scenarios consistency regarding the environment. The contributions of this thesis are as follows: (1) We carry out an analysis of communication services. This analysis focuses on communication services based on the SIP protocol. Existing approaches for developing SIP-based communication services are presented. (2) We present the design and implementation of a language, named SPL, for programming routing services. Various analyses for this language ensure critical properties of the SIP protocol. (3) We generalize the service development to entity services. We have designed a language, named Pantaxou, that introduces a two-step process for the development of coordination services, enabling early verification during the development process. (4) The design and implementation of these languages improve the development process of communication services and especially their safety. Beyond the domain of telephony services, our DSL-based approach opens up new possibilities for the development of distributed services in the field of ubiquitous computing.

   
   

   @PHDTHESIS{palix:these2008,
   OPTADDRESS = {},
   AUTHOR = {Nicolas Palix},
   MONTH = {September},
   OPTNOTE = {},
   SCHOOL = {Université de Bordeaux I - LaBRI / INRIA Bordeaux - Sud-Ouest},
   TITLE = {Langages dédiés au développement de services de communications},
   OPTTYPE = {},
   YEAR = {2008},
   ABSTRACT = { IP telephony services use network resources to automate communication stimuli processing. However, deploying services on a telephony system leads to safety issues, and programmers need to ensure some safety properties on their services. Several approaches allowing service development have emerged. Some of them ensure safety properties by restricting expressiveness, limiting the scope of usage. This thesis proposes a new approach that relies on domain-specific languages (DSL) to develop communication services. A domain-specific language is a programming language dedicated to a particular domain. Their expressiveness and verifiability are adapted and specific to a domain. A compiler statically checks critical domain properties. Two new DSLs have been designed for communication services, namely SPL (Session Processing Language) and Pantaxou. The SPL language allows developers to specify routing logic that processes IP telephony signaling. SPL offers abstractions specific to message processing that guarantee the safety properties of IP telephony. The Pantaxou language generalizes the communication service concept introduced by SPL allowing the coordination of communicating entities. The language consists of two parts: the first one enables the description of an environment of communicating entities; the second one expresses the coordination scenarios between these entities. These scenarios must ensure some constrains with respect to the environment description. Two compilers ensure the environment consistency and the scenarios consistency regarding the environment. The contributions of this thesis are as follows: (1) We carry out an analysis of communication services. This analysis focuses on communication services based on the SIP protocol. Existing approaches for developing SIP-based communication services are presented. (2) We present the design and implementation of a language, named SPL, for programming routing services. Various analyses for this language ensure critical properties of the SIP protocol. (3) We generalize the service development to entity services. We have designed a language, named Pantaxou, that introduces a two-step process for the development of coordination services, enabling early verification during the development process. (4) The design and implementation of these languages improve the development process of communication services and especially their safety. Beyond the domain of telephony services, our DSL-based approach opens up new possibilities for the development of distributed services in the field of ubiquitous computing. },
   OPTDOI = {},
   OPTISBN = {},
   OPTISSN = {},
   OPTKEYWORDS = {},
   URL = {http://tel.archives-ouvertes.fr/tel-00340864/},
   OPTURL-PUBLISHER = {},
   PDF = {http://tel.archives-ouvertes.fr/docs/00/34/08/64/PDF/these_palix.pdf} 
   }
   

1. W. Jouve, J. Lancia, N. Palix, C. Consel, and J. Lawall. High-level Programming Support for Robust Pervasive Computing Applications. In Proceedings of the 6th IEEE Conference on Pervasive Computing and Communications (PERCOM'08), Hong Kong, China, pages 252-255, March 2008. IEEE Computer Society. ISBN: 978-0-7695-3113-7. Keyword(s): Pervasive, Middleware, Generation, Programming Framework, DiaGen. Abstract:

   In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provides declarative support for concisely characterizing a pervasive computing environment. This description is (1) to be used by programmers as a high-level reference to develop applications that coordinate entities of the target environment and (2) to be passed to a compiler that generates a programming framework dedicated to the target environment. This process enables verifications to be performed prior to runtime on both the declared environment and a given application. Furthermore, customized operations are automatically generated to support the development of pervasive computing activities, such as service discovery and session negotiation for stream-oriented devices.

   
   

   @INPROCEEDINGS{jouve-lancia-palix-al:percom2008,
   ADDRESS = {Hong Kong, China},
   AUTHOR = {W. Jouve and J. Lancia and N. Palix and C. Consel and J. Lawall},
   BOOKTITLE = {Proceedings of the 6th IEEE Conference on Pervasive Computing and Communications (PERCOM'08)},
   OPTEDITOR = {},
   MONTH = {March},
   OPTNOTE = {},
   OPTNUMBER = {},
   OPTORGANIZATION = {},
   PAGES = {252--255},
   PUBLISHER = {IEEE Computer Society},
   OPTSERIES = {},
   TITLE = {High-level Programming Support for Robust Pervasive Computing Applications},
   OPTVOLUME = {},
   YEAR = {2008},
   ABSTRACT = {In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provides declarative support for concisely characterizing a pervasive computing environment. This description is (1) to be used by programmers as a high-level reference to develop applications that coordinate entities of the target environment and (2) to be passed to a compiler that generates a programming framework dedicated to the target environment. This process enables verifications to be performed prior to runtime on both the declared environment and a given application. Furthermore, customized operations are automatically generated to support the development of pervasive computing activities, such as service discovery and session negotiation for stream-oriented devices. },
   DOI = {10.1109/PERCOM.2008.9},
   ISBN = {978-0-7695-3113-7},
   OPTISSN = {},
   KEYWORDS = {Pervasive, Middleware, Generation, Programming Framework, DiaGen},
   URL = {http://hal.inria.fr/inria-00333602/},
   OPTURL-PUBLISHER = {},
   PDF = {http://hal.inria.fr/docs/00/33/36/02/PDF/jouve-al_percom08.pdf},
   PS = {http://hal.inria.fr/docs/00/33/36/02/ANNEX/jouve-al_percom08_poster.pdf} 
   }
   




2. W. Jouve, N. Palix, C. Consel, and P. Kadionik. A SIP-based Programming Framework for Advanced Telephony Applications. In Proceedings of The 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications (IPTComm'08), Heidelberg, Germany, pages 1-20, July 2008. Springer-Verlag. Note: Best Student Paper Award. ISBN: 978-3-540-89053-9. Keyword(s): IP Telephony, SIP, Middleware, Generation, Programming Framework, DiaGen. Abstract:

   The scope of telephony is significantly broadening, providing users with a variety of communication modes, including presence status, instant messaging and videoconferencing. Furthermore, telephony is being increasingly combined with a number of non-telephony, heterogeneous resources, consisting of software entities, such as Web services, and hardware entities, such as location-tracking devices. This heterogeneity, compounded with the intricacies of underlying technologies, make the programming of new telephony applications a daunting task. This paper proposes an approach to supporting the development of advanced telephony applications. To do so, we introduce a declarative language over Java to define the entities of a target telephony application area. This definition is passed to a generator to produce a Java programming framework, dedicated to the application area. The generated frameworks provide service discovery and high-level communication mechanisms. These mechanisms are automatically mapped into SIP, making our approach compatible with existing SIP infrastructures and entities. Our work is implemented and has been validated on various advanced telephony applications.

   
   

   @INPROCEEDINGS{jouve-palix-al:iptcomm2008,
   ADDRESS = {Heidelberg, Germany},
   AUTHOR = {W. Jouve and N. Palix and C. Consel and P. Kadionik},
   BOOKTITLE = {Proceedings of The 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications (IPTComm'08)},
   OPTEDITOR = {},
   MONTH = {July},
   NOTE = {Best Student Paper Award},
   OPTNUMBER = {},
   OPTORGANIZATION = {},
   PAGES = {1--20},
   PUBLISHER = {Springer-Verlag},
   OPTSERIES = {},
   TITLE = {A SIP-based Programming Framework for Advanced Telephony Applications},
   OPTVOLUME = {},
   YEAR = {2008},
   ABSTRACT = {The scope of telephony is significantly broadening, providing users with a variety of communication modes, including presence status, instant messaging and videoconferencing. Furthermore, telephony is being increasingly combined with a number of non-telephony, heterogeneous resources, consisting of software entities, such as Web services, and hardware entities, such as location-tracking devices. This heterogeneity, compounded with the intricacies of underlying technologies, make the programming of new telephony applications a daunting task. This paper proposes an approach to supporting the development of advanced telephony applications. To do so, we introduce a declarative language over Java to define the entities of a target telephony application area. This definition is passed to a generator to produce a Java programming framework, dedicated to the application area. The generated frameworks provide service discovery and high-level communication mechanisms. These mechanisms are automatically mapped into SIP, making our approach compatible with existing SIP infrastructures and entities. Our work is implemented and has been validated on various advanced telephony applications. },
   DOI = {10.1007/978-3-540-89054-6_1},
   ISBN = {978-3-540-89053-9},
   OPTISSN = {},
   KEYWORDS = {IP Telephony, SIP, Middleware, Generation, Programming Framework, DiaGen},
   URL = {http://hal.inria.fr/inria-00333609/},
   OPTURL-PUBLISHER = {},
   PDF = {http://hal.inria.fr/docs/00/33/36/09/PDF/jouve-al_iptcomm08.pdf},
   PS = {http://hal.inria.fr/docs/00/33/36/09/ANNEX/jouve-al_iptcomm08_talk.pdf} 
   }
   




3. J. Mercadal, N. Palix, C. Consel, and J. Lawall. Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services. In Proceedings of the Seventh International Conference on Generative Programming and Component Engineering (GPCE), pages 149-160, October 2008. ACM. ISBN: 978-1-60558-267-2. Keyword(s): Pantaxou, Generation, Programming Framework. Abstract:

   Coordinating entities in a networked environment has always been a significant challenge for software developers. In recent years, however, it has become even more difficult, because devices have increasingly rich capabilities, combining an ever larger range of technologies (networking, multimedia, sensors, etc.). To address this challenge, we propose a language-based approach to covering the life-cycle of applications coordinating networked entities. Our approach covers the characterization of the networked environment, the specification of coordination applications, the verification of a networked environment and its deployment. It is carried out in practice by a domain-specific language, named Pantaxou. This paper presents the domain-specific language Pantaxou, dedicated to the development of applications for networked heterogeneous entities. Pantaxou has been used to specify a number of coordination scenarios in areas ranging from home automation to telecommunications. The language semantics has been formally defined and a compiler has been developed. The compiler verifies the coherence of a coordination scenario and generates coordination code in Java.

   
   

   @INPROCEEDINGS{mercadal-palix-al:gpce2008,
   OPTADDRESS = {},
   AUTHOR = {J. Mercadal and N. Palix and C. Consel and J. Lawall},
   BOOKTITLE = {Proceedings of the Seventh International Conference on Generative Programming and Component Engineering (GPCE)},
   OPTEDITOR = {},
   MONTH = {October},
   OPTNOTE = {},
   OPTNUMBER = {},
   OPTORGANIZATION = {},
   PAGES = {149--160},
   PUBLISHER = {ACM},
   OPTSERIES = {},
   TITLE = {Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services},
   OPTVOLUME = {},
   YEAR = {2008},
   ABSTRACT = {Coordinating entities in a networked environment has always been a significant challenge for software developers. In recent years, however, it has become even more difficult, because devices have increasingly rich capabilities, combining an ever larger range of technologies (networking, multimedia, sensors, etc.). To address this challenge, we propose a language-based approach to covering the life-cycle of applications coordinating networked entities. Our approach covers the characterization of the networked environment, the specification of coordination applications, the verification of a networked environment and its deployment. It is carried out in practice by a domain-specific language, named Pantaxou. This paper presents the domain-specific language Pantaxou, dedicated to the development of applications for networked heterogeneous entities. Pantaxou has been used to specify a number of coordination scenarios in areas ranging from home automation to telecommunications. The language semantics has been formally defined and a compiler has been developed. The compiler verifies the coherence of a coordination scenario and generates coordination code in Java.},
   DOI = {10.1145/1449913.1449936},
   ISBN = {978-1-60558-267-2},
   OPTISSN = {},
   KEYWORDS = {Pantaxou, Generation, Programming Framework},
   URL = {http://hal.inria.fr/inria-00333637/},
   OPTURL-PUBLISHER = {},
   PDF = {http://hal.inria.fr/docs/00/33/36/37/PDF/mercadal-al_gpce08.pdf} 
   }
   

1. Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, and Laurent Réveillère. Routing device for an IP telephony system. European Patent no. EP1887774, February 2008.
   

   @MISC{BURGY:2008:INRIA-00350014:1,
   AUTHOR = {Laurent Burgy and Charles Consel and Fabien Latry and Nicolas Palix and Laurent Réveillère},
   HOWPUBLISHED = {European Patent no. EP1887774},
   MONTH = {February},
   OPTNOTE = {},
   TITLE = {Routing device for an IP telephony system},
   YEAR = {2008},
   OPTABSTRACT = {},
   OPTDOI = {},
   OPTISBN = {},
   OPTISSN = {},
   OPTKEYWORDS = {},
   URL = {http://hal.inria.fr/inria-00350014/},
   OPTURL-PUBLISHER = {},
   PDF = {http://www.freepatentsonline.com/EP1887774.pdf} 
   }
   

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html