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

ABSTRACT 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.

  • Source
    [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.
    Journal of Software. 08/2012; 7(8).
  • Source
    [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.
    Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on; 01/2012
  • [Show abstract] [Hide abstract]
    ABSTRACT: Internetware is a new paradigm proposed in recent years, which is defined as a kind of software constructed by a set of autonomous software entities distributed over the Internet. The environment where Internetware operates, including the Internet and other physical condition that the domain should hold, changes unexpectedly and comes with uncertainty. So the self-adaptation issue becomes inevitable in terms of dynamically configuring the Internetware. Here come two basic questions: how can we derive the adaptation problem in Internetware and how can we solve this problem with some adaptation mechanisms? In this paper, we focus on the requirements level for solving this problem and propose to use i* framework for modeling requirements of Internetware and deriving the adaptation problem from the i* models. To solve the adaptation problem, we provide a synergy approach involving i* models and widely accepted self-adaptation process---the MAPE loop, and apply ECA (3-tuple of <Event, Condition, Action>) to present the rationale for reconfiguration decisions.
    Proceedings of the Fourth Asia-Pacific Symposium on Internetware; 10/2012

Full-text (2 Sources)

Available from
Jun 10, 2014