ABSTRACT
We introduce a novel method for creating mobile applications, integrating the Android SDK into PlayGo, a scenario-based behavioral programming framework. The method allows creating mobile applications simply by using a visual GUI editor, and then incrementally "playing in" scenarios that construct the application's behavior. This allows the developer to focus on the behavior and interface rather than on the syntax and code.
- Android development toolkit (adt). http://developer.android.com/tools/help/adt.html. Accessed 6/2015.Google Scholar
- Android studio. http://developer.android.com/tools/studio/index.html. Accessed 6/2015.Google Scholar
- Documentation of the unified modeling language (uml), available from the object management group(omg). http://www.omg.org.Google Scholar
- Intellij idea. https://www.jetbrains.com/idea. Accessed 6/2015.Google Scholar
- ITU-TS, ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)ITU-TS, geneva. 1996.Google Scholar
- A. Abadi, and Y. Dubinsky, and A. Kirshin, and Y. Mesika, and I. Ben-Harrush, and U. Hadad. Nitrogen: rapid development of mobile applications. In Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity, pages 15--16. ACM, 2013. Google ScholarDigital Library
- A. Abadi, and Y. Dubinsky, and A. Kirshin, and Y. Mesika, and I. Ben-Harrush, and U. Hadad. Developing enterprise mobile applications the easy way. In Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, pages 78--83. ACM, 2014. Google ScholarDigital Library
- D. Coleman, and F. Hayes and S. Bear. Introducing objectcharts or how to use statecharts in object-oriented design. Software Engineering, IEEE Transactions on, 18(1):8--18, 1992. Google ScholarDigital Library
- D. Harel. From play-in scenarios to code: An achievable dream. Computer, 34(1):53--60, 2001. Google ScholarDigital Library
- D. Harel. Can programming be liberated, period? Computer, 41(1):28--37, 2008. Google ScholarDigital Library
- D. Harel, and A. Kleinbort, and S. Maoz. S2A: A compiler for multi-modal uml sequence diagrams. In Fundamental Approaches to Software Engineering, pages 121--124. Springer, 2007. Google ScholarDigital Library
- D. Harel, and A. Marron, and G. Weiss. Behavioral programming. Communications of the ACM, 55(7):90--100, 2012. Google ScholarDigital Library
- D. Harel, and H. Kugler. Synthesizing state-based object systems from lsc specifications. International Journal of Foundations of Computer Science, 13(01):5--51, 2002.Google ScholarCross Ref
- D. Harel, and H. Kugler, and A. Pnueli. Smart play-out extended: Time and forbidden elements. In Quality Software, 2004. QSIC 2004. Proceedings. Fourth International Conference on, pages 2--10. IEEE, 2004. Google ScholarDigital Library
- D. Harel, and H. Kugler, and R. Marelly, and A. Pnueli. Smart play-out of behavioral requirements. In FMCAD, volume 2, pages 378--398. Springer, 2002. Google ScholarDigital Library
- D. Harel, and H. Kugler, and R. Marelly, and A. Pnueli. Smart play-out. In Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 68--69. ACM, 2003. Google ScholarDigital Library
- D. Harel, and R. Marelly. Playing with time: On the specification and execution of time-enriched lscs. In Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002. MASCOTS 2002. Proceedings. 10th IEEE International Symposium on, pages 193--202. IEEE, 2002. Google ScholarDigital Library
- D. Harel, and R. Marelly. Come, let's play: scenario-based programming using LSCs and the play-engine, volume 1. Springer Science & Business Media, 2003. Google ScholarDigital Library
- D. Harel, and R. Marelly. Specifying and executing behavioral requirements: The play-in/play-out approach. Software and Systems Modeling, 2(2):82--107, 2003.Google ScholarDigital Library
- D. Harel, and S. Maoz, and S. Szekely, and D. Barkan. PlayGo: towards a comprehensive tool for scenario based programming. In Proceedings of the IEEE/ACM international conference on Automated software engineering, pages 359--360. ACM, 2010. Google ScholarDigital Library
- Luís Pires da Silva and Fernando Brito e Abreu. Model-driven gui generation and navigation for android bis apps. In Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on, pages 400--407. IEEE, 2014. Google ScholarDigital Library
- Frank Alexander Kraemer. Engineering android applications based on uml activities. In Model Driven Engineering Languages and Systems, pages 183--197. Springer, 2011. Google ScholarDigital Library
- M. Mayer, and V. Kuncak. Game programming by demonstration. In Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software, pages 75--90. ACM, 2013. Google ScholarDigital Library
- Hrushikesha Mohanty, Satyajit Acharya, RK Shyamasundar, and RK Ghosh. Mobichart for modeling mobile computing tasks. In TENCON 2003. Conference on Convergent Technologies for the Asia-Pacific Region, volume 1, pages 193--197. IEEE, 2003.Google ScholarCross Ref
- N. Piterman, and A. Pnueli, and Y. Sa'ar. Synthesis of reactive (1) designs. In Verification, Model Checking, and Abstract Interpretation, pages 364--380. Springer, 2006. Google ScholarDigital Library
- N. Tillmann, and M. Moskal, and J. de Halleux, and M. Fahndrich. Touchdevelop: programming cloud-connected mobile devices via touchscreen. In Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, pages 49--60. ACM, 2011. Google ScholarDigital Library
- Tuan A. Nguyen, Christoph Csallner, and Nikolai Tillmann. Gropg: A graphical on-phone debugger. In Proc. 35th ACM/IEEE International Conference on Software Engineering (ICSE), New Ideas and Emerging Results (NIER) track, May 2013. To appear. Google ScholarDigital Library
- Shaileen Crawford Pokress and José Juan Dominguez Veiga. Mit app inventor: Enabling personal mobile computing. arXiv preprint arXiv:1310.2830, 2013.Google Scholar
- R. Marelly, and D. Harel, and H. Kugler. Multiple instances and symbolic variables in executable sequence charts. In ACM SIGPLAN Notices, volume 37, pages 83--100. ACM, 2002. Google ScholarDigital Library
- W. Damm, and D. Harel. Lscs: Breathing life into message sequence charts. Formal methods in system design, 19(1):45--80, 2001. Preliminary version in: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 99), Kluwer Academic Publishers, 1999, pp. 293--312. Google ScholarDigital Library
Index Terms
- Scenario-based programming for mobile applications
Recommendations
An Explorative Study of the Mobile App Ecosystem from App Developers' Perspective
WWW '17: Proceedings of the 26th International Conference on World Wide WebWith the prevalence of smartphones, app markets such as Apple App Store and Google Play has become the center stage in the mobile app ecosystem, with millions of apps developed by tens of thousands of app developers in each major market. This paper ...
The impact of cross-platform development approaches for mobile applications from the user's perspective
WAMA 2016: Proceedings of the International Workshop on App Market AnalyticsMobile app developers today have a hard decision to make: to independently develop native apps for different operating systems or to develop an app that is cross-platform compatible. The availability of different tools and approaches to support cross-...
End Users' Perception of Hybrid Mobile Apps in the Google Play Store
MS '15: Proceedings of the 2015 IEEE International Conference on Mobile ServicesToday millions of mobile apps are downloaded and used all over the world. Mobile apps are distributed via different app stores, such as the Google Play Store, the Apple App Store, the Windows Phone Store. One of the most intriguing challenges in mobile ...
Comments