Title
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model
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.
Year
DOI
Venue
2005
10.1109/EDOC.2005.31
EDOC
Keywords
Field
DocType
framework associates constraint,nonfunctional property,common information model,meta-object facility,management taskforce common information,possible application execution trace,application state,management task force,probabilistic nonfunctional property,timed probabilistic constraints,formal semantics,cim metamodel,probabilistic logic,probabilistic computation tree logic,software architecture,object oriented programming,software development,runtime verification
Computation tree logic,Management information systems,Data mining,Programming language,Systems engineering,Computer science,Probabilistic logic,Software development,Software engineering,Runtime verification,Information model,Distributed management,Metamodeling
Conference
ISBN
Citations 
PageRank 
0-7695-2441-9
6
0.63
References 
Authors
7
3
Name
Order
Citations
PageRank
Iman Poernomo142827.61
Jane Jayaputera2332.80
Heinz Schmidt312111.99