Faculty C. Chaudet (RMS team), A. Diaconescu, I. Demeure, Annie Gentes (SES department), S. Tardieu.
Main events and external collaborations Pierre Sens (REGAL team, LIP6, UPMC).
Projects Transhumance (ANR 2006-2009), DIAFORUS (ANR 2009-2012), 2 EDITE PhD grants (sources: MESR and CNAM).
Distributed systems built on top of ad-hoc networks, must adapt to the evolving topology of such networks. When the network involves limited capabilities such as sensors and smartphones, they must also take these limitations into account. This work seeks to develop middleware solu- tions and distributed algorithms adapted to these constraints.
We have designed publish/subscribe based middleware solutions and distributed algorithms for information dissemination and information sharing targeting systems relying on ad-hoc net- works.
In a first project, we were concerned with the design and development of a middleware for a small scale mobile ad-hoc network of internet tablets. We designed and developed an energy- aware publish/subscribe middleware robust to the frequent disconnections that occur in mobile ad-hoc networks when participants are moving. At the time when this research was conducted, we could not find an equivalent solution. Another contribution of this project was the design of original distributed algorithms for data sharing in stable neighborhoods in such networks. They used semantic information to do statistical replication of data over the participant devices. The project was conducted with a scenario-driven approach. This allowed us to design and develop a treasure hunting game that very well demonstrated the essence and the results of the project.
In a second ongoing project, we are concerned with the design of a publish/subscribe based middleware for a wireless sensor network. We are currently designing a solution taking into con- sideration the limited capabilities of the network nodes as well as the limited energy (the sensors are battery operated). The choice of the proper number of publish/subscribe brokers as well as their placement is a key problem. Finally, we are investigating algorithmic solutions for information dissemination in large-scale ad-hoc networks. We have proposed a new criterion named ”effec- tual fanout” for the comparative study of epidemic algorithms over a variety of random topologies.
5.2.7
Architecting convergent and orchestrated services
Faculty E. Najm
Main events and external collaborations K. Sbata (Orange Labs). Projects MOTELI (Digiteo), Orange bilateral project, PhD CIFRE.
This work is concerned with architectures and engineering methods for the provision of Web and Telco services. The general endeavour is to foster a business model offering rich and con- vergent services. Our results are twofold: the first is related to an end-to-end architecture for convergent Web and Telco services. The second addresses the issue of enforcing compatibility between orchestrated web services. We describe these two results hereafter.
Over the last few years, significant evolutions such as the mobile phones’ enhanced Web- browsing capabilities and the technical incursion of Web major players into the Telco world (e.g. Google, Facebook) have reduced the gap between Telecom and Web worlds. In this context, converging IMS (Internet Multimedia Subsystems) and Web service platforms have become a key challenge that needs to be addressed by both Web and telecom players. Several interesting solutions, illustrating different convergence approaches, have been proposed so far. Unfortu- nately, none of them has been able to provide an efficient way to set up end-to-end converging services. Indeed, Web-based applications are synchronous, as they rely on HTTP. On the other hand, IMS services can be provided in both asynchronous and synchronous modes. We define synchronous applications as services in which each provided resource or piece of information has to be explicitly requested by the consumer and asynchronous applications as services that can notify their consumers anytime they need. But recently, the W3C and the IETF have re- leased new standards (HTML5 and Websocket protocol), introducing important evolutions in the Web paradigm. In particular, the Websocket technology allows a native support for asynchronous Web applications. Our proposal is a converging framework (called WSE, standing for WebSocket Enabler) that takes advantage of this new technology to achieve end-to-end service convergence. In the context of web services described using the BPEL orchestration language, services may interact in an inappropriate and incompatible manner resulting in run-time errors and/or complex exception handling when unexpected messages or when messages containing values with unex- pected types are received. Current approaches to solve this problem are limited to checking the syntactic compatibility between sent and received operations. Our approach to solve this issue is using a session based approach. We enhanced BPEL with the session paradigm, and we made sessions as first class citizens. During a session, a client and a service can engage in a complex series of interactions. We introduced session types in order to prescribe the correct orderings of these interactions. Service providers must declare their provided and required session types. We defined also a typing algorithm that checks if an orchestrated service behaves according to its declared provided and required types. Using compatibility and a subtyping relation defined on session types, we show that any collection of well typed service partners with compatible session types are interaction safe, i.e., no message comes unexpected to any of the involved partners.
5.3
References
5.3.1
ACL: Articles in ISI-Indexed Journals
[552] J. Bourcier, A. Diaconescu, P. Lalanda, and J. McCann. Autohome: an autonomic management framework for pervasive home applications. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 6(1):8:1–8:10, Jan. 2011.
[553] A. Gentes, A. Guyot-Mbodji, and I. Demeure. Gaming on the move: Urban experience as a new paradigm for mobile pervasive game design. Springer Multimedia Systems Journal, 16(1), Jan. 2010. [554] A. R. Khakpour and I. Demeure. Chapar: A persistent overlay event system for manet. Mobile
Networks and Applications, 15(6):866–875, Nov. 2010.
5.3.2
ACTIP: Articles in Proceedings of Major International Conferences
[555] E. Borde and J. Carlson. Towards verified synthesis of procom, a component model for real-time embedded systems. In 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE), pages 129–138, Boulder USA, June 2011. ACM.
[556] C. Chaudet, I. Demeure, and S. Ktari. A model to evaluate performance of a multi-brokers overlay for publish/subscribe in wireless sensor networks. In 9th International Conference on Wireless On- demand Network Systems and Services, Courmayeur, Italy, Jan. 2012.
[557] M. Lafaye, D. Faura, M. Gatti, and L. Pautet. Model driven early exploration of ima execution platform. In IEEE Digital Avionics Systems Conference, Seattle, USA, Oct. 2011.
[558] M. Lafaye, L. Pautet, E. Borde, M. Gatti, and D. Faura. Model driven resource usage simulation for critical embedded systems. In IEEE/ACM Design, Automation, and Test in Europe, Dresde, Mar. 2012.
[559] Y. Maurel, A. Diaconescu, and P. Lalanda. Ceylon : A service-oriented framework for building au- tonomic managers. In 7th IEEE Conference and Workshops on Engineering of Autonomic and Au- tonomous Systems (EASe), Oxford, England, Mar. 2010.
[560] Y. Maurel, P. Lalanda, and A. Diaconescu. Towards introspectable, adaptable and extensible auto- nomic managers. In International Conference on Network and Service Management, Oct. 2011. [561] Y. Maurel, P. Lalanda, and A. Diaconescu. Towards a service-oriented component model for auto-
nomic management. In IEEE International Conference on Services Computing (SCC), Washington, DC, USA, July 2011.
[562] G. Nicolas, K. Sbata, and E. Najm. Architecting end-to-end convergence of web and telco services. In iiWAS, Ho Chi Minh, Vietnam, Dec. 2011. ACM.
[563] S. Tardieu and A. Polti. Complementing ada with other programming languages. In ACM SIGAda international conference on Ada, pages 105–114, St. Petersburg, Florida, USA, Nov. 2009.
5.3.3
ACLN: Articles in Other Refereed Journals
[564] J. Delange, L. Pautet, A. Plantec, M. Kerboeuf, F. Singhoff, and F. Kordon. Validate, simulate, and implement arinc653 systems using the aadl. Ada Lett., 29:31–44, November 2009. ISSN 1094-3641. doi: http://doi.acm.org/10.1145/1653616.1647435. URL http://doi.acm.org/10.1145/1653616. 1647435.
[565] J. Delange, L. Pautet, and F. Kordon. Model Based Approach for the configuration of ARINC653 embedded systems, chapter Model Based Approach for the configuration of ARINC653 embedded systems. IGI Global, Hershey, PA 17033, USA, 2010.
[566] J. Mathieu, C. Jouvray, F. Kordon, A. Kung, J. Lalande, F. Loiret, J. Navas, L. Pautet, and J. Pu- lou. Flex-eware: a flexible mde-based solution for designing and implementing embedded distributed systems. Software Practice and Experience, Dec. 2011.
[567] L. Pautet and et al. Couverture: an innovative open framework for coverage analysis of safety critical applications. Ada User Journal, 30(4):248 – 255, Dec. 2009.
5.3.4
INV: Invited Talks
[568] E. Najm. Service orchestration with orcharts and typecharts. In Seminaire INRIA, Rennes, France, Mar. 2010.
[569] E. Najm. Enforcing compatibility between web services. In Invited Seminar at KAIST, Daejeon, South Korea, Dec. 2011.
[570] E. Najm. Why don’t our services get along? In Invited Seminar at Postech, Pohang, South Korea, Dec. 2011.
[571] E. Najm. Controllability of orchestrated sessions. In Invited Talk - WWV’11, 7th Int’l Workshop on Automated Specification and Verification of Web Systems, Reykjavik, Iceland, June 2011.
5.3.5
ACTI: Articles in Proceedings of other International Conferences
5.3.6
ACTN: Articles in Proceedings of French Conferences
[572] S. Frey, F. Huguet, I. Demeure, A. Diaconescu, D. Menga, and C. Mivielle. Sc ´enarios pour un micro smart grid autonomique. In UbiMob, pages 88–95, Toulouse, France, June 2011. ISBN : 978-2- 917490-16-7.
[573] A. Polti and S. Tardieu. D’ ´el `eve `a coll `egue en 10 semaines. In Questions de p ´edagogies dans l’enseignement sup ´erieur, Angers, France, June 2011.
[574] B. H. Rodriguez, J.-C. Moissinac, and I. Demeure. Multimodal services for the pervasive semantic web. In UBIMOB 2010, Lyon, June 2010.
5.3.7
COM: Talks in Conferences Which Do Not Publish Proceedings
[575] A. Diaconescu, D. Bassem, and P. Lalanda. Self-growing software from architectural blueprints. In Morphogenetic Engineering Workshop (MEW), European Conference on Artificial Life (ECAL), Paris, France, Aug. 2011.
5.3.8
OS: Books and Book Chapters
[576] S. Haddad, F. Kordon, L. Pautet, and L. Petrucci. Distributed Systems: Design and Algorithms. Wiley, 2011.
[577] S. Haddad, F. Kordon, L. Pautet, and L. Petrucci. Models and Analysis in Distributed Systems. Wiley, 2011.
1 Research Report
Télécom ParisT