ANEL: Robust Mobile Network Programming Using a Declarative Language
ANEL: Robust Mobile Network Programming Using a Declarative Language
复制标题
ANEL：使用声明性语言进行稳健的移动网络编程
DOI：
10.1145/3197231.3197237
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Zhou, Yuanyuan
中科院分区：
文献类型：
--
作者：
Jin, Xinxin;Griswold, William G.;Zhou, Yuanyuan
移动网络的动态使得移动应用程序很难提供无缝的用户体验。特别是断断续续的连接和微弱的信号给应用程序开发人员带来了挑战。虽然最近的网络库简化了网络编程，但仍然需要大量的专业知识。然而，大多数手机应用开发者都是新手，他们倾向于假设有可靠的网络连接，很少注意处理编程中的网络错误，直到用户抱怨并留下差评。我们认为，避免此类软件缺陷的困难可以通过注释语言减轻，该语言允许开发人员声明性地声明应用程序的期望和实际属性，在很大程度上不需要参考容错概念，更不用说实现了。预编译器可以处理这些注释，将对标准网络库的调用替换为对增强可靠性的专用库的自定义调用。本文介绍了ANEL，一种用于Android的声明性语言和中间件，可以使非专家。我们通过对现实世界联网移动应用程序的案例研究和可用性研究，展示了ANEL注释的表达性和实用性。我们还展示了ANEL中间件引入的运行时性能开销可以忽略不计。
The dynamics of mobile networks make it difficult for mobile apps to deliver a seamless user experience. In particular, intermittent connections and weak signals pose challenges for app developers. While recent network libraries have simplified network programming, much expert knowledge is still required. However, most mobile app developers are relative novices and tend to assume a reliable network connection, paying little attention to handling network errors in programming until users complain and leave bad reviews.We argue that the difficulty of avoiding such software defects can be mitigated through an annotation language that allows developers to declaratively state desired and actual properties of the application, largely without reference to fault-tolerant concepts, much less implementation. A pre-compiler can process these annotations, replacing calls to standard networking libraries with customized calls to a specialized library that enhances the reliability. This paper presents ANEL, a declarative language and middleware for Android that enables non-experts. We demonstrate the expressiveness and practicability of ANEL annotation through case studies and usability studies on real-world networked mobile apps. We also show that the ANEL middleware introduces negligible runtime performance overhead.
登录
查看更多内容
超越黑匣子：开放实施
DOI：
10.1109/52.476280
发表时间：
1996
期刊：
IEEE Softw.
影响因子：
--
作者：
G. Kiczales
通讯作者：
G. Kiczales
使用 Tempus 管理移动应用中的能量延迟权衡
DOI：
10.1145/2814576.2814803
发表时间：
2015
期刊：
Proceedings of the 16th Annual Middleware Conference
影响因子：
--
作者：
Nima Nikzad;Marjan Radi;O. Chipara;W. Griswold
通讯作者：
W. Griswold
可分析的注释语言
DOI：
--
发表时间：
2002
期刊：
Conference on Object-Oriented Programming Systems, Languages, and Applications
影响因子：
--
作者：
S. Khurshid;D. Marinov;D. Jackson
通讯作者：
D. Jackson
DOI：
10.1007/bfb0053381
发表时间：
1997-01-01
期刊：
ECOOP'97: OBJECT-ORIENTED PROGRAMMING
影响因子：
--
作者：
Kiczales, G;Lamping, J;Irwin, J
通讯作者：
Irwin, J
注释用户定义的抽象以进行优化
DOI：
--
发表时间：
2005
期刊：
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium
影响因子：
--
作者：
D. Quinlan;M. Schordan;R. Vuduc;Qing Yi
通讯作者：
Qing Yi