This paper proposes an approach to translating a use case diagram into an executable context-aware ambients. The requirements of a context-aware system is captured and represented in an extension of UML use case diagrams called context-aware use case diagrams. Then an algorithm is proposed that translate a context-aware use case diagram into a process in the Calculus of Context-aware Ambients (CCA). This process can then be analysed using the CCA simulator. The proposed approach is evaluated using a real-word example of a context-aware collision avoidance system
In this report, an overview of research into context-awareness modelling is presented. We also give ...
The Calculus of Context-aware Ambients (CCA in short) has been proposed as a notation that is suitab...
According to a recent definition by Dey and Abowd context is any information that can be used to cha...
Use case diagrams are an excellent tool for capturing and analyzing the functional requirements of a...
Context-aware applications have the ability to sense the context of the user and use the sensed cont...
Context-aware computing envisions a new generation of smart applications that have the ability to pe...
The Calculus of Context-aware Ambients (CCA) was proposed as a formalism for modelling context-aware...
AbstractWe present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verif...
We present a process calculus, CCA, for the modelling and verification of mobile systems that are co...
The paper describes an approach of using the case-based reasoning methodology in context-aware syste...
Pervasive (ubiquitous) computing is a new paradigm where the computers are submerged into the backgr...
We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification ...
We present a process calculus, CCA, for the modelling and verification of mobile systems that are co...
There is a definite lack of formal support for modeling real- istic context-awareness in pervasive c...
The purpose of this paper is to explore the similarities and differences and then argue for the pote...
In this report, an overview of research into context-awareness modelling is presented. We also give ...
The Calculus of Context-aware Ambients (CCA in short) has been proposed as a notation that is suitab...
According to a recent definition by Dey and Abowd context is any information that can be used to cha...
Use case diagrams are an excellent tool for capturing and analyzing the functional requirements of a...
Context-aware applications have the ability to sense the context of the user and use the sensed cont...
Context-aware computing envisions a new generation of smart applications that have the ability to pe...
The Calculus of Context-aware Ambients (CCA) was proposed as a formalism for modelling context-aware...
AbstractWe present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verif...
We present a process calculus, CCA, for the modelling and verification of mobile systems that are co...
The paper describes an approach of using the case-based reasoning methodology in context-aware syste...
Pervasive (ubiquitous) computing is a new paradigm where the computers are submerged into the backgr...
We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification ...
We present a process calculus, CCA, for the modelling and verification of mobile systems that are co...
There is a definite lack of formal support for modeling real- istic context-awareness in pervasive c...
The purpose of this paper is to explore the similarities and differences and then argue for the pote...
In this report, an overview of research into context-awareness modelling is presented. We also give ...
The Calculus of Context-aware Ambients (CCA in short) has been proposed as a notation that is suitab...
According to a recent definition by Dey and Abowd context is any information that can be used to cha...