Coordinating entities in a networked environment has always been a signiﬁcant challenge for software developers. In recent years, however, it has become even more difﬁcult, 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 speciﬁcation of coordination applications, the veriﬁcation of a networked environment and its deployment. It is carried out in practice by a domain-speciﬁc language, named Pantaxou. This paper presents the domain-speciﬁc 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 deﬁned and a compiler has been developed. The compiler veriﬁes the coherence of a coordination scenario and generates coordination code in Java.
In order to set up a list of libraries that you have access to,
you must first login
or sign up.
Then set up a personal list of libraries from your profile page by
clicking on your user name at the top right of any screen.