Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

access icon free Formal model for user-centred adaptive mobile devices

The authors present an approach to complex adaptive mobile applications modelling and implementation, able to dynamically change according to changed behavioural properties, state and/or context variables and user's preference. To this aim, they design a metamodel made up of an action repository (AR) to store triples composed by logical propositions to define criteria for selecting actions to be executed. An algorithm has been devised to retrieve a set of possible actions – apps, services or components – to be executed from the AR. The selection of a single action to be executed depends on a user's model. The metamodel validation is carried out through an instantiation in two real scenarios: a proximity environment and a smartphone.

References

    1. 1)
      • 5. Oreizy, P., Medvidovic, N., Taylor, R.N.: ‘Architecture-based runtime software evolution’. Proc. of ICSE'98, IEEE Computer Society, 1998, pp. 177186.
    2. 2)
      • 27. Cubo, J., Ortiz, G., Boubeta-Puig, J., et al: ‘Adaptive services for the future Internet’, UCS J., 2014, 20, (8), pp. 10461048.
    3. 3)
      • 20. Cheng, B.H.C., Sawyer, P., Bencomo, N., et al: ‘A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty’ (Berlin, Springer, 2009), (LNCS, 5795), pp. 468483.
    4. 4)
      • 19. Serbedzija, N.B., Fairclough, S.H.: ‘Biocybernetic loop: from awareness to evolution’. IEEE Congress on Evolutionary Computation, 2009, pp. 20632069.
    5. 5)
      • 2. Huebscher, M.C., McCann, J.A.: ‘A survey of autonomic computing-degrees, models, and applications’, ACM Comput. Surv. (CSUR), 2008, 40, (3), p. 7.
    6. 6)
      • 21. Fickas, S., Feather, M.S.: ‘Requirements monitoring in dynamic environments’. Proc. of RE'95, 1995, pp. 140147.
    7. 7)
      • 14. Bucchiarone, A., Ehrig, H., Ermel, C., et al: ‘Rule-based modeling and static analysis of self-adaptive systems by graph transformation’, in De Nicola, R., Hennicker, R. (Eds.): Software, services, and systems (2015), pp. 582601.
    8. 8)
      • 8. Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., et al: ‘A survey of formal methods in self-adaptive systems’. Proc. of the Fifth Int. C* Conf. on Computer Science and Software Engineering, 2012, pp. 6779.
    9. 9)
      • 13. Bencomo, N., Blair, G.: ‘Using architecture models to support the generation and operation of component-based adaptive systems’. SEAMS'09, 2009, pp. 183200.
    10. 10)
      • 23. Frigeri, A., Pasquale, L., Spoletini, P.: ‘Fuzzy time in linear temporal logic’, ACM Trans. Comput. Logic, 2014, 15, (4), pp. 30:130:22.
    11. 11)
      • 18. Bettini, C., Brdiczka, O., Henricksen, K., et al: ‘A survey of context modelling and reasoning techniques’, Pervasive Mob. Comput., 2010, 6, (2), pp. 161180.
    12. 12)
      • 11. Pelliccione, P., Tivoli, M., Bucchiarone, A., et al: ‘An architectural approach to the correct and automatic assembly of evolving component-based systems’, J. Syst. Softw., 2008, 81, (12), pp. 22372251.
    13. 13)
      • 12. Garlan, D., Cheng, S.-W., Huang, A.-C., et al: ‘Rainbow: architecture-based self-adaptation with reusable infrastructure’, Computer, 2004, 37, (10), pp. 4654.
    14. 14)
      • 25. Zhang, P., Li, W., Wan, D., et al: ‘Monitoring of probabilistic timed property sequence charts’, Softw. -Pract. Exp., 2011, 41, (7), pp. 841866.
    15. 15)
      • 7. Lewis, C.: ‘Using the ‘thinking-aloud’ method in cognitive interface design’ (IBM TJ Watson Research Center, 1982).
    16. 16)
      • 15. Autili, M., Inverardi, P., Tivoli, M.: ‘CHOREOS: large scale choreographies for the future Internet’. Proc. of CSMR-WCRE 2014, Antwerp, Belgium, 3–6 February 2014, pp. 391394.
    17. 17)
      • 17. Bolchini, C., Orsi, G., Quintarelli, E., et al: ‘Context modeling and context awareness: steps forward in the context-addict project’, IEEE Data Eng. Bull., 2011, 34, (2), pp. 4754.
    18. 18)
      • 24. Pimentel, J., Angelopoulos, K., Souza, V.E.S., et al: ‘From requirements to architectures for better adaptive software systems’. iStar, 2013, pp. 9196.
    19. 19)
      • 3. McKinley, P.K., Sadjadi, S.M., Kasten, E.P., et al: ‘Composing adaptive software’, Computer, 2004, 37, pp. 5664.
    20. 20)
      • 16. Chung, J., Schmandt, C.: ‘Going my way: a user-aware route planner’. Proc. of the ACM Conf. on Human Factors in Computing Systems, 2009, pp. 18991902.
    21. 21)
      • 9. Arcaini, P., Riccobene, E., Scandurra, P.: ‘Modeling and analyzing MAPE-K feedback loops for self-adaptation’. Proc. of SEAMS 2015, 2015, pp. 1323.
    22. 22)
      • 22. Grunske, L.: ‘Specification patterns for probabilistic quality properties’. Proc. of ICSE'08, 2008, pp. 3140.
    23. 23)
      • 1. de Lemos, R., Giese, G., Müller, H.A., et alSoftware engineering for self-adaptive systems: a second research roadmap’, in Cheng, B., de Lemos, R., Giese, H., et al (Eds.): Software engineering for self-adaptive systems II, (Springer, Berlin Heidelberg, 2013), (LNCS, 7475), pp. 132.
    24. 24)
      • 26. Autili, M., Di Benedetto, P., Inverardi, P.: ‘Context-aware adaptive services: The PLASTIC approach’. Proc. of FASE, 2009, pp. 124139.
    25. 25)
      • 29. Mongiello, M., Pelliccione, P., Siancalepore, M.: ‘Ac-contract: run-time verification of context-aware systems’. SEAMS'15. ICSE Workshop, May 2015, pp. 106115.
    26. 26)
      • 6. Zadeh, L.A.: ‘Fuzzy sets’, Inf. Control, 1965, 8, (3), pp. 338353.
    27. 27)
      • 4. Kramer, J., Magee, J.: ‘Self-managed systems: an architectural challenge’. FOSE'07, IEEE, 2007, pp. 259268.
    28. 28)
      • 28. Mongiello, M., Grieco, A.L., Sciancalepore, M., et al: ‘Adaptive architectural model for future Internet applications’. Proc. of the WA4FI Workshop, 2015.
    29. 29)
      • 10. Riccobene, E., Scandurra, P.: ‘Formal modeling self-adaptive service-oriented applications’. Proc. of ACM SAC 2015, 2015, pp. 17041710.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2016.0169
Loading

Related content

content/journals/10.1049/iet-sen.2016.0169
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address