Requirements and Specification Exemplars
Automated Software Engineering
Proceedings of the First International Conference on Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Task Modelling for Context-Sensitive User Interfaces
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Advanced Interaction in Context
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
Contextual ConcurTaskTrees: Integrating dynamic contexts in task based design
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Designing mediation for context-aware applications
ACM Transactions on Computer-Human Interaction (TOCHI)
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A data-oriented survey of context models
ACM SIGMOD Record
State of the Art of QVT: A Model Transformation Language Standard
Applications of Graph Transformations with Industrial Relevance
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
Model-driven dynamic generation of context-adaptive web user interfaces
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification
IEEE Transactions on Software Engineering
Subjective-C: bringing context to mobile platform programming
SLE'10 Proceedings of the Third international conference on Software language engineering
CAP3: context-sensitive abstract user interface specification
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
CUP 2.0: high-level modeling of context-sensitive interactive applications
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Disseminating active map information to mobile hosts
IEEE Network: The Magazine of Global Internetworking
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
Fundamenta Informaticae
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
| Hi-index | 0.00 |
Context-aware computing is a paradigm for governing the numerous mobile devices surrounding us. In this computing paradigm, software applications continuously and dynamically adapt to different "contexts" implying different software configurations of such devices. Unfortunately, modelling a context-aware application (CAA) for all possible contexts is only feasible in the simplest of cases. Hence, tool support verifying certain properties is required. In this article, we introduce the CAA model, in which context adaptations are specified explicitly as model transformations. By mapping this model to graphs and graph transformations, we can exploit graph transformation techniques such as critical pair analysis to find contexts for which the resulting application model is ambiguous. We validate our approach by means of an example of a mobile city guide, demonstrating that we can identify subtle context interactions that might go unnoticed otherwise.