ACM Transactions on Programming Languages and Systems (TOPLAS)
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Project Aura: Toward Distraction-Free Pervasive Computing
IEEE Pervasive Computing
Computer
Model Checking TLA+ Specifications
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
At Home with Ubiquitous Computing: Seven Challenges
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
Ubiquitous Computing: Omnipresent Technology in Support of Network Centric Warfare
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 1 - Volume 1
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
One.world: Experiences with a Pervasive Computing Architecture
IEEE Pervasive Computing
Topiary: a tool for prototyping location-enhanced applications
Proceedings of the 17th annual ACM symposium on User interface software and technology
Olympus: A High-Level Programming Model for Pervasive Computing Environments
PERCOM '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications
Supporting small groups in the museum by context-aware communication services
Proceedings of the 12th international conference on Intelligent user interfaces
Rapid Prototyping for Pervasive Applications
IEEE Pervasive Computing
Generative Programming Approach for Building Pervasive Computing Applications
SEPCASE '07 Proceedings of the 1st International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments
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
A SIP-Based Programming Framework for Advanced Telephony Applications
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Pervasive '08 Proceedings of the 6th International Conference on Pervasive Computing
iCAP: interactive prototyping of context-aware applications
PERVASIVE'06 Proceedings of the 4th international conference on Pervasive Computing
Towards a tool-based development methodology for sense/compute/control applications
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
User-configurable semantic home automation
Computer Standards & Interfaces
DiaSuite: A tool suite to develop Sense/Compute/Control applications
Science of Computer Programming
| Hi-index | 0.00 |
Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution makes the development of pervasive computing applications challenging because it requires to manage a range of heterogeneous entities with a wide variety of functionalities. This paper presents Pantagruel, an approach to integrating a taxonomical description of a pervasive computing environment into a visual programming language. A taxonomy describes the relevant entities of a given pervasive computing area and serves as a parameter to a sensor-controller-actuator development paradigm. The orchestration of area-specific entities is supported by high-level constructs, customized with respect to taxonomical information. We have implemented a visual environment to develop taxonomies and orchestration rules. Furthermore, we have developed a compiler for Pantagruel and successfully used it for applications in various pervasive computing areas, such as home automation and building management.