http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM6ConselWG211/M6Consel - Revision history2026-04-05T22:42:46ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/M6Consel&diff=195&oldid=prevAdmin: 1 revision2011-12-12T10:06:26Z<p>1 revision</p>
<p><b>New page</b></p><div>[[Category:WG211]]<br />
<br />
<br />
<h2>Pantaxou: a Domain-Specific Language for Developing Safe Coordination<br />
Services</h2><br />
<br />
<h3>Charles Consel</h3><br />
<br />
Coordinating entities in a networked environment has always been a<br />
significant challenge for software developers. In recent years, however,<br />
it has become even more difficult, because devices have increasingly rich<br />
capabilities, combining an ever larger range of technologies (networking,<br />
multimedia, sensors, etc.).<br />
<br />
To address this challenge, we propose a language-based approach to<br />
covering the life-cycle of applications coordinating networked<br />
entities. Our approach covers the characterization of the networked<br />
environment, the specification of coordination applications, the<br />
verification of a networked environment and its deployment. It is<br />
carried out in practice by a domain-specific language, named<br />
Pantaxou.<br />
<br />
This talk presents the domain-specific language Pantaxou, dedicated<br />
to the development of applications for networked heterogeneous<br />
entities. Pantaxou has been used to specify a number of coordination<br />
scenarios in areas ranging from home automation to<br />
telecommunications. The language semantics has been formally defined<br />
and a compiler has been developed. The compiler verifies the<br />
coherence of a coordination scenario and generates coordination code<br />
in Java.</div>Admin