Towards reliable e-Government systems with the OTS/CafeOBJ method

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

System implementation for e-Government initiatives should be reliable. Unreliable system implementation could, on the one hand, be insufficient to fulfill basic system requirements, and more seriously on the other hand, break the trust of citizens on governments. The objective of this paper is to advocate the use of formal methods in general, the OTS/CafeOBJ method in particular in this paper, to help develop reliable system implementation for e-Government initiatives. An experiment with the OTS/CafeOBJ method on an e-Government messaging framework proposed for providing citizens with seamless public services is described to back up our advocation. Two previously not well-clarified problems of the framework and their potential harm realized in this experiment are reported, and possible ways of revisions to the framework are suggested as well. The revisions are proved to be sufficient for making the framework satisfy certain desired properties.

Original languageEnglish
Pages (from-to)974-984
Number of pages11
JournalIEICE Transactions on Information and Systems
VolumeE93-D
Issue number5
DOIs
Publication statusPublished - Jan 1 2010

Fingerprint

Formal methods
Experiments

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Cite this

Towards reliable e-Government systems with the OTS/CafeOBJ method. / Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi.

In: IEICE Transactions on Information and Systems, Vol. E93-D, No. 5, 01.01.2010, p. 974-984.

Research output: Contribution to journalArticle

Kong, Weiqiang ; Ogata, Kazuhiro ; Futatsugi, Kokichi. / Towards reliable e-Government systems with the OTS/CafeOBJ method. In: IEICE Transactions on Information and Systems. 2010 ; Vol. E93-D, No. 5. pp. 974-984.
@article{6e6e0d03fcd94790904fb783436b67fa,
title = "Towards reliable e-Government systems with the OTS/CafeOBJ method",
abstract = "System implementation for e-Government initiatives should be reliable. Unreliable system implementation could, on the one hand, be insufficient to fulfill basic system requirements, and more seriously on the other hand, break the trust of citizens on governments. The objective of this paper is to advocate the use of formal methods in general, the OTS/CafeOBJ method in particular in this paper, to help develop reliable system implementation for e-Government initiatives. An experiment with the OTS/CafeOBJ method on an e-Government messaging framework proposed for providing citizens with seamless public services is described to back up our advocation. Two previously not well-clarified problems of the framework and their potential harm realized in this experiment are reported, and possible ways of revisions to the framework are suggested as well. The revisions are proved to be sufficient for making the framework satisfy certain desired properties.",
author = "Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi",
year = "2010",
month = "1",
day = "1",
doi = "10.1587/transinf.E93.D.974",
language = "English",
volume = "E93-D",
pages = "974--984",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "一般社団法人電子情報通信学会",
number = "5",

}

TY - JOUR

T1 - Towards reliable e-Government systems with the OTS/CafeOBJ method

AU - Kong, Weiqiang

AU - Ogata, Kazuhiro

AU - Futatsugi, Kokichi

PY - 2010/1/1

Y1 - 2010/1/1

N2 - System implementation for e-Government initiatives should be reliable. Unreliable system implementation could, on the one hand, be insufficient to fulfill basic system requirements, and more seriously on the other hand, break the trust of citizens on governments. The objective of this paper is to advocate the use of formal methods in general, the OTS/CafeOBJ method in particular in this paper, to help develop reliable system implementation for e-Government initiatives. An experiment with the OTS/CafeOBJ method on an e-Government messaging framework proposed for providing citizens with seamless public services is described to back up our advocation. Two previously not well-clarified problems of the framework and their potential harm realized in this experiment are reported, and possible ways of revisions to the framework are suggested as well. The revisions are proved to be sufficient for making the framework satisfy certain desired properties.

AB - System implementation for e-Government initiatives should be reliable. Unreliable system implementation could, on the one hand, be insufficient to fulfill basic system requirements, and more seriously on the other hand, break the trust of citizens on governments. The objective of this paper is to advocate the use of formal methods in general, the OTS/CafeOBJ method in particular in this paper, to help develop reliable system implementation for e-Government initiatives. An experiment with the OTS/CafeOBJ method on an e-Government messaging framework proposed for providing citizens with seamless public services is described to back up our advocation. Two previously not well-clarified problems of the framework and their potential harm realized in this experiment are reported, and possible ways of revisions to the framework are suggested as well. The revisions are proved to be sufficient for making the framework satisfy certain desired properties.

UR - http://www.scopus.com/inward/record.url?scp=77951779328&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77951779328&partnerID=8YFLogxK

U2 - 10.1587/transinf.E93.D.974

DO - 10.1587/transinf.E93.D.974

M3 - Article

AN - SCOPUS:77951779328

VL - E93-D

SP - 974

EP - 984

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 5

ER -