Formally specifying and verifying mobile agents - Model checking mobility: The MobiOZ approach

被引：0
|
作者：
Information Systems Architecture Research Division, Grace Center National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101 8430, Japan [1 ]
不详 [2 ]
机构：
来源：
International Journal of Agent-Oriented Software Engineering | 2008年 / 2卷 / 04期
关键词：
D O I：
10.1504/IJAOSE.2008.020140
中图分类号：
学科分类号：
摘要：
33
引用
收藏
页码：449 / 474
相关论文
共 22 条
  • [1] A Practical Approach to Specifying and Verifying Mobile Agent Algorithms
    Li, Xuhui
    Peng, Zhiyong
    Cao, Jiannong
    INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS, 2005, 1 (02) : 113 - +
  • [2] A model checking approach for verifying COWS specifications
    Fantechi, Alessandro
    Gnesi, Stefania
    Lapadula, Alessandro
    Mazzanti, Franco
    Pugliese, Rosario
    Tiezzi, Francesco
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 230 - +
  • [3] An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms
    Ha Thi Thu Doan
    Riesco, Adrian
    Ogata, Kazuhiro
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2019, 2019, 11914 : 111 - 126
  • [4] Specifying and verifying contract-driven service compositions using commitments and model checking
    Bataineh, Ahmed Saleh
    Bentahar, Jamal
    El Menshawy, Mohamed
    Dssouli, Rachida
    EXPERT SYSTEMS WITH APPLICATIONS, 2017, 74 : 151 - 184
  • [5] Verifying communicating agents by model checking in a temporal action logic
    Giordano, L
    Martelli, A
    Schwind, C
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 57 - 69
  • [6] Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream
    Van Pham, Dang
    Phan, Vinh Cong
    Nguyen, Bao Khang
    INTERNET OF THINGS, 2023, 23
  • [7] A symbolic model checking approach to verifying satellite onboard software
    Gan, Xiang
    Dubrovin, Jori
    Heljanko, Keijo
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 82 : 44 - 55
  • [8] A new model checking approach for verifying agent communication protocols
    Bentahar, Jamal
    Moulin, Bernard
    Meyer, John-Jules Ch.
    2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5, 2006, : 1877 - +
  • [9] Verifying UML diagrams with model checking: A rewriting logic based approach
    Mokhati, Farid
    Gagnon, Patrice
    Badri, Mourad
    USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 356 - 362
  • [10] The network model of mobile agents with the human mobility
    Ding Yi-Min
    Yang Chang-Ping
    ACTA PHYSICA SINICA, 2012, 61 (23)
123