Runtime software monitoring and analyzing is not only the approach to improve the quality of software, but also the basis of adaptive software. This paper proposes a pattern-based declarative approach to specify constraints. Based on this approach we implemented a runtime monitoring and analyzing framework on J2EE middleware PKUAS. The most special points of the framework are the flexibility of deploying probes and business logic oriented monitoring. In the end, the paper describes the implementation details and evaluation result of the framework.EI0SUPPL. 2124-1283
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constrain...
The run-time monitoring of web service compositions has been widely acknowledged as a significant a...
AbstractWith the explosion of software size, checking conformance of implementation to specification...
The full behavior of complex software systems often only emerges during operation. They thus need to...
Abstract. This article gives an overview of the Monitoring Oriented Programming framework (MOP). In ...
Embedded systems are increasingly complex and dynamic, imposing progressively higher developing time...
Abstract. A formal framework for software development and analysis is presented, which aims at reduc...
The rapid increase in the significance of software systems has made software assurance a critical re...
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current...
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current...
Modern software systems are complex and often built using components that are provided with their ap...
Abstract. This tutorial presents an overview of the field referred as to runtime ver-ification. Runt...
Abstract. Runtime monitoring is an established technique for enforc-ing a wide range of program safe...
A run-time monitor shares computational resources, such as memory and CPU time, with the target prog...
AbstractRuntime monitoring is an established technique to enforce a wide range of program safety and...
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constrain...
The run-time monitoring of web service compositions has been widely acknowledged as a significant a...
AbstractWith the explosion of software size, checking conformance of implementation to specification...
The full behavior of complex software systems often only emerges during operation. They thus need to...
Abstract. This article gives an overview of the Monitoring Oriented Programming framework (MOP). In ...
Embedded systems are increasingly complex and dynamic, imposing progressively higher developing time...
Abstract. A formal framework for software development and analysis is presented, which aims at reduc...
The rapid increase in the significance of software systems has made software assurance a critical re...
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current...
We describe the Monitoring and Checking (MaC) framework which assures the correctness of the current...
Modern software systems are complex and often built using components that are provided with their ap...
Abstract. This tutorial presents an overview of the field referred as to runtime ver-ification. Runt...
Abstract. Runtime monitoring is an established technique for enforc-ing a wide range of program safe...
A run-time monitor shares computational resources, such as memory and CPU time, with the target prog...
AbstractRuntime monitoring is an established technique to enforce a wide range of program safety and...
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constrain...
The run-time monitoring of web service compositions has been widely acknowledged as a significant a...
AbstractWith the explosion of software size, checking conformance of implementation to specification...