Inevitably, reading is one of the requirements to be undergone. To improve the performance and quality, someone needs to have something new every day. It will suggest you to have more inspirations, then. However, the needs of inspirations will make you searching for some sources. Even from the other people experience, internet, and many books. Books and internet are the recommended media to help you improving your quality and performance.

Feature-Oriented Software Product Lines

Software-product-line engineering has gained considerable momentum in recent years, both in industry and in academia. A software product line is a family of software products that share a common set of features. Software product lines challenge traditional analysis techniques, such as type checking, model checking, and theorem proving, in their quest of ensuring correctness and reliability of software. Simply creating and analyzing all products of a product line is usually not feasible, due to the potentially exponential number of valid feature combinations. Recently, researchers began to develop analysis techniques that take the distinguishing properties of software product lines into account, for example, by checking feature-related code in isolation or by exploiting variability information during analysis. The emerging field of product-line analyses is both broad and diverse, so it is difficult for researchers and practitioners to understand their similarities and differences. We propose a classification of product-line analyses to enable systematic research and application. Based on our insights with classifying and comparing a corpus of 123 research articles, we develop a research agenda to guide future research on product-line analyses.

https://www.infosun.fim.uni-passau.de/publications/docs/TAK14.pdf

A Classification and Survey of Analysis Strategies for Software Product Lines

Feature-oriented software development (FOSD) is a paradigm for the construction, customization, and synthesis of large-scale software systems. In this survey, we give an overview and a personal perspective on the roots of FOSD, connections to other software development paradigms, and recent developments in this field. Our aim is to point to connections between different lines of research and to identify open issues.

/pdf/an-overview-of-feature-oriented-software-development-3fxm133tmu.pdf

An Overview of Feature-Oriented Software Development.

http://www.dcs.gla.ac.uk/~muffy/papers/calder-kolberg-magill-reiff.pdf

Feature interaction: a critical review and considered forecast

In product line engineering, systems are developed in families and differences between family members are expressed in terms of features. Formal modelling and verification is an important issue in this context as more and more critical systems are developed this way. Since the number of systems in a family can be exponential in the number of features, two major challenges are the scalable modelling and the efficient verification of system behaviour. Currently, the few attempts to address them fail to recognise the importance of features as a unit of difference, or do not offer means for automated verification. In this paper, we tackle those challenges at a fundamental level. We first extend transition systems with features in order to describe the combined behaviour of an entire system family. We then define and implement a model checking technique that allows to verify such transition systems against temporal properties. An empirical evaluation shows substantial gains over classical approaches.

/pdf/model-checking-lots-of-systems-efficient-verification-of-1vmz0nj6k9.pdf

Model checking lots of systems: efficient verification of temporal properties in software product lines

In the near future general household appliances, such as televisions, refrigerators, alarm clocks, stoves, and even lights, will be supplemented with a network interface connecting them to the Internet. Homes are being equipped with such networked appliances to allow a more convenient way of living. Such extensive automatic control of appliances leads to the concept of the smart home. Behind such automation, there is a lot of software controlling the appliances. This software, often referred to as services, applications, or bundles, is supplied by a range of service provider businesses. Hence, in a single home, appliances may be controlled by a multitude of services offered by a wide variety of different providers. Moreover, some services may require the use of other services. Importantly, these businesses are completely independent and may not even be aware of one another or their products. Hence, appliances may be controlled by more than one service, and indeed these controlling services are often trying to achieve different goals. This causes compatibility issues that need to be resolved for networked appliances to be successful in the mass market. This problem is well known in telephony and historically is referred to as the feature interaction problem. This article discusses the issue of compatibility between services in a home environment. Reasons why and how services interact are discussed, and a taxonomy of interactions is presented. Finally, an approach is presented that prevents interactions. The approach presented uses accepted and known device and protocol interworking techniques. Throughout the article a number of example scenarios are used to illustrate the issues. However, the emphasis of the article is not only to present sample services for controlling home appliances or identify specific interactions between such services, but to find a general solution to the feature interaction problem that can automatically detect interactions between services in the home.

/pdf/compatibility-issues-between-services-supporting-networked-3vz7z97i1p.pdf

Compatibility issues between services supporting networked appliances

Agent Based Models are very popular in a number of different areas. For example, they have been used in a range of domains ranging from modeling of tumor growth, immune systems, molecules to models of social networks, crowds and computer and mobile self-organizing networks. One reason for their success is their intuitiveness and similarity to human cognition. However, with this power of abstraction, in spite of being easily applicable to such a wide number of domains, it is hard to validate agent-based models. In addition, building valid and credible simulations is not just a challenging task but also a crucial exercise to ensure that what we are modeling is, at some level of abstraction, a model of our conceptual system; the system that we have in mind. In this paper, we address this important area of validation of agent based models by presenting a novel technique which has broad applicability and can be applied to all kinds of agent-based models. We present a framework, where a virtual overlay multi-agent system can be used to validate simulation models. In addition, since agent-based models have been typically growing, in parallel, in multiple domains, to cater for all of these, we present a new single validation technique applicable to all agent based models. Our technique, which allows for the validation of agent based simulations uses VOMAS: a Virtual Overlay Multi-agent System. This overlay multi-agent system can comprise various types of agents, which form an overlay on top of the agent based simulation model that needs to be validated. Other than being able to watch and log, each of these agents contains clearly defined constraints, which, if violated, can be logged in real time. To demonstrate its effectiveness, we show its broad applicability in a wide variety of simulation models ranging from social sciences to computer networks in spatial and non-spatial conceptual models.

/pdf/verification-validation-of-agent-based-simulations-using-the-1ykmw3ddd5.pdf

Verification & Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) approach.

Disclosed herein are systems, methods, and non-transitory computer-readable storage media for communicating via a multi-model collaboration space. A system practicing the method first assigns a communication endpoint identifier to a multi-model collaboration space having at least one entity. The endpoint identifier can be a telephone, email address, IP address, or username, for example. The system receives an incoming communication addressed to the communication endpoint identifier, such as a telephone call or email, and transfers the incoming communication to at least one entity in the multi-model collaboration space. In one aspect, the multi-model collaboration space provides a shared persistent container where entities can perform collaboration activities. The entities can have unique identities. The entities can be humans and/or automated, non-human, system-owned entities. Entities can share their context-specific view of the multi-model collaboration space with other entities. Such a multi-model collaboration space can be used in an enterprise environment.

System and method for multi-model, context-sensitive, real-time collaboration

This paper discusses the benefits of a proposed Session Initiation Protocol (SIP)-based device communication Service for deployment on a Mobile Open Services Gateway Initiative (OSGi) framework. Mobile OSGi deployment provides a gateway to a mobile user’s Personal Area Network (PAN). When the SIP Service is deployed in OSGi, it is possible to bridge multiple devices and gateways, offering device and service mobility as users traverse multiple mobile and home networks. Additionally, the SIP Service provides protocol bridging via bridging bundles and grants application layer mobility to OSGi services. In this paper, we discuss a novel architecture, based on the deployment of the SIP Service in a mobile OSGi framework, which effectively delivers PAN and home network device interoperability. Finally, we offer a use case scenario and analysis of its implementation using our proposed architecture.

/pdf/a-sip-based-osgi-device-communication-service-for-mobile-1ltvslf5go.pdf

Mario Kolberg

Papers

Feature interaction: a critical review and considered forecast

Compatibility issues between services supporting networked appliances

Verification & Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) approach.

System and method for multi-model, context-sensitive, real-time collaboration

A SIP-based OSGi device communication service for mobile personal area networks