Pierre Combes

Learn More
" MSCs to express service requirements as properties on an SDL model: application to service interaction detection " " Introducing formal notations in the development of object-based distributed applications " Círculo Español para la Calidad en Telecomunicación (CEICAT) 1996 " Un enfoque para la formalización del desarrollo de aplicaciones distribuidas(More)
We apply the language of live sequence charts (LSCs) and the Play-Engine tool to a real-world complex telecommunication service. The service, called Depannage, allows a user to make a phone call and ask for help from a doctor, the fire brigade, a car maintenance service, etc. This kind of service is built on top of an embedded platform, using both new and(More)
The scope of this paper is the development of a method supported by tools for the qualification of distributed functional architectures. Architecture qualification is concerned by the analysis of Quality of service criteria, such as performance, and resource dimensioning. This qualification implies the modelling of the functional architecture and its(More)