The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
La mise en œuvre du système pour les initiatives d'administration électronique doit être fiable. Une mise en œuvre peu fiable du système pourrait, d’une part, s’avérer insuffisante pour répondre aux exigences de base du système et, plus grave, d’autre part, briser la confiance des citoyens dans les gouvernements. L'objectif de cet article est de préconiser l'utilisation de méthodes formelles en général, la méthode OTS/CafeOBJ en particulier dans cet article, pour aider à développer une mise en œuvre de systèmes fiables pour les initiatives d'e-gouvernement. Une expérience avec la méthode OTS/CafeOBJ sur un cadre de messagerie de gouvernement électronique proposé pour fournir aux citoyens des services publics transparents est décrite pour étayer notre plaidoyer. Deux problèmes du cadre jusqu'alors non bien clarifiés et leurs dommages potentiels réalisés dans cette expérience sont rapportés, et des moyens possibles de révision du cadre sont également suggérés. Les révisions se sont avérées suffisantes pour que le cadre satisfasse à certaines propriétés souhaitées.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copier
Weiqiang KONG, Kazuhiro OGATA, Kokichi FUTATSUGI, "Towards Reliable E-Government Systems with the OTS/CafeOBJ Method" in IEICE TRANSACTIONS on Information,
vol. E93-D, no. 5, pp. 974-984, May 2010, doi: 10.1587/transinf.E93.D.974.
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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E93.D.974/_p
Copier
@ARTICLE{e93-d_5_974,
author={Weiqiang KONG, Kazuhiro OGATA, Kokichi FUTATSUGI, },
journal={IEICE TRANSACTIONS on Information},
title={Towards Reliable E-Government Systems with the OTS/CafeOBJ Method},
year={2010},
volume={E93-D},
number={5},
pages={974-984},
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.},
keywords={},
doi={10.1587/transinf.E93.D.974},
ISSN={1745-1361},
month={May},}
Copier
TY - JOUR
TI - Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
T2 - IEICE TRANSACTIONS on Information
SP - 974
EP - 984
AU - Weiqiang KONG
AU - Kazuhiro OGATA
AU - Kokichi FUTATSUGI
PY - 2010
DO - 10.1587/transinf.E93.D.974
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E93-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2010
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.
ER -