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.
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.
| Original language | English |
|---|---|
| Title of host publication | GPCE 08 : Proceedings of the ACM SIGPLAN seventh International Conference on Generative Programming and Component Engineering, Nashville, Tennessee, USA, October 19-23, 2008 |
| Publisher | Association for Computing Machinery |
| Publication date | 2008 |
| Pages | 149-160 |
| ISBN (Print) | 978-1-60558-267-2 |
| DOIs | |
| Publication status | Published - 2008 |
| Event | ACM SIGPLAN international Conference on Generative programming and component engineering - Nashville, TN, United States Duration: 19 Oct 2008 → 20 Oct 2008 Conference number: 7 |
Conference
| Conference | ACM SIGPLAN international Conference on Generative programming and component engineering |
|---|---|
| Number | 7 |
| Country/Territory | United States |
| City | Nashville, TN |
| Period | 19/10/2008 → 20/10/2008 |