QoS-Based Model Driven Assessment of Adaptive Reactive Systems.

Diego Perez-Palacin Raffaela Mirandola José Merseguer Vincenzo Grassi

Published in: ICST Workshops (2010)

Keyphrases

model driven
reactive systems
data driven
metamodel
quality of service
service oriented
model driven development
data integration
model checking
temporal logic
information flow
formal methods
platform independent
web services
real world
petri net
database
open source
low cost
data model
real time systems