Context-aware adaptive applications: Fault patterns and their automated identification

M Sama, S Elbaum, F Raimondi… - IEEE Transactions …, 2010 - ieeexplore.ieee.org
Applications running on mobile devices are intensely context-aware and adaptive. Streams
of context values continuously drive these applications, making them very powerful but, at …

Afchecker: Effective model checking for context-aware adaptive applications

Y Liu, C Xu, SC Cheung - Journal of Systems and Software, 2013 - Elsevier
Context-aware adaptive applications continually sense and adapt to their changing
environments. A large body of such applications relies on user-configured adaptation rules …

Formal verification of a pervasive messaging system

S Konur, M Fisher, S Dobson, S Knox - Formal Aspects of Computing, 2014 - Springer
As ubiquitous computing becomes a reality, its applications are increasingly being used in
business-critical, mission-critical and even in safety-critical, areas. Such systems must …

Damasco: A framework for the automatic composition of component-based and service-oriented architectures

J Cubo, E Pimentel - European Conference on Software Architecture, 2011 - Springer
Although the reuse of software entities has matured in recent years, it has not become
standard practice yet, since reusing component-based or service-oriented architectures …

Behaviour-aware compositions of things

J Cubo, A Brogi, E Pimentel - 2012 IEEE International …, 2012 - ieeexplore.ieee.org
The new Internet has led the evolution of the Ubiquitous Web to integrate physical world
entities into virtual world things. Thus, Internet is evolving into the vision of the Internet of …

Fault repairing strategy selector for service-oriented architecture

GP Bhandari - International Journal of Modern Education and …, 2017 - mecs-press.org
The success of a service oriented computing significantly depends on its reliability and
availability. To achieve better reliability and availability, any fault of the service oriented …

Test-and-adapt: An approach for improving service interchangeability

G Denaro, M Pezzè, D Tosi - ACM Transactions on Software …, 2013 - dl.acm.org
Service-oriented applications do not fully benefit from standard APIs yet, and many
applications fail to use interchangeably all the services that implement a standard service …

[PDF][PDF] Context-Aware Composition and Adaptation based on Model Transformation.

J Cubo, C Canal, E Pimentel - J. Univers. Comput. Sci., 2011 - cadp.inria.fr
Using pre-existing software components (COTS) to develop software systems requires the
composition and adaptation of the component interfaces to solve mismatch problems. These …

Towards behaviour-aware compositions of things in the Future Internet

J Cubo, A Brogi, E Pimentel - … of the 2nd International Workshop on …, 2012 - dl.acm.org
Nowadays Internet is evolving into the vision of the Internet of Things where everyday life
objects, devices or things are identifiable, readable, recognizable, addressable, and even …

A method for model checking context-aware exception handling

LS Rocha, RMC Andrade… - 2013 27th Brazilian …, 2013 - ieeexplore.ieee.org
The context-aware exception handling (CAEH) is an error recovery technique employed to
improve the ubiquitous software robustness. In the design of CAEH, context conditions are …