NDLI: High-quality specification of self-adaptive software systems

Please wait, while we are loading the content...

Science in the cloud (keynote)

Do external feedback loops improve the design of self-adaptive systems?: a controlled experiment

On estimating actuation delays in elastic computing systems

Formalizing correctness criteria of dynamic updates derived from specification changes

Engineering adaptation with Zanshin: an experience report

Self-adaptive containers: building resource-efficient applications with low programmer overhead

Improving context-awareness in self-adaptation using the DYNAMICO reference model

A 10-year perspective on software engineering self-adaptive systems (keynote)

Evolving an adaptive industrial software system to use architecture-based self-adaptation

Self-adaptive and sensitivity-aware QoS modeling for the cloud

Run-time adaptation of mobile applications using genetic algorithms

Diagnosing architectural run-time failures

Synthesizing self-adaptive connectors meeting functional and performance concerns

Law and adaptivity in requirements engineering

Requirements and architectural approaches to adaptive software systems: a comparative study

QoS-aware fully decentralized service assembly

Guaranteeing robustness in a mobile learning application using formally verified MAPE loops

Dynamic decision networks for decision-making in self-adaptive systems: a case study

High-quality specification of self-adaptive software systems

Towards run-time testing of dynamic adaptive systems

RPC automation: making legacy code relevant

High-quality specification of self-adaptive software systems

Content Provider	ACM Digital Library
Author	Engels, Gregor Luckey, Markus
Abstract	Today's software systems have to cope with changing environments while at the same time facing high non-functional requirements such as flexibility and dependability. Recently, these non-functional requirements are addressed using self-adaptivity features, that is, the system monitors its environment and adjusts its structure or behavior in reaction to changes. In classical model-driven software engineering approaches, self-adaptivity introduces additional complexity since self-adaptation features are distributed in a cross-cutting manner at various different locations in the models, resulting in a tightly interwoven model landscape that is hard to understand and maintain. A particular solution to cope with this problem is the separation of concerns (SoC) to focus on the specific concern of self-adaptivity and allow in-depth analyses. Applying SoC requires suitable development processes, languages, and techniques, e.g., for quality assurance, to be available. In this paper, we present a method for the specification of self-adaptive software systems using a UML based concern-specific modeling language called Adapt Case Modeling Language (ACML) that allows the separated and explicit specification of self-adaptivity concerns. Based on formal semantics we show how to apply quality assurance techniques to the modeled self-adaptive system, which enable the provisioning of hard guarantees concerning self-adaptivity characteristics such as adaptation rule set stability and deadlock freedom. Further, we show how the language and techniques integrate with existing software development processes.
Starting Page	143
Ending Page	152
Page Count	10
File Format	PDF
ISBN	9781467344012
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-05-20
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

High-quality specification of self-adaptive software systems

High-quality specification of self-adaptive software systems (2013)

Specification and OS-based implementation of self-adaptive, hardware/software embedded systems

A framework for evaluating quality-driven self-adaptive software systems

Quality assurance of agent-based and self-managed systems

An Agent-Based Middleware for Adaptive Systems

Towards a requirements specification multi-view framework for self-adaptive systems

A Service Based Approach to Self-Adaptive Software Systems Based on Constructing a Group of Autonomic Elements

Applying Digital Evolution to the Development of Self-Adaptive ULS Systems

High-quality specification of self-adaptive software systems

Similar Documents

High-quality specification of self-adaptive software systems

High-quality specification of self-adaptive software systems (2013)

Specification and OS-based implementation of self-adaptive, hardware/software embedded systems

A framework for evaluating quality-driven self-adaptive software systems

Quality assurance of agent-based and self-managed systems

An Agent-Based Middleware for Adaptive Systems

Towards a requirements specification multi-view framework for self-adaptive systems

A Service Based Approach to Self-Adaptive Software Systems Based on Constructing a Group of Autonomic Elements

Applying Digital Evolution to the Development of Self-Adaptive ULS Systems

High-quality specification of self-adaptive software systems