http://iet.metastore.ingenta.com
1887

Formal model for user-centred adaptive mobile devices

Formal model for user-centred adaptive mobile devices

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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)
      • R. de Lemos , G. Giese , H.A. Müller .
        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.
        .
    2. 2)
      • M.C. Huebscher , J.A. McCann .
        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.
        . ACM Comput. Surv. (CSUR) , 3 , 7
    3. 3)
      • P.K. McKinley , S.M. Sadjadi , E.P. Kasten .
        3. McKinley, P.K., Sadjadi, S.M., Kasten, E.P., et al: ‘Composing adaptive software’, Computer, 2004, 37, pp. 5664.
        . Computer , 56 - 64
    4. 4)
      • J. Kramer , J. Magee .
        4. Kramer, J., Magee, J.: ‘Self-managed systems: an architectural challenge’. FOSE'07, IEEE, 2007, pp. 259268.
        . FOSE'07, IEEE , 259 - 268
    5. 5)
      • P. Oreizy , N. Medvidovic , R.N. Taylor .
        5. Oreizy, P., Medvidovic, N., Taylor, R.N.: ‘Architecture-based runtime software evolution’. Proc. of ICSE'98, IEEE Computer Society, 1998, pp. 177186.
        . Proc. of ICSE'98, IEEE Computer Society , 177 - 186
    6. 6)
      • L.A. Zadeh .
        6. Zadeh, L.A.: ‘Fuzzy sets’, Inf. Control, 1965, 8, (3), pp. 338353.
        . Inf. Control , 3 , 338 - 353
    7. 7)
      • C. Lewis . (1982)
        7. Lewis, C.: ‘Using the ‘thinking-aloud’ method in cognitive interface design’ (IBM TJ Watson Research Center, 1982).
        .
    8. 8)
      • D. Weyns , M.U. Iftikhar , D.G. de la Iglesia .
        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.
        . Proc. of the Fifth Int. C* Conf. on Computer Science and Software Engineering , 67 - 79
    9. 9)
      • P. Arcaini , E. Riccobene , P. Scandurra .
        9. Arcaini, P., Riccobene, E., Scandurra, P.: ‘Modeling and analyzing MAPE-K feedback loops for self-adaptation’. Proc. of SEAMS 2015, 2015, pp. 1323.
        . Proc. of SEAMS 2015 , 13 - 23
    10. 10)
      • E. Riccobene , P. Scandurra .
        10. Riccobene, E., Scandurra, P.: ‘Formal modeling self-adaptive service-oriented applications’. Proc. of ACM SAC 2015, 2015, pp. 17041710.
        . Proc. of ACM SAC 2015 , 1704 - 1710
    11. 11)
      • P. Pelliccione , M. Tivoli , A. Bucchiarone .
        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.
        . J. Syst. Softw. , 12 , 2237 - 2251
    12. 12)
      • D. Garlan , S.-W. Cheng , A.-C. Huang .
        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.
        . Computer , 10 , 46 - 54
    13. 13)
      • N. Bencomo , G. Blair .
        13. Bencomo, N., Blair, G.: ‘Using architecture models to support the generation and operation of component-based adaptive systems’. SEAMS'09, 2009, pp. 183200.
        . SEAMS'09 , 183 - 200
    14. 14)
      • A. Bucchiarone , H. Ehrig , C. Ermel . (2015)
        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.
        .
    15. 15)
      • M. Autili , P. Inverardi , M. Tivoli .
        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.
        . Proc. of CSMR-WCRE 2014 , 391 - 394
    16. 16)
      • J. Chung , C. Schmandt .
        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.
        . Proc. of the ACM Conf. on Human Factors in Computing Systems , 1899 - 1902
    17. 17)
      • C. Bolchini , G. Orsi , E. Quintarelli .
        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.
        . IEEE Data Eng. Bull. , 2 , 47 - 54
    18. 18)
      • C. Bettini , O. Brdiczka , K. Henricksen .
        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.
        . Pervasive Mob. Comput. , 2 , 161 - 180
    19. 19)
      • N.B. Serbedzija , S.H. Fairclough .
        19. Serbedzija, N.B., Fairclough, S.H.: ‘Biocybernetic loop: from awareness to evolution’. IEEE Congress on Evolutionary Computation, 2009, pp. 20632069.
        . IEEE Congress on Evolutionary Computation , 2063 - 2069
    20. 20)
      • B.H.C. Cheng , P. Sawyer , N. Bencomo .
        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.
        .
    21. 21)
      • S. Fickas , M.S. Feather .
        21. Fickas, S., Feather, M.S.: ‘Requirements monitoring in dynamic environments’. Proc. of RE'95, 1995, pp. 140147.
        . Proc. of RE'95 , 140 - 147
    22. 22)
      • L. Grunske .
        22. Grunske, L.: ‘Specification patterns for probabilistic quality properties’. Proc. of ICSE'08, 2008, pp. 3140.
        . Proc. of ICSE'08 , 31 - 40
    23. 23)
      • A. Frigeri , L. Pasquale , P. Spoletini .
        23. Frigeri, A., Pasquale, L., Spoletini, P.: ‘Fuzzy time in linear temporal logic’, ACM Trans. Comput. Logic, 2014, 15, (4), pp. 30:130:22.
        . ACM Trans. Comput. Logic , 4 , 30:1 - 30:22
    24. 24)
      • J. Pimentel , K. Angelopoulos , V.E.S. Souza .
        24. Pimentel, J., Angelopoulos, K., Souza, V.E.S., et al: ‘From requirements to architectures for better adaptive software systems’. iStar, 2013, pp. 9196.
        . iStar , 91 - 96
    25. 25)
      • P. Zhang , W. Li , D. Wan .
        25. Zhang, P., Li, W., Wan, D., et al: ‘Monitoring of probabilistic timed property sequence charts’, Softw. -Pract. Exp., 2011, 41, (7), pp. 841866.
        . Softw. -Pract. Exp. , 7 , 841 - 866
    26. 26)
      • M. Autili , P. Di Benedetto , P. Inverardi .
        26. Autili, M., Di Benedetto, P., Inverardi, P.: ‘Context-aware adaptive services: The PLASTIC approach’. Proc. of FASE, 2009, pp. 124139.
        . Proc. of FASE , 124 - 139
    27. 27)
      • J. Cubo , G. Ortiz , J. Boubeta-Puig .
        27. Cubo, J., Ortiz, G., Boubeta-Puig, J., et al: ‘Adaptive services for the future Internet’, UCS J., 2014, 20, (8), pp. 10461048.
        . UCS J. , 8 , 1046 - 1048
    28. 28)
      • M. Mongiello , A.L. Grieco , M. Sciancalepore .
        28. Mongiello, M., Grieco, A.L., Sciancalepore, M., et al: ‘Adaptive architectural model for future Internet applications’. Proc. of the WA4FI Workshop, 2015.
        . Proc. of the WA4FI Workshop
    29. 29)
      • M. Mongiello , P. Pelliccione , M. Siancalepore .
        29. Mongiello, M., Pelliccione, P., Siancalepore, M.: ‘Ac-contract: run-time verification of context-aware systems’. SEAMS'15. ICSE Workshop, May 2015, pp. 106115.
        . SEAMS'15. ICSE Workshop , 106 - 115
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