A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties
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. One approach to ensuring conformance to nonfunctional requirements is the use of runtime monitoring. Currently, such monitoring is done in one of two ways: 1) monitoring through use of a generic tool or 2) by adding instrumentation code within system software and writing a tool to manage resulting datasets. The first approach is often not flexible while the second approach can lead to a higher development cost. In this paper, we present a flexible framework for runtime verification of timed and probabilistic nonfunctional properties of component-based architectures. We describe a Microsoft .NET-based implementation of our framework built upon the Windows Management Instrumentation (WMI) infrastructure and the Distributed Management Task Force’s Common Information Model standard. 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 generic over the aspects of an application that are represented by states and transitions of traces. This enables us to use the language to define a wide range of nonfunctional properties.
KeywordsFormal Semantic Atomic Proposition Execution Trace Common Information Model Runtime Monitoring
Unable to display preview. Download preview PDF.
- 1.Chen, F., Rosu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. In: Proceedings of 3rd International Workshop on Runtime Verification (RV 2003). Electronic Notes on Theoretical Computer Science, vol. 89(2). Elsevier Science, Amsterdam (2003)Google Scholar
- 2.DePrince Jr., W., Hofmeister, C.: Enforcing a lips usage policy for CORBA components. In: Proceedings of 29th EUROMICRO Conference, New Waves in System Architecture, Belek-Antalya, Turkey, pp. 53–60. IEEE Computer Society Press, Los Alamitos (2003)Google Scholar
- 3.Distributed Management Taskforce. Common Information Model (CIM) standard (2005)Google Scholar
- 4.Garlan, D., Schmerl, B., Chang, J.: Using gauges for architecture-based monitoring and adaptation. In: Proceedings of the Working Conference on Complex and Dynamic Systems Architectur, Brisbane, Australia, Decemeber 12-14, 2001, DSTC (2001)Google Scholar
- 6.Jayaputera, J., Poernomo, I., Schmidt, H.: Uml specialization for fault tolerant component based architectures. In: IDPT: Proceedings of the Seventh Biennial World Conference on Integrated Design and Process Technology, vol. 2 (2003)Google Scholar
- 8.Reussner, R., Schmidt, H., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software – Special Issue of Software Architecture - Engineering Quality Attributes 66(3), 241–252 (2003)Google Scholar