A domain-specific language for the control of self-adaptive component-based architecture

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Journal of Systems and Software

• Publication date

  2017-01-31

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/j.jss.2017.01.030
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Assured and Correct Dynamic Update of Controllers

  2016cited by this paper
• Automated multi-objective control for self-adaptive software design

  2015cited by this paper
• Behavioural Model-Based Control for Autonomic Software Components

  2015cited by this paper
• High-Level Language Support for Reconfiguration Control in Component-Based Architectures

  2015influential reference
• The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems

  2014cited by this paper
• Hope for the best, prepare for the worst: multi-tier control for adaptive systems

  2014cited by this paper
• Modular coordination of multiple autonomic managers

  2014cited by this paper
• Automated design of self-adaptive software with control-theoretical formal guarantees

  2014cited by this paper
• Discrete Controller Synthesis for Infinite State Systems with ReaX

  2014influential reference
• Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns

  2013cited by this paper
• Robust reconfigurations of component assemblies

  2013cited by this paper
• Synthesizing nonanomalous event-based controllers for liveness goals

  2013cited by this paper
• Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control

  2013cited by this paper
• Run-Time Support to Manage Architectural Variability Specified with CVL

  2013cited by this paper
• CVL: common variability language

  2012cited by this paper
• FORMS: Unifying reference model for formal specification of distributed self-adaptive systems

  2012cited by this paper
• Self-adaptive software needs quantitative verification at runtime

  2012cited by this paper
• A component‐based middleware platform for reconfigurable service‐oriented architectures

  2012cited by this paper
• Adapt cases: extending use cases for adaptive systems

  2011cited by this paper
• Dynamic plans for integration testing of self-adaptive software systems

  2011cited by this paper
• Run-time efficient probabilistic model checking

  2011cited by this paper
• Planning Self-adaption with Graph Transformations

  2011cited by this paper
• Synchronous control of reconfiguration in fractal component-based systems - A case study

  2011cited by this paper
• Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

  2010cited by this paper
• Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

  2010cited by this paper
• Contracts for modular discrete controller synthesis

  2010cited by this paper
• Evaluating the effectiveness of the Rainbow self-adaptive system

  2009cited by this paper
• Taming Dynamically Adaptive Systems using models and aspects

  2009cited by this paper
• FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures

  2009cited by this paper
• Context awareness for dynamic service-oriented product lines

  2009cited by this paper
• Engineering Self-Adaptive Systems through Feedback Loops

  2009cited by this paper
• Introduction to Control Theory And Its Application to Computing Systems

  2008cited by this paper
• Self-Managed Systems: an Architectural Challenge

  2007cited by this paper
• An Automated Formal Approach to Managing Dynamic Reconfiguration

  2006cited by this paper
• UMLDiff: an algorithm for object-oriented design differencing

  2005cited by this paper
• A conservative extension of synchronous data-flow with state machines

  2005cited by this paper
• A Comparison of Planning Based Models for Component Reconfiguration ; CU-CS-995-05

  2005cited by this paper
• Managing Dynamic Reconfiguration in Component-Based Systems

  2005cited by this paper
• An Open Component Model and Its Support in Java

  2004influential reference
• Rainbow: architecture-based self-adaptation with reusable infrastructure

  2004cited by this paper
• PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

  2003cited by this paper
• Synthesis of Discrete-Event Controllers Based on the Signal Environment

  2000cited by this paper
• Acme: architectural description of component-based systems

  2000influential reference
• A Classification and Comparison Framework for Software Architecture Description Languages

  2000cited by this paper
• Artificial Intelligence and Mobile Robots

  1999cited by this paper
• Software Reuse: Architecture, Process And Organization For Business Success

  1998cited by this paper
• Synchronous Programming of Reactive Systems

  1992cited by this paper
• Logics and Models of Concurrent Systems

  1989cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987cited by this paper
• Software engineering

  1983cited by this paper

• Consistency Checking of Functional and Non‐Functional Requirements in Self‐Adapting Systems

  2026cites this paper
• Scalability through Pulverisation: Declarative deployment reconfiguration at runtime

  2024cites this paper
• Modelling sustainability in cyber-physical systems: A systematic mapping study

  2024cites this paper
• Component-based Distributed Software Reconfiguration:A Verification-oriented Survey

  2023cites this paper
• AdaptiveSystems: An Integrated Framework for Adaptive Systems Design and Development Using MPS JetBrains Domain-Specific Modeling Environment

  2021cites this paper
• SQAL Self-Adaptive System's Quality Assurance Language

  2020cites this paper
• Dynamic Update of Discrete Event Controllers

  2020cites this paper
• The Component-based Design Method for Agent-based Multi-AGV System

  2019cites this paper
• An Islamic Application Based on Self-adaptive Components

  2018cites this paper
• AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications

  2018cites this paper
• ADSL: An Embedded Domain-Specific Language for Constraint-Based Distributed Self-Management

  2018influential citation
• An approach for the dynamic reconfiguration of software architecture

  2018influential citation
• A self-adaptation framework based on functional knowledge for augmented autonomy in robots

  2018cites this paper
• Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents. (Middleware Support for Adaptive, Reliable Conception and Deployment, Application to Building Automation)

  2017cites this paper
• Logico-numerical control for software components reconfiguration

  2017influential citation
• Language Support for Modular Autonomic Managers in Reconfigurable Software Components

  2017cites this paper
• Future Generation Computer Systems

  year unknowncites this paper