EMBASSI: multimodal assistance for universal access to infotainment and service infrastructures
WUAUC'01 Proceedings of the 2001 EC/NSF workshop on Universal accessibility of ubiquitous computing: providing for the elderly
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Towards Requirements for Enactment Mechanisms
EWSPT '94 Proceedings of the Third European Workshop on Software Process Technology
At Home with Ubiquitous Computing: Seven Challenges
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
EasyLiving: Technologies for Intelligent Environments
HUC '00 Proceedings of the 2nd international symposium on Handheld and Ubiquitous Computing
Developing Ambient Intelligence Systems: A Solution based on Web Services
Automated Software Engineering
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Managing Technical Processes Using Smart Workflows
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Using AI planning and late binding for managing service workflows in intelligent environments
PERCOM '11 Proceedings of the 2011 IEEE International Conference on Pervasive Computing and Communications
Mobile process description and execution
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Worklets: a service-oriented implementation of dynamic flexibility in workflows
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
| Hi-index | 0.00 |
Specifying interaction between users and smart environments is an important topic in pervasive computing. Both imperative and declarative languages have been investigated in this context. Declarative approaches require more abstract thinking and higher modeling effort but enable greater flexibility. A survey of related work suggests, however, that the high modeling effort of declarative approaches is prohibitive to their practical application. In contrast, imperative approaches lead to static control-flow and over-specification. Still, they are used, mainly due to their simplicity. Our approach supports a systematic transformation process from imperative models to declarative ones. Our method comprises an imperative, workflow-based language that we extended with novel declarative constructs and an algorithm for converting imperative models into declarative ones. Our approach requires only a modest level of declarative specification literacy for reaching a degree of flexibility that formerly only expert designers could achieve with hand-crafted declarative models.