Formal support for dynamic QoS management in the development of open component-based distributed systems

IEE Proceedings: Software

Volumn 148, Issue 3, 2001, Pages 89-97

  Blair, L ^a   Blair, G S ^a   Andersen, A ^a   Jones, T ^a  

^a LANCASTER UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC; INTEROPERABILITY; MULTIMEDIA SYSTEMS; QUALITY OF SERVICE;

ASPECT-ORIENTED SPECIFICATION; COMPONENT-BASED DISTRIBUTED SYSTEMS; QUALITY OF SERVICE MANAGEMENT;

SOFTWARE ENGINEERING;

EID: 0035381962     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20010507     Document Type: Article

References (49)

1. A framework for systematic synthesis of transactional middleware
2. Workshop in distributed object systems
3. Formal description techniques
4. Aspect-oriented programming
5. Where do operations come from? A multiparadigm specification technique
6. Composition in multi-paradigm specification techniques
7. Issues in multi-paradigm viewpoint specification
8. A tool suite to support aspect-oriented specification
9. Stochastically enhanced timed automata
10. Checking that finite state concurrent programs satisfy their linear specification
11. Diagnostic model-checking for real-time systems
12. Simple on-the-fly automatic verification of linear temporal logic
13. Model-checking of real-time reachability properties using abstractions (full version)
14. Symmetry and model checking
15. Combining partial order reductions with on-the-fly model-checking
16. A tool suite for multi-paradigm specification
17. An overview of the eucalyptus toolbox
18. New generation of UPPAAL
19. A tool-suite for simulating, composing and editing time automata (LUSCETA: User's manual release 1.0)
20. FC2: Reference manual version 1.1
21. Open distributed processing and multimedia
22. The temporal logic of reactive and concurrent systems
23. Supporting dynamic QoS management functions in a reflective middleware platform
24. OOPP: A reflective middleware platform with quality of service management
25. An architecture for next generation middleware
26. AL-1/d: A distributed programming system with multi-model reflection framework
27. Experiments with reflective middleware
28. Supporting adaptive multimedia applications through open bindings
29. Reflection in an object-oriented concurrent language
30. Meta-level architecture support for distributed objects
31. Portable interceptors
32. A distributed object platform infrastructure for multimedia applications
33. QoSMon-AuTA: QoS monitoring and adaptation using timed automata
34. Strategies for consistency checking based on unification
35. A framework for scheduler synthesis
36. The model checker SPIN
37. Kronos: A verification tool for real-time systems
38. Hytech: A model checker for hybrid systems
39. Reflective middleware: From your desk to your hand
40. FlexiNet open ORB framework
41. Implementing proxy objects in a reflective ORB
42. QuO's runtime support for quality of service in distributed objects
43. Dynamic reconfiguration for complex multimedia applications
44. Information processing systems-open systems interconnection-LOTOS, a formal description technique based on the temporal ordering of observational behaviour