Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems

2006 13th Asia Pacific Software Engineering Conference (APSEC'06) Pub Date : 2006-12-06 DOI:10.1109/APSEC.2006.17

H. Igaki, Masahide Nakamura, Ken-ichi Matsumoto, M. Aoyama

{"title":"Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems","authors":"H. Igaki, Masahide Nakamura, Ken-ichi Matsumoto, M. Aoyama","doi":"10.1109/APSEC.2006.17","DOIUrl":null,"url":null,"abstract":"The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the integrated HNS services requires implementation of the appliance components (with APIs) and the services, according to each home-network environment. There are various implementation standards such as DLNA, ECHONET, OSGi and Jinifor the HNS applications. Therefore, even if a developer can choose the optimal one, it's very difficult to develop the integrated services by composing a new HNS implementation. In this paper, we propose a model-driven development of integrated HNS service applications. In our former manuscript, platform-independent design language for verifying HNS service scenarios was proposed. Our model-driven development method uses this design language as a meta-model of integrated HNS services. By model transformation to concrete implementation together with verification by SMV (symbolic model checking), productivity and quality of this kind of HNS applications are improved.","PeriodicalId":341929,"journal":{"name":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","volume":"127 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 13th Asia Pacific Software Engineering Conference (APSEC'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.2006.17","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

Abstract

The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the integrated HNS services requires implementation of the appliance components (with APIs) and the services, according to each home-network environment. There are various implementation standards such as DLNA, ECHONET, OSGi and Jinifor the HNS applications. Therefore, even if a developer can choose the optimal one, it's very difficult to develop the integrated services by composing a new HNS implementation. In this paper, we propose a model-driven development of integrated HNS service applications. In our former manuscript, platform-independent design language for verifying HNS service scenarios was proposed. Our model-driven development method uses this design language as a meta-model of integrated HNS services. By model transformation to concrete implementation together with verification by SMV (symbolic model checking), productivity and quality of this kind of HNS applications are improved.

查看原文本刊更多论文

在家庭网络系统中采用模型驱动开发集成业务和设备

家庭网络系统(HNS)技术允许多种家用电器的集成，为用户提供增值的综合服务。综合HNS业务的开发需要根据每个家庭网络环境实现设备组件(带有api)和服务。HNS应用有多种实现标准，如DLNA、ECHONET、OSGi和jini。因此，即使开发人员可以选择最优的一个，也很难通过组合新的HNS实现来开发集成的服务。本文提出了一种基于模型驱动的HNS综合业务应用开发方法。在我们之前的手稿中，提出了用于验证HNS服务场景的平台无关的设计语言。我们的模型驱动开发方法使用这种设计语言作为集成HNS服务的元模型。通过模型转换到具体实现，并通过SMV(符号模型检验)验证，提高了这类HNS应用的生产率和质量。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2006 13th Asia Pacific Software Engineering Conference (APSEC'06)

自引率

0.00%

发文量