Constraint violation detection: a fundamental part of software cybernetics

Authors:
Qianxiang Wang
Affiliations:
School of Electronics Engineering and Computer Science, Peking University, Beijing, China
Venue:
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Year:
2005

Citing 7
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Dynamic weaving for aspect-oriented programming

AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
The Vision of Autonomic Computing

Computer
Classification of research efforts in requirements engineering

RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
An Overview of Software Cybernetics

STEP '03 Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice
Discovering Correctness Constraints for Self-Management of System Configuration

ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Constraint-guided self-adaptation

IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for detecting the presence of such events during execution. Here we focus on issues related to service level constraints including types of constraints, the runtime structure of constraints and the related entities. An experiment to assess the feasibility of the proposed approach is also reported.