Characterizing Interoperability in Context-Aware Software Systems

Author(s):  
Rebeca Campos Motta ◽  
Kathia Marcal De Oliveira ◽  
Guilherme Horta Travassos
Author(s):  
Stephan Reiff-Marganiec ◽  
Yi Hong ◽  
Hong Qing Yu ◽  
Schahram Dustdar ◽  
Christoph Dorn ◽  
...  

Collaborative Work Environments are software systems that allow teams, which are nowadays often distributed in location and organization to which they belong, to achieve certain projects or activities. In recent years, the available computer tools that can support such activities have grown; however, their integration is not necessarily achieved. Furthermore, users of such systems need to typically provide a large amount of setup information as the systems are not context-aware and hence cannot gather information about user activities in a simple way, and almost certainly will falter when the context of users changes. This chapter describes the inContext approach: a collection of novel techniques and a reference architecture to support integration of tools and context information to provide collaborative work environments for the mobile worker of today. We will explore in detail how collaborative services are selected and how context is modeled, and consider the details of team forms.


Algorithms ◽  
2021 ◽  
Vol 14 (11) ◽  
pp. 335
Author(s):  
Hongwei Wei ◽  
Guanjun Lin ◽  
Lin Li ◽  
Heming Jia

Exploitable vulnerabilities in software systems are major security concerns. To date, machine learning (ML) based solutions have been proposed to automate and accelerate the detection of vulnerabilities. Most ML techniques aim to isolate a unit of source code, be it a line or a function, as being vulnerable. We argue that a code segment is vulnerable if it exists in certain semantic contexts, such as the control flow and data flow; therefore, it is important for the detection to be context aware. In this paper, we evaluate the performance of mainstream word embedding techniques in the scenario of software vulnerability detection. Based on the evaluation, we propose a supervised framework leveraging pre-trained context-aware embeddings from language models (ELMo) to capture deep contextual representations, further summarized by a bidirectional long short-term memory (Bi-LSTM) layer for learning long-range code dependency. The framework takes directly a source code function as an input and produces corresponding function embeddings, which can be treated as feature sets for conventional ML classifiers. Experimental results showed that the proposed framework yielded the best performance in its downstream detection tasks. Using the feature representations generated by our framework, random forest and support vector machine outperformed four baseline systems on our data sets, demonstrating that the framework incorporated with ELMo can effectively capture the vulnerable data flow patterns and facilitate the vulnerability detection task.


Author(s):  
Sahar Elshafei ◽  
◽  
Ehab Hassanein ◽  
Hanan Elazhary ◽  
◽  
...  

Context-awareness enables systems to be tailored to the needs of users and their real circumstances at certain times. A noteworthy trend in software development is that an increasing number of software systems are being developed by individuals with expert knowledge in other sectors. Because most of the current context-aware development toolkits are intended for software developers, these types of systems cannot be easily developed by non-technical consumers. The development of tools for designing context-aware frameworks by consumers who are not programming experts but are specialists in the area of implementation would result in faster adoption of such services by businesses. This paper provides a cloud-based framework for people without programming experience to create context-aware mobile applications. The platform can provide a lightweight distribution of packaged applications that allows experts to send specified information to mobile users based on their context data without overlapping between the rules of the application. An energy-efficient mobile application was developed to acquire contextual information from the user device and to create quality data accordingly. The framework adopts Platform as a Service (PaaS) and containerization to facilitate development of context-aware mobile applications by experts in various domains rather than developing a tool for each domain in isolation, while considering multitenancy.


Author(s):  
Ning Gui ◽  
Vincenzo De Florio ◽  
Chris Blondia

Autonomous Robots normally perform tasks in unstructured environments, with little or no continuous human guidance. This calls for context-aware, self-adaptive software systems. This paper aims at providing a flexible adaptive middleware platform to seamlessly integrate multiple adaptation logics during the run-time. To support such an approach, a reconfigurable middleware system “ACCADA” was designed to provide compositional adaptation. During the run-time, context knowledge is used to select the most appropriate adaptation modules so as to compose an adaptive system best-matching the current exogenous and endogenous conditions. Together with a structure modeler, this allows robotic applications’ structure to be autonomously (re)-constructed and (re)-configured. This paper applies this model on a Lego NXT robot system. A remote NXT model is designed to wrap and expose native NXT devices into service components that can be managed during the run-time. A dynamic UI is implemented which can be changed and customized according to system conditions. Results show that the framework changes robot adaptation behavior during the run-time.


2014 ◽  
pp. 1956-2013
Author(s):  
Javier Cubo ◽  
Ernesto Pimentel

Reusing of software entities, such as components or services, to develop software systems has matured in recent years. However, it has not become standard practice yet, since using pre-existing software requires the selection, composition, adaptation, and evolution of prefabricated software parts. Recent research approaches have independently tackled the discovery, composition, or adaptation processes. On the one hand, the discovery process aims at discovering the most suitable services for a request. On the other hand, the adaptation process solves, as automatically as possible, mismatch cases which may be given at the different interoperability levels among interfaces by generating a mediating adaptor based on an adaptation contract. In this chapter, the authors present the DAMASCo framework, which focuses on composing services in mobile and pervasive systems accessed through their public interfaces, by means of context-aware discovery and adaptation. DAMASCo has been implemented and evaluated on several examples.


Author(s):  
Javier Cubo ◽  
Ernesto Pimentel

Reusing of software entities, such as components or services, to develop software systems has matured in recent years. However, it has not become standard practice yet, since using pre-existing software requires the selection, composition, adaptation, and evolution of prefabricated software parts. Recent research approaches have independently tackled the discovery, composition, or adaptation processes. On the one hand, the discovery process aims at discovering the most suitable services for a request. On the other hand, the adaptation process solves, as automatically as possible, mismatch cases which may be given at the different interoperability levels among interfaces by generating a mediating adaptor based on an adaptation contract. In this chapter, the authors present the DAMASCo framework, which focuses on composing services in mobile and pervasive systems accessed through their public interfaces, by means of context-aware discovery and adaptation. DAMASCo has been implemented and evaluated on several examples.


Author(s):  
Katerina Ksystra ◽  
Petros Stefaneas ◽  
Panayiotis Frangos

Context-aware and self adaptive systems have become very popular during the last decade. As these technologies are increasingly used in the development of critical applications, their behavior should be extensively analyzed. While formal methods provide a wide range of techniques for reasoning about software systems, addressing formally the requirements of context-aware adaptive systems in a consistent way remains a challenge. To this end, in this paper we present an algebraic framework for their formal specification using Observational Transition Systems (OTSs) specified in the CafeOBJ algebraic specification language. This approach permits the verification of the design of such systems, and can be an effective approach to obtaining verified context-aware software. We apply the proposed framework to the modeling of a context-aware adaptive traffic monitoring system and use theorem proving techniques to prove safety properties for that system.


2021 ◽  
Vol 132 ◽  
pp. 106509
Author(s):  
Domenico Amalfitano ◽  
Santiago Matalonga ◽  
Guilherme Horta Travassos

Sign in / Sign up

Export Citation Format

Share Document