Skip to main content
SpringerLink
Log in

Engineering Android Applications Based on UML Activities

  • Conference paper
Book cover Model Driven Engineering Languages and Systems (MODELS 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6981))

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Android SDK (2011), http://developer.android.com/sdk

  2. Xcode 4 (2011), http://developer.apple.com/technologies/tools

  3. 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)

    Chapter  Google Scholar 

  4. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, New York (1994)

    MATH  Google Scholar 

  5. 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)

    Google Scholar 

  6. Kraemer, F.A., Bræk, R., Herrmann, P.: Compositional Service Engineering with Arctis. Telektronikk 105, 135–151 (2009)

    Google Scholar 

  7. Andromate Website (2011), http://www.lab.telin.nl/~msteen/andromate

  8. Google App Inventor Website (2011), http://appinventor.googlelabs.com

  9. Roque, R.V.: OpenBlocks: An Extendable Framework for Graphical Block Programming Systems. Master’s thesis, Massachusetts Institute of Technology (2007)

    Google Scholar 

  10. Friese, P., Behrens, H.: Cross-Platform Mobile Development with Eclipse. In: EclipseCon 2011, Santa Clara, California, USA, March 21-24 (2011)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Google Scholar 

  18. Arctis Website (2011), http://arctis.item.ntnu.no

  19. 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)

    Article  Google Scholar 

  20. Android Developer Guide (2011), http://www.developer.android.com

  21. Schulzrinne, H., Casner, S., Frederick, R., Jacobson, V.: RTP: A Transport Protocol for Real-Time Applications. RFC 3550 (2003)

    Google Scholar 

  22. Saint-Andre, P.: Extensible Messaging and Presence Protocol (XMPP): Core. RFC 6120 (2011)

    Google Scholar 

  23. Object Management Group: Unified Modeling Language: Superstructure, version 2.3, formal/2010-05-05 (2010)

    Google Scholar 

  24. 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)

    Chapter  Google Scholar 

  25. Arctis Verification Project. Norwegian Research Council, Project no. 199644

    Google Scholar 

  26. Sagberg, G.: Engineering Responsive Mobile Applications for Android from Reusable Building Blocks. Master’s Thesis, Norwegian University of Science and Technology (2011)

    Google Scholar 

  27. Knutsen, M.: Towards Model-Driven Engineering of Android Applications. Project Thesis, Norwegian University of Science and Technology (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Telematics, Norwegian University of Science and Technology (NTNU), N-7491, Trondheim, Norway

    Frank Alexander Kraemer

Authors
  1. Frank Alexander Kraemer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Communications, Lancaster University, InfoLab21, South Drive, LA1 4WA, Lancaster, UK

    Jon Whittle

  2. School of Engineering and Information Sciences, Middlesex University, The Burroughs, Hendon, NW4 4BT, London, UK

    Tony Clark

  3. School of Engineering and Computer Science, Victoria University, P.O. Box 600, 6140, Wellington, New Zealand

    Thomas Kühne

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation