loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06)
Formal proofs for QoS-oriented Transformations
Hong Kong, China
October 16-October 20
ISBN: 0-7695-2743-4
Kenneth Chan, King?s College London, Strand, London, UK, WC2R2LS
The methodology of Model Driven Architecture (MDA) has been a popular area of research in recent years. To cater for the increasing awareness of the importance in software Quality of Service (QoS), some have suggested MDA as a solution. However, unlike functional properties, QoS displayed in a development cycle is prone to changes after deployment due to a non-constant runtime environment and usage. A possible solution is to provide a monitoring framework to ensure that QoS violations are always detectable. However, as with any MDA based approach it is dangerous to simply assume that transformations will do exactly as specified. This paper describes an approach for producing formal proofs for our particular QoS-oriented transformational system[1], based on the proof-as-programs methodology.
Citation:
Kenneth Chan, "Formal proofs for QoS-oriented Transformations," edocw, pp.41, 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.