Abstract
With the evolving capabilities of devices, mobile applications are emerging towards complex reactive systems. To handle this complexity and shorten development time by increased reuse, we propose an engineering approach based on UML activities, which are used like building blocks to construct applications. Libraries of such building blocks make Android-specific features available. Tool support provides automatic formal analysis for soundness and automatic implementation. Furthermore, the approach is easily extensible, since new features can be provided by new building blocks, without changing the tools or notation. We demonstrate the method by a voice messaging application.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Android SDK (2011), http://developer.android.com/sdk
Xcode 4 (2011), http://developer.apple.com/technologies/tools
Pnueli, A.: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) Current Trends in Concurrency. LNCS, vol. 224, pp. 510–584. Springer, Heidelberg (1986)
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, New York (1994)
Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology (2008)
Kraemer, F.A., Bræk, R., Herrmann, P.: Compositional Service Engineering with Arctis. Telektronikk 105, 135–151 (2009)
Andromate Website (2011), http://www.lab.telin.nl/~msteen/andromate
Google App Inventor Website (2011), http://appinventor.googlelabs.com
Roque, R.V.: OpenBlocks: An Extendable Framework for Graphical Block Programming Systems. Master’s thesis, Massachusetts Institute of Technology (2007)
Friese, P., Behrens, H.: Cross-Platform Mobile Development with Eclipse. In: EclipseCon 2011, Santa Clara, California, USA, March 21-24 (2011)
Dunkel, J., Bruns, R.: Model-driven architecture for mobile applications. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol. 4439, pp. 464–477. Springer, Heidelberg (2007)
Thompson, C., Turner, H., White, J., Schmidt, D.C.: Analyzing Mobile Application Software Power Consumption via Model-Driven Engineering. In: Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems, Algarve, Portugal, March 5-7 (2011)
Geihs, K., Evers, C., Reichle, R., Wagner, M., Khan, M.U.: Development Support for QoS-Aware Service-Adaptation in Ubiquitous Computing Applications. In: Proceedings of the ACM Symposium on Applied Computing (SAC). ACM, New York (2011)
Kraemer, F.A., Herrmann, P.: Automated encapsulation of UML activities for incremental development and verification. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 571–585. Springer, Heidelberg (2009)
Kraemer, F.A., Herrmann, P.: Reactive Semantics for Distributed UML Activities. In: Hatcliff, J., Zucca, E. (eds.) FMOODS 2010. LNCS, vol. 6117, pp. 17–31. Springer, Heidelberg (2010)
Kraemer, F.A., Slåtten, V., Herrmann, P.: Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software 82, 2068–2080 (2009)
Kraemer, F.A., Herrmann, P.: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In: Ehrig, K., Giese, H. (eds.) Graph Transformation and Visual Modeling Techniques 2007, Electronic Communications of the EASST, vol. 6 (2007)
Arctis Website (2011), http://arctis.item.ntnu.no
Kraemer, F.A., Kathayat, S.B., Bræk, R.: Unified Modeling of Service Logic with User Interfaces. International Journal of Cooperative Information Systems (IJCIS) 20, 177–200 (2011)
Android Developer Guide (2011), http://www.developer.android.com
Schulzrinne, H., Casner, S., Frederick, R., Jacobson, V.: RTP: A Transport Protocol for Real-Time Applications. RFC 3550 (2003)
Saint-Andre, P.: Extensible Messaging and Presence Protocol (XMPP): Core. RFC 6120 (2011)
Object Management Group: Unified Modeling Language: Superstructure, version 2.3, formal/2010-05-05 (2010)
Yu, Y., Manolios, P., Lamport, L.: Model Checking TLA + Specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54–66. Springer, Heidelberg (1999)
Arctis Verification Project. Norwegian Research Council, Project no. 199644
Sagberg, G.: Engineering Responsive Mobile Applications for Android from Reusable Building Blocks. Master’s Thesis, Norwegian University of Science and Technology (2011)
Knutsen, M.: Towards Model-Driven Engineering of Android Applications. Project Thesis, Norwegian University of Science and Technology (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kraemer, F.A. (2011). Engineering Android Applications Based on UML Activities. In: Whittle, J., Clark, T., Kühne, T. (eds) Model Driven Engineering Languages and Systems. MODELS 2011. Lecture Notes in Computer Science, vol 6981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24485-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-24485-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24484-1
Online ISBN: 978-3-642-24485-8
eBook Packages: Computer ScienceComputer Science (R0)