Engineering android applications based on UML activities

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.

[1]  Peter Herrmann,et al.  Reactive Semantics for Distributed UML Activities , 2010, FMOODS/FORTE.

[2]  Peter Herrmann,et al.  Automated Encapsulation of UML Activities for Incremental Development and Verification , 2009, MoDELS.

[3]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[4]  Frank Alexander Kraemer,et al.  Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks , 2008 .

[5]  Geir Sagberg Engineering Responsive Mobile Applications for Android from Reusable Building Blocks , 2011 .

[6]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[7]  George J. Milne,et al.  Correct Hardware Design and Verification Methods , 2003, Lecture Notes in Computer Science.

[8]  Vidar Slåtten,et al.  Tool support for the rapid composition, analysis and implementation of reactive services , 2009, J. Syst. Softw..

[9]  Peter Herrmann,et al.  Transforming Collaborative Service Specifications into Efficiently Executable State Machines , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[10]  Peter Saint-Andre,et al.  Extensible Messaging and Presence Protocol (XMPP): Core , 2004, RFC.

[11]  David Lee,et al.  Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings , 2009, FMOODS/FORTE.

[12]  Henning Schulzrinne,et al.  RTP: A Transport Protocol for Real-Time Applications , 1996, RFC.

[13]  Leslie Lamport,et al.  Model Checking TLA+ Specifications , 1999, CHARME.

[14]  Jürgen Dunkel,et al.  Model-Driven Architecture for Mobile Applications , 2007, BIS.

[15]  Kurt Geihs,et al.  Development support for QoS-aware service-adaptation in ubiquitous computing applications , 2011, SAC.

[16]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[17]  Douglas C. Schmidt,et al.  Analyzing Mobile Application Software Power Consumption via Model-driven Engineering , 2011, PECCS.

[18]  Peter Herrmann,et al.  Compositional Service Engineering with Arctis , 2009 .

[19]  Ricarose Roque OpenBlocks : an extendable framework for graphical block programming systems , 2007 .

[20]  Grzegorz Rozenberg,et al.  Current Trends in Concurrency , 1986, Lecture Notes in Computer Science.

[21]  Frank Alexander Kraemer,et al.  Unified modeling of service logic with user interfaces , 2009 .