Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Automatic monitoring of software requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A knowledge level software engineering methodology for agent oriented programming
Proceedings of the fifth international conference on Autonomous agents
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Architecture and Operation of an Adaptable Communication Substrate
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Computer
Security in an autonomic computing environment
IBM Systems Journal
Towards requirements-driven autonomic systems design
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Personal and Contextual Requirements Engineering
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Enabling safe dynamic component-based software adaptation
Architecting Dependable Systems III
Modelling Adaptive Systems in ForSyDe
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Coordinated management of hardware and software self-adaptivity
Journal of Systems Architecture: the EUROMICRO Journal
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
A process for goal oriented requirement engineering
SE '08 Proceedings of the IASTED International Conference on Software Engineering
A fuzzy service adaptation based on QoS satisfaction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Behavioral adaptation of information systems through goal models
Information Systems
Towards a goal-driven approach to action selection in self-adaptive software
Software—Practice & Experience
A requirements-based approach for the design of adaptive systems
Proceedings of the 34th International Conference on Software Engineering
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
A NFR-based framework for user-centered adaptation
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Requirements-driven software evolution
Computer Science - Research and Development
Hi-index | 0.00 |
Adaptive software is being used increasingly frequently by various users, such as the medical community, software industry, and in response to terror attacks. Therefore, understanding the requirements of an adaptive system is crucial to developing them correctly. Developers need to be able to reason about the requirements of a system's adaptive behavior. Adaptation semantics are intended to describe how systems behave during adaptation. Previously, Zhang and Cheng formally specified three commonly occurring adaptation semantics in terms of Adapt operator-extended LTL (A-LTL). This paper presents goal-oriented specifications of these three adaptation semantics. These specifications, specified with the KAOS methodology, provide a graphical wrapper to the formal A-LTL specifications of the semantics. The combination of the goal-oriented, graphical KAOS specifications and A-LTL specifications provides the benefits of formal specifications as well as the benefits of an easier to understand, graphical, and more intuitive presentation of adaptive systems requirements. This work also provides a means to incorporate the adaptation semantics into the goal-oriented requirements specifications of an adaptive system.