COSAP: Contract-Oriented Sensor-Based Application Platform

被引:4
|
作者
Oide, Takuma [1 ,2 ]
Abe, Toru [3 ]
Suganuma, Takuo [3 ]
机构
[1] Japan Soc Promot Sci, Tokyo 1020083, Japan
[2] Tohoku Univ, Grad Sch Informat Sci, Sendai, Miyagi 9808577, Japan
[3] Tohoku Univ, Cybersci Ctr, Sendai, Miyagi, Japan
来源
IEEE ACCESS | 2017年 / 5卷
关键词
Contract protocol; network service platform; participatory sensing; contents flow; mobile ad-hoc network; multi agent system; ubiquitous computing; NETWORK;
D O I
10.1109/ACCESS.2017.2696027
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Research and development on participatory sensing that accumulates a large amount of data acquired from users on the cloud and handles them as big data has proceeded due to the spread of sensor devices with miniaturized and advanced functions typified by smartphones. However, in service configuration models based on the current participatory sensing for which the cloud is a core component, there is a problem in that it is not possible to flexibly distribute information according to the data provisioning policy. In this paper, we propose a new sensor-based application platform based on a service configuration model that does not use a server or a cloud. In addition, we design and implement a contract-oriented information flow protocol, which realizes flexible reflection of the provisioning policy on that platform. Furthermore, we discuss feasibility and scope of the proposed protocol through simulation experiments.
引用
收藏
页码:8261 / 8275
页数:15
相关论文
共 50 条
  • [1] A Design of Contract-oriented Sensor Application Platform
    Oide, Takuma
    Abe, Toru
    Suganuma, Takuo
    2015 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATION WORKSHOPS (PERCOM WORKSHOPS), 2015, : 172 - 177
  • [2] Contract-oriented specifications
    Mitchell, R
    Howse, J
    Hamie, A
    TOOLS 24: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 24 : 131 - 140
  • [3] A Contract-Oriented Middleware
    Bartoletti, Massimo
    Cimoli, Tiziana
    Murgia, Maurizio
    Podda, Alessandro Sebastian
    Pompianu, Livio
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2016, 9539 : 86 - 104
  • [4] A CNL for Contract-Oriented Diagrams
    Camilleri, John J.
    Paganelli, Gabriele
    Schneider, Gerardo
    CONTROLLED NATURAL LANGUAGE, CNL 2014, 2014, 8625 : 135 - 146
  • [5] Verifiable abstractions for contract-oriented systems
    Bartoletti, Massimo
    Murgia, Maurizio
    Scalas, Alceste
    Zunino, Roberto
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 86 (01) : 159 - 207
  • [6] A Web Service Adapter with Contract-Oriented Methodology
    Li, Junhuai
    Wang, Yile
    Zhang, Jing
    Zhang, Zhuobin
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 1144 - 1149
  • [7] Contract-Oriented Computing in CO2
    Bartoletti, Massimo
    Tuosto, Emilio
    Zunino, Roberto
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2012, 22 (01) : 5 - 60
  • [8] Modelling and Verifying Contract-Oriented Systems in Maude
    Bartoletti, Massimo
    Murgia, Maurizio
    Scalas, Alceste
    Zunino, Roberto
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2014, 2014, 8663 : 130 - 146
  • [9] Formal languages and analysis of contract-oriented software
    Owe, Olaf
    Schneider, Gerardo
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 291 - 292
  • [10] Contract-Oriented Software Development for Internet Services
    Giambiagi, Pablo
    Owe, Olaf
    Ravn, Anders P.
    Schneider, Gerardo
    ERCIM NEWS, 2008, (72): : 47 - 48