Timed probabilistic constraints over the distributed management taskforce common information model

Poernomo, I, Jayaputera, J and Schmidt, H 2005, 'Timed probabilistic constraints over the distributed management taskforce common information model', in MJ van Sinderen, MWA Steen and MM Lankhorst (ed.) Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference, Enschede, The Netherlands, 19/09/2005 to 20/09/2005, pp. 261-272.


Document type: Conference Paper
Collection: Conference Papers

Title Timed probabilistic constraints over the distributed management taskforce common information model
Author(s) Poernomo, I
Jayaputera, J
Schmidt, H
Year 2005
Conference name the Ninth IEEE International EDOC Enterprise Computing Conference
Conference location Enschede, The Netherlands
Conference dates 19/09/2005 to 20/09/2005
Proceedings title Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Editor(s) MJ van Sinderen, MWA Steen and MM Lankhorst
Publisher IEEE
Place of publication United States
Start page 261
End page 272
Total pages 12
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
Subjects Information Systems not elsewhere classified
ISBN 0769524419
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 4 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 8 times in Scopus Article | Citations
Access Statistics: 138 Abstract Views  -  Detailed Statistics
Created: Mon, 21 Jan 2013, 10:51:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us