A model-oriented framework for runtime monitoring of nonfunctional properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3712 LNCS, Issue , 2005, Pages 38-52

  Chan, Kenneth ^a   Poernomo, Iman ^a   Schmidt, Heinz ^b   Jayaputera, Jane ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONDITION MONITORING; FORMAL LOGIC; PROBABILITY; RELIABILITY; SEMANTICS; TREES (MATHEMATICS);

MODEL-ORIENTED FRAMEWORK; NONFUNCTIONAL PROPERTIES; PROBABILISTIC COMPUTATIONAL TREE LOGIC (PCTL); RUNTIME MONITORING; WINDOWS MANAGEMENT INSTRUMENTATION (WMI);

SOFTWARE ENGINEERING;

EID: 33646179809     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11558569_5     Document Type: Conference Paper

References (8)

1. Feng Chen and Grigore Rosu. Towards monitoring-oriented programming: A paradigm combining specification and implementation. In Proceedings of 3rd International Workshop on Runtime Verification (RV'03), volume 89(2) of Electronic Notes on Theoretical Computer Science. Elsevier Science, 2003.
2. W. DePrince Jr. and C. Hofmeister. Enforcing a lips usage policy for CORBA components. In Proceedings of 29th EUROMICRO Conference, New Waves in System Architecture, Belek-Antalya, Turkey, pages 53-60. IEEE Computer Society Press, 2003.
3. Distributed Management Taskforce. Common Information Model (CIM) standard, 2005.
4. David Garlan, Bradley Schmerl, and Jichuan Chang. Using gauges for architecture-based monitoring and adaptation. In Proceedings of the Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, 12-14 Decemeber, 2001. DSTC, 2001.
5. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
6. J. Jayaputera, I. Poernomo, and H. Schmidt. Uml specialization for fault tolerant component based architectures. IDPT: Proceedings of the Seventh Biennial World Conference on Integrated Design and Process Technology, 2, 2003.
7. B. Meyer. Object Oriented Software Construction. Prentice Hall, Englewood Cliffs, 2nd edition, 1997.
8. R. Reussner, H. Schmidt, and I. Poernomo. 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.