Timed probabilistic constraints over the distributed management taskforce common information model

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2005, Pages 261-272

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

^a KING'S COLLEGE LONDON   (United Kingdom)

^b MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION MODELS; PROBABILISTIC NONFUNCTIONAL PROPERTIES; RUNTIME VERIFICATION; TIMED PROBABILISTIC CONSTRAINTS;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE MAINTENANCE; CONSTRAINT THEORY; PROBABILISTIC LOGICS; PROBABILITY DISTRIBUTIONS; SEMANTICS; SOFTWARE ENGINEERING;

INFORMATION MANAGEMENT;

EID: 33749424628     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2005.31     Document Type: Conference Paper

References (12)

1. F. Chen and G. 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. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
5. J. Jayaputera, I. Poernomo, and H.Schmidt. Timed probabilistic reasoning on uml specialization for fault tolerant component based architectures. In Proceedings of SAVCBS Workshop at European Software Engineering Conference, Helsinki, Finland, 2003.
6. J. Jayaputera, I. Poernomo, and R. Reussner. Runtime verification of timing and probabilistic properties using wmi and .net. In 30th EUROMICRO Conference 2004, New Waves in System Architecture, August 31st to September 3rd 2004, Rennes, France, pages 100-106. IEEE Computer Society, 2004.
7. 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.
8. M. Kwiatkowska, G. Norman, and D. Parker. PRISM 2.0: A tool for probabilistic model checking. In Proceedings of the 1st International. Conference on Quantitative Evaluation of Systems (QEST'04), pages 322-323. IEEE Computer Society Press, 2004.
9. B.Meyer. Object Oriented Software Construction. Prentice Hall, Englewood Cliffs, 2nd edition, 1997.
10. Object Management Group (OMG). Meta Object Facility (MOF) Specification, 2000. Available at http://www.omg.org/technology/documents/formal/mof.htm.
11. 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.
12. H. Younes and R. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In E. Brinksma and K. Larsen, editors, Computer Aided Verification, I4th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002, Proceedings, volume 2404 of LNCS, pages 223-235. Springer-Verlag, 2002.