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.
['Hiroshi Igaki', 'Masahide Nakamura', 'Ken-ichi Matsumoto', 'Mikio Aoyama']
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems