Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs

Lancaster Univ., Lancaster
Requirements Engineering Visualization, First International Workshop on 10/2007; DOI: 10.1109/REV.2007.10
Source: IEEE Xplore


Self-adaptation is emerging as a crucial enabling capability for many applications, particularly those deployed in dynamically changing environments. One key challenge posed by Dynamically Adaptive Systems (DASs) is the need to handle changes to the requirements and corresponding behavior of a DAS in response to varying environmental conditions. In this paper we propose a visual model-driven approach that uses the i* modeling language to represent goal models for the DAS requirements. Our approach applies a rigorous separation of concerns between the requirements for the DAS to operate in stable conditions and those that enable it to adapt at run-time to enable it to cope with changes in its environment. We further show how requirements derived from the i* modeling can be used by a domain-specific language to achieve requirements modeldriven development. We describe our experiences with applying this approach to GridStix, an adaptive flood warning system, deployed on the River Ribble in North Yorkshire, England.

Download full-text


Available from: Betty H.C. Cheng
  • Source
    • "Furthermore, they illustrate a conceptual model of an architecture to help address the mentioned problem. In [31], Sawyer et al. use an i* based modeling approach to handle dynamic changes of a system at the requirements level. In their method, a visual model of dynamically adaptive system requirements is created. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Today's ever-changing business environments, comprised among other things of customer expectations, market demands, and legal obligations, require dynamic and adaptive business processes. Hence, enterprises need to monitor and improve their business processes against their business goals and constraints. Aspect-oriented development is known to have helped designers cope with changing con-cerns in software, even dynamically. In this paper, we per-form a systematic literature review of aspect-oriented approaches for business process adaptation. We observe that current methods focus on i) composing and swapping services based on Quality of Service (QoS), cost, rules, poli-cies, and constraints, as well as in the event of failure, ii) extracting roles and crosscutting concerns from composite services, iii) customizing process instances based on user profiles or Service Level Agreements, iv) adapting service composition and collaboration policies, and v) using moni-toring aspects to detect undesired situations. This review also suggests that our own aspect-oriented process modeling and adaptation framework is novel because none of the other approaches considers organization goals, performance and constraints as a whole when improving business proc-esses. In addition, given much prior research on aspect-oriented service composition is available, we are confident that our modeling framework is realizable.
    Full-text · Article · Aug 2012
  • Source
    • "Although there are several approaches on the goal-oriented requirements engineering of self-adaptive systems (e.g. [9], [6], [5], [10], [4]), we emphasize that these works provide little support for automated verification analysis techniques such as model checking. Software requirements in SOTA can be effectively distinguished into functional ones (called goals, and representing state of the affairs that a system or its components have to eventually achieve) and non-functional ones (called utilities, and representing state of the affairs that have to be preserved while achieving). "
    [Show abstract] [Hide abstract]
    ABSTRACT: To deal with the increasing complexity and uncertainty of software systems, novel software engineering models and tools are required to make such systems self-adaptive. As part of ongoing research, we investigate various models, schemes and mechanisms to model and engineer self-adaptation in complex software systems. To this end, we have defined SOTA (State of the Affairs) as a general goal-oriented modeling framework for the analysis and design of self-adaptive systems. In this paper, by transforming the conceptual SOTA model into an operational one, we show how SOTA can be an effective tool to perform an early, goal-level, model checking analysis for adaptive systems. This allows the developers of complex self-adaptive systems to validate the actual correctness of the self-adaptive requirements at an early stage in the software life-cycle. The approach is explored and validated using a case study in the area of e-mobility.
    Full-text · Conference Paper · Apr 2012
  • Source
    • ". Work in [15] uses i* models to capture various levels of concerns in dynamically adaptive systems without modification of i* visualization techniques. The approach of Rohleder provides a visualization technique to view the effects of Non-functional Requirements (NFRs) represented as goals on software variants [16]. "
    [Show abstract] [Hide abstract]
    ABSTRACT: While goals models can visually present alternate ways for achieving goals and how actors depend on each other, it can be challenging to follow the reasoning through complex paths in the model. In earlier studies which tested the utility of procedures for guiding analysts to perform interactive forward and backward reasoning through i* models, we uncovered several difficulties faced by study participants. Users often have trouble choosing suitable starting points for analyzing the model, and in understanding conflicts among alternatives. We have recently developed visualization mechanisms to alleviate these difficulties. Specifically, roots and leaves in the model are automatically detected and highlighted as suggested starting points for analysis. Goals within a conflicting path are highlighted during analysis. The visualization mechanisms were tested with users in five follow-up studies. The results suggest several further visualization mechanisms which could support analysis.
    Full-text · Conference Paper · Oct 2010
Show more