An overview of Manifold and its implementation
Concurrency: Practice and Experience
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Coordinating autonomous entities with STL
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Gaia: a middleware platform for active spaces
ACM SIGMOBILE Mobile Computing and Communications Review
Interactions Between Objects: An Aspect of Object-Oriented Languages
ECOOP '98 Workshop ion on Object-Oriented Technology
Coordination models and languages
Coordination models and languages
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Olympus: A High-Level Programming Model for Pervasive Computing Environments
PERCOM '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Service Discovery in Pervasive Computing Environments
IEEE Pervasive Computing
YABS:: a domain-specific language for pervasive computing based on stigmergy
Proceedings of the 5th international conference on Generative programming and component engineering
High-level Programming Support for Robust Pervasive Computing Applications
PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
PICO: A Middleware Framework for Pervasive Computing
IEEE Pervasive Computing
A SIP-Based Programming Framework for Advanced Telephony Applications
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
A generative programming approach to developing pervasive computing systems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Hi-index | 0.00 |
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.