Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
An approach to detecting failures automatically
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Software architecture definition for on-demand cloud provisioning
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Monitoring and analyzing service-based internet systems through a model-aware service environment
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Software architecture definition for on-demand cloud provisioning
Cluster Computing
| Hi-index | 0.00 |
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties that data must exhibit, the OCL. Off-the-shelf tools can generate meta-data repositories and perform consistency checking over the data they contain. In this paper we describe how these tools can be used to implement runtime requirements monitoring of systems by modelling the required behaviour of the system, implementing a meta-data repository to collect system data, and consistency checking the repository to discover violations. We evaluate the approach by implementing a contract checker for the SLAng service-level agreement language, a language defined using a MOF metamodel, and integrating the checker into an Enterprise JavaBeans application. We discuss scalability issues resulting from immaturities in the applied technologies, leading to recommendations for their future development.