More Web Proxy on the site http://driver.im/

research-article

Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes

Authors:

John GrundyAuthors Info & Claims

ACSW '17: Proceedings of the Australasian Computer Science Week Multiconference

Article No.: 28, Pages 1 - 8

https://doi.org/10.1145/3014812.3014841

Published: 31 January 2017 Publication History

Abstract

Mobile apps can integrate sensors and actuators in Internet-of-Things systems to achieve novel and diverse functionalities. For instance, apps can implement self-management and monitoring functions to help patients manage a large number of health conditions within their (smart-) homes. However, each smart-home may contain a different and often dynamic sensor-actuator configuration and it is undesirable to write new code for every new installation or change. Statecharts present an appropriate formal and visual design model to design apps and support automatic code generation. However, these designs assume a specific and static sensor-actuator configuration. We propose parametric statecharts, an extension to statecharts that can be automatically customised to a dynamic smart-home's configuration. We develop a translator to convert parametric statecharts into standard statecharts customised to a given system configuration, and then a custom compiler to generate Android code. Experimental results confirm the flexibility of the proposed approach.

References

[1]

W. Cazzola, A. Ghoneim, and G. Saake. Software evolution through dynamic adaptation of its oo design. In Objects, Agents, and Features, pages 67--80. Springer, 2004.

[2]

A. Chapko, B. Feodoroff, D. Werth, and P. Loos. A personalized and context-aware mobile assistance system for cardiovascular prevention and rehabilitation. Lebensqualität im Wandel von Demografie und Technik, 2013.

[3]

R. Eshuis. Reconciling statechart semantics. Science of Computer Programming, 74(3):65--99, 2009.

Digital Library

[4]

G. Fortino, W. Russo, and E. Zimeo. A statecharts-based software development process for mobile agents. Information and Software Technology, 46(13):907--921, 2004.

[5]

M.-P. Gagnon, P. Ngangue, J. Payne-Gagnon, and M. Desmartis. m-health adoption by healthcare professionals: a systematic review. Journal of the American Medical Informatics Association, 23(1):212--220, 2016.

[6]

T. Gao, D. Greenspan, M. Welsh, R. R. Juang, and A. Alm. Vital signs monitoring and patient tracking over a wireless network. In Engineering in Medicine and Biology Society, 2005. IEEE-EMBS 2005. 27th Annual International Conference of the, pages 102--105. IEEE, 2006.

[7]

G. Gard and A. Larsson. Focus on motivation in the work rehabilitation planning process: a qualitative study from the employer's perspective. Journal of Occupational Rehabilitation, 13(3):159--167, 2003.

[8]

C. V. Granger, B. B. Hamilton, R. A. Keith, M. Zielezny, and F. S. Sherwin. Advances in functional assessment for medical rehabilitation. Topics in geriatric rehabilitation, 1(3):59--74, 1986.

[9]

D. Harel. Statecharts: A visual formalism for complex systems. Science of computer programming, 8(3):231--274, 1987.

Digital Library

[10]

D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of uml statechart diagrams. In Formal Methods for Open Object-Based Distributed Systems, pages 331--347. Springer, 1999.

Digital Library

[11]

N. Leveson, M. Heimdahl, H. Hildreth, J. Reese, and R. Ortega. Experiences using statecharts for a system requirements specification. In Proceedings of the 6th international workshop on Software specification and design, pages 31--41. IEEE Computer Society Press, 1991.

Digital Library

[12]

Y. Masuda, M. Sekimoto, M. Nambu, Y. Higashi, T. Fujimoto, K. Chihara, and T. Tamura. An unconstrained monitoring system for home rehabilitation. Engineering in Medicine and Biology Magazine, IEEE, 24(4):43--47, 2005.

[13]

A. Muelder. Yakindu. Yakindu Statechart Modeling Tools, 2011.

[14]

S. Patel, H. Park, P. Bonato, L. Chan, and M. Rodgers. A review of wearable sensors and systems with application in rehabilitation. Journal of neuroengineering and rehabilitation, 9(1):1, 2012.

[15]

G. Postolache, P. Silva GiraÌČo, and O. Postolache. Applying smartphone apps to drive greater patient engagement in personalized physiotherapy. In Medical Measurements and Applications (MeMeA), 2014 IEEE International Symposium on, pages 1--6. IEEE, 2014.

[16]

C. Rougier, J. Meunier, A. St-Arnaud, and J. Rousseau. Fall detection from human shape and motion history using video surveillance. In Advanced Information Networking and Applications Workshops, 2007, AINAW'07. 21st International Conference on, volume 2, pages 875--880. IEEE, 2007.

Digital Library

[17]

S. Saeki, H. Ogata, T. Okubo, K. Takahashi, and T. Hoshuyama. Impact of factors indicating a poor prognosis on stroke rehabilitation effectiveness. Clinical rehabilitation, 7(2):99--104, 1993.

[18]

P. R. Sama, Z. J. Eapen, K. P. Weinfurt, B. R. Shah, and K. A. Schulman. An evaluation of mobile health application tools. JMIR mHealth and uHealth, 2(2):e19, 2014.

[19]

F. Sanfilippo and K. Pettersen. A sensor fusion wearable health-monitoring system with haptic feedback. In Innovations in Information Technology (IIT), 2015 11th International Conference on, pages 262--266. IEEE, 2015.

Digital Library

[20]

B. Sobolev, D. Harel, C. Vasilakis, and A. Levy. Using the statecharts paradigm for simulation of patient flow in surgical care. Health Care Management Science, 11(1):79--86, 2008.

[21]

N. K. Suryadevara and S. C. Mukhopadhyay. Wireless sensor network based home monitoring system for wellness determination of elderly. IEEE Sensors Journal, 12(6):1965--1972, 2012.

[22]

M. Von der Beeck. A comparison of statecharts variants. In International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 128--148. Springer, 1994.

Digital Library

[23]

D. L. Walters, A. Sarela, A. Fairfull, K. Neighbour, C. Cowen, B. Stephens, T. Sellwood, B. Sellwood, M. Steer, M. Aust, et al. A mobile phone-based care model for outpatient cardiac rehabilitation: the care assessment platform (cap). BMC Cardiovascular Disorders, 10(1):5, 2010.

[24]

I. Warren, T. Weerasinghe, R. Maddison, and Y. Wang. Odintelehealth: A mobile service platform for telehealth. Procedia Computer Science, 5:681--688, 2011.

[25]

A. Weiss, T. Herman, N. Giladi, and J. M. Hausdorff. Objective assessment of fall risk in parkinson's disease using a body-fixed sensor worn for 3 days. PloS one, 9(5):e96675, 2014.

[26]

J. Whittle and J. Schumann. Generating statechart designs from scenarios. In Software Engineering, 2000. Proceedings of the 2000 International Conference on, pages 314--323. IEEE, 2000.

Digital Library

Cited By

Rempillo CMustafiz S(2024)STL4IoT: a statechart template library for IoT system designSIMULATION10.1177/00375497241290369Online publication date: 9-Nov-2024
https://doi.org/10.1177/00375497241290369
Ton LLe LNguyen M(2021)Micraspis: A Computer-Aided Proposal Toward Programming and Architecting Smart IoT WearablesIEEE Access10.1109/ACCESS.2021.30967499(105393-105408)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3096749
Ton LLe LPham HDao B(2018)Monitoring IoT Objects in Wearable Applications: An Alloy-Based Approach2018 International Conference on Advanced Computing and Applications (ACOMP)10.1109/ACOMP.2018.00014(35-41)Online publication date: Dec-2018
https://doi.org/10.1109/ACOMP.2018.00014
Show More Cited By

Index Terms

Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes
1. Software and its engineering
  1. Software notations and tools

Recommendations

Code smells in iOS apps: how do they compare to Android?
MOBILESoft '17: Proceedings of the 4th International Conference on Mobile Software Engineering and Systems

With billions of app downloads, the Apple App Store and Google Play Store succeeded to conquer mobile devices. However, this success also challenges app developers to publish high-quality apps to keep attracting and satisfying end-users. In particular, ...
Mining and characterizing hybrid apps
WAMA 2016: Proceedings of the International Workshop on App Market Analytics

Mobile apps have grown tremendously over the past few years. To capitalize on this growth and to attract more users, implementing the same mobile app for different platforms has become a common industry practice. Building the same app natively for each ...
Spam Mobile Apps: Characteristics, Detection, and in the Wild Analysis

The increased popularity of smartphones has attracted a large number of developers to offer various applications for the different smartphone platforms via the respective app markets. One consequence of this popularity is that the app markets are also ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

ACSW '17: Proceedings of the Australasian Computer Science Week Multiconference

January 2017

615 pages

ISBN:9781450347686

DOI:10.1145/3014812

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 January 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ACSW 2017

ACSW 2017: Australasian Computer Science Week 2017

January 30 - February 3, 2017

Geelong, Australia

Acceptance Rates

ACSW '17 Paper Acceptance Rate 78 of 156 submissions, 50%;

Overall Acceptance Rate 204 of 424 submissions, 48%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
267
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)1

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Rempillo CMustafiz S(2024)STL4IoT: a statechart template library for IoT system designSIMULATION10.1177/00375497241290369Online publication date: 9-Nov-2024
https://doi.org/10.1177/00375497241290369
Ton LLe LNguyen M(2021)Micraspis: A Computer-Aided Proposal Toward Programming and Architecting Smart IoT WearablesIEEE Access10.1109/ACCESS.2021.30967499(105393-105408)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3096749
Ton LLe LPham HDao B(2018)Monitoring IoT Objects in Wearable Applications: An Alloy-Based Approach2018 International Conference on Advanced Computing and Applications (ACOMP)10.1109/ACOMP.2018.00014(35-41)Online publication date: Dec-2018
https://doi.org/10.1109/ACOMP.2018.00014
Suthar SCarpenter NChhatralia M(2018)Smart Water Hardness Monitoring SystemInformation and Communication Technology for Intelligent Systems10.1007/978-981-13-1747-7_58(595-601)Online publication date: 15-Dec-2018
https://doi.org/10.1007/978-981-13-1747-7_58
Priyan MDevi G(2017)Energy efficient node selection algorithm based on node performance index and random waypoint mobility model in internet of vehiclesCluster Computing10.1007/s10586-017-0998-x21:1(213-227)Online publication date: 24-Jun-2017
https://doi.org/10.1007/s10586-017-0998-x

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents