Engineering android applications based on UML activities

Authors:
Frank Alexander Kraemer
Affiliations:
Norwegian University of Science and Technology, Department of Telematics, Trondheim, Norway
Venue:
Proceedings of the 14th international conference on Model driven engineering languages and systems
Year:
2011

Citing 8
Cited 1

Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Real-time object-oriented modeling

Real-time object-oriented modeling
Model Checking TLA+ Specifications

CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Tool support for the rapid composition, analysis and implementation of reactive services

Journal of Systems and Software
Automated Encapsulation of UML Activities for Incremental Development and Verification

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model-driven architecture for mobile applications

BIS'07 Proceedings of the 10th international conference on Business information systems
Development support for QoS-aware service-adaptation in ubiquitous computing applications

Proceedings of the 2011 ACM Symposium on Applied Computing
Reactive semantics for distributed UML activities

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems

Yet another DSL for cross-platforms mobile development

Proceedings of the First Workshop on the Globalization of Domain Specific Languages

Quantified Score

Hi-index	0.00

Visualization

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.