轻量级移动服务生成模型、方法与验证

发布时间：2018-03-02 01:25

本文关键词： 轻量级服务生成模型驱动开发移动应用开发服务聚合不完全信息规划行为兼容性分析　出处：《北京邮电大学》2017年博士论文　论文类型：学位论文

【摘要】：随着移动网络和移动终端的普及,移动服务正影响着人们的日常生活,例如,网上订餐服务和智能停车服务等。尤其,应用商店的推广和应用功能的提升使得大量的用户进入移动社区。这也促使移动服务的长尾需求日益明显,也就是说,很多用户希望获取个性化应用来满足他们的特定服务需求。但是,移动应用商店经常不能给终端用户提供恰当的应用来处理他们的个性需求。服务聚合开发可以很好地解决终端用户的个性化需求,它的基本思想是让用户根据自己需求,利用已有的服务资源,快速设计并生成应用。服务聚合开发已成为移动计算和软件开发领域共同的研究热点。现有的服务聚合方法存在“生成的应用类型单一”、“技术门槛较高”、以及“无法提供正确性保证”等问题。针对此,本文提出了一种面向移动环境的轻量级服务生成方法,主要的工作和贡献包括以下三方面:(1)提出了一种模型驱动的移动应用开发框架一MobiMVL。合理的架构范型是应用开发的基础,也是引导用户开发的基本方法。MobiMVL引入了一个三元架构,将应用分为:服务组件域、GUI、以及业务逻辑三个元素。MobiMVL的三个元素分别采用模型驱动的开发模式,并通过简单的协同集成完成应用开发。针对服务组件元素,提出了一种统一数据模型SDM,并提供了相应的实现模板,方便用户接入服务。针对GUI,提出了一种基于Widget的GUI生成模型,允许终端用户通过Widget组合的方式快速生成GUI。为了实现GUI的跨平台能力,提出了一种自适应的Widget模型,它将UI元素、本地功能和第三方服务以统一的形式进行实现,并且可以自动适配到不同的移动平台。针对业务逻辑元素,提出了一种基于数据流图的业务逻辑表示方法,并且实现了一种异步式的事件驱动执行机制。MobiMVL引入了 “软件即服务”的基本思想,可以系统地完成移动服务的生成和提供。根据MobiMVL开发框架,实现了一套移动应用开发平台,它包括ServiceAccess、EasyApp和LSCE三个工具,分别用于 MobiMVL三元素的开发和集成。利用应用实例,分别对开发平台进行了终端用户评估和性能评估。(2)提出了一种面向不完全信息的半自动化服务聚合方法。智能化的服务聚合方法可以帮助用户快速设计业务,并且降低领域知识门槛。针对不完全用户信息,该方法提出了一种动态服务语义模型,它引入了条件依赖、动态的前驱和后置条件等信息。此外,该方法提出了一种基于数据流的自动化服务聚合模型,并且利用K规划理论实现了一种不完全信息下服务聚合的自动规划机制。基于该方法,实现了一种集成化的服务聚合系统,其中,自动规划系统的求解出聚合方案会提交给LSCE环境,由终端用户进一步模拟测试。通过智能停车场实例展示了智能化聚合系统进行业务规划与开发的整体过程。最后,分别从规划效率和效果两个方面对智能聚合系统进行了评价。(3)提出了一种基于模型检测的服务行为兼容性分析方法。该方法可以在服务聚合开发过程中自动生成服务流程的CSP模型以及行为兼容性的性质规范,然后直接提供给模型检测器进行验证。如果不满足兼容性质,则给用户反馈相应的反例,从而方便进行错误追踪。为了方便服务的形式化建模,提出了一种服务行为模型,它细化了 SDM包含的结构信息和逻辑信息。在服务行为模型和服务关系模型的基础上,提出了服务流程到CSP模型的自动化转化方法。从服务聚合层面,对服务行为兼容性进行了分类。针对每类兼容性问题,提供了自动化的性质规范方法。最后,基于该方法和PAT检测器对应用实例进行了分析和验证。
[Abstract]:With the popularity of mobile Internet and mobile terminal, the mobile service is affecting people's daily life, for example, online meal ordering service and intelligent parking service. Especially, the popularization and application of the function of the app store upgrade makes a large number of users to enter the mobile community. This has prompted the shift of long tail demand dynamic service is becoming more and more obvious, that is to say many users want to get personalized applications, to meet the specific needs of their service. However, mobile application stores often cannot provide users with the appropriate application to handle their individual needs. Demand for personalized service aggregation development can be a good solution to the end user, its basic idea is to let users according to their own needs, the use of service resources the rapid design and generate applications. Service aggregation development has become a common research hotspot of mobile computing and software development. The existing service The polymerization method has a "single" application type "generation, high technical threshold," and "unable to provide correct assurance". For this, proposed a method of generating lightweight service oriented mobile environment, the main work and contributions include the following three aspects: (1) put forward the architecture of mobile application development a model driven framework is a reasonable model based MobiMVL. application development, it is the basic method to guide users to develop.MobiMVL into a three yuan architecture, the application is divided into components: service domain, GUI, and the three elements of the business logic of three elements of.MobiMVL were used to model driven development model, and through the simple integration of collaborative application development. In view of the service component elements, presents a unified data model of SDM, and provides the corresponding template, convenient user access to GUI services. , GUI presents a generative model based on Widget, allows the end user to quickly generate GUI. for cross platform capability of GUI by Widget combined mode, proposed an adaptive Widget model, it will be the UI element, the local function and third party service in a unified form of implementation, and can be automatically adapted to different mobile platforms for business logic elements, this paper proposes a new method of business logic based on data flow graphs, and implements an asynchronous event driven mechanism.MobiMVL introduced "software as a service" the basic idea, can systematically generate and provide mobile services. Based on the MobiMVL framework the platform, a set of mobile application development, including ServiceAccess, EasyApp and LSCE three, respectively for the development of MobiMVL three elements and integration. By application examples, respectively The development platform for the terminal user evaluation and performance evaluation. (2) proposed a semi automated service oriented incomplete information aggregation technique. Intelligent service aggregation method can help users to quickly design business, and reduce the domain knowledge threshold. Based on incomplete information of users, this paper proposes a new dynamic model of service semantics and it introduces condition dependent, dynamic precursor and post conditions and other information. In addition, this paper proposes a new automatic service based on data stream aggregation model, and use K programming theory to achieve a finish automatic planning mechanism under full information service aggregation. Based on this method, to achieve an integrated the service aggregation system, the automatic programming system for aggregation scheme will be submitted to the LSCE by the end user environment, further simulation test. Through the intelligent parking lot examples show the wisdom Can polymerization system overall planning and development of the business process. Finally, from two aspects of efficiency and effectiveness of planning of intelligent polymerization system were evaluated. (3) proposed a method of model checking based on service behavior compatibility. This method can be polymerized in the development process of automatic generation of CSP service process model the nature and behavior compatibility in the service specification, and then directly to the model checker to verify. If it does not satisfy the compatible nature, to user feedback corresponding counterexample, thereby facilitating the error tracking. In order to facilitate the formal modeling service, this paper proposes a kind of service behavior model, it refines the structure information and logical information SDM contains. On the basis of service behavior model and service model, put forward the automation service process to CSP model transformation method. From the service level of service aggregation. Behavioral compatibility is classified. For each class of compatibility problems, an automatic specification method is provided. Finally, an application example is analyzed and verified based on the method and PAT detector.

【学位授予单位】：北京邮电大学
【学位级别】：博士
【学位授予年份】：2017
【分类号】：TP393.09

【参考文献】