Managing non-functional uncertainty via model-driven adaptivity

1
Managing non-functional uncertainty via
model-driven adaptivity
D1

• Carlo Ghezzi (Politecnico di Milano, Italy)
• Leandro Sales Pinto (Politecnico di Milano,
  Italy)
• Paola Spoletini (Università dell'Insubria, Italy)
• Giordano Tamburrelli (Politecnico di Milano,
  Italy)

Carlo Ghezzi, Leandro Sales Pinto, Paola
Spoletini, and Giordano Tamburrelli. 2013.
Managing non-functional uncertainty via
model-driven adaptivity. In Proceedings of the
2013 International Conference on Software
Engineering (ICSE '13). IEEE Press, Piscataway,
NJ, USA, 33-42.
2
????????????????????
D1

• ??,??????????????????????????????????????.
• ?????????????????.
• ??????????,????????????????????????,????????.
• ????? ????,???????,????????

AF??????
GPS?????
?????
????????
1. ????????????
2. ????????
3. ????????????/????????
4. ????
3
?????????????????
D1

• ?????????????????,????????.
• UML?????????????,??????????????????????(??).
• ????????????,?????????????????????PRISM????????(??
  ).
• ????,?????????,???????????,?????????????????????(?
  ?).
• ??,???????????,???????,????????

_at_Implementation(nameProductLookup) _at_Impact(metr
icsresponseTime , energy , usability,
values1, 2 , 1) public String
automaticProductLookup(String barcode) / /
invoke http//searchupc.com/
4
????????,???????????
D1

• ???????
• ?????????????.
• ??????????????????,???????.
• ????
• ?????????????????,????????????????????.
• ???9????????.
• ???????????
• ADAM (Adaptive Model-driven execution)
• http//code.google.com/p/adam-java/
• ??
• ?????????????????????
• ?????????????????????????