Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model

Authors:
Iman Poernomo;Jane Jayaputera;Heinz Schmidt
Affiliations:
King's College London;Monash University;Monash University
Venue:
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Year:
2005

Citing 6
Cited 3

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Reliability prediction for component-based software architectures

Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Enforcing a lips Usage Policy for CORBA Components

EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET

EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
PRISM 2.0: A Tool for Probabilistic Model Checking

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference

QoS-aware model driven architecture through the UML and CIM

Information Systems Frontiers
Architecture-Based Reasoning About Performability in Component-Based Systems

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Intelligent collaborative care management (ICCM): achieving and managing contractual relationships and service delivery

CARE@AI'09/CARE@IAT'10 Proceedings of the CARE@AI 2009 and CARE@IAT 2010 international conference on Collaborative agents - research and development

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is now recognized that nonfunctional properties are important to practical software development and maintenance. Many of these properties involve involving time and probabilities - for example, reliability and availability. In this paper, we present a framework for runtime verification of timed and probabilistic nonfunctional properties of component-based architectures, built using the Meta-Object Facility and the Distributed Management Task Force驴s Common Information Model (CIM) standard. We describe a Microsoft .NET-based implementation of our framework. We use a language for contracts based on Probabilistic Computational Tree Logic (PCTL). We provide a formal semantics for this language based on possible application execution traces. The semantics is parametrized with respect to the choice of application states and state changes to be monitored. This enables us to use the language to define a wide range of nonfunctional properties. We explain how our framework associates constraints with systems that expose management information through the CIM, via a novel extension of the CIM metamodel.