La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

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

Towards Reliable E-Government Systems with the OTS/CafeOBJ Method Vers des systèmes d'e-gouvernement fiables avec la méthode OTS/CafeOBJ

Weiqiang KONG, Kazuhiro OGATA, Kokichi FUTATSUGI

  • Vues en texte intégral

    0

  • Citer

Résumé:

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.

Publication
IEICE TRANSACTIONS on Information Vol.E93-D No.5 pp.974-984
Date de publication
2010/05/01
Publicisé
ISSN en ligne
1745-1361
DOI
10.1587/transinf.E93.D.974
Type de manuscrit
Special Section PAPER (Special Section on Formal Approach)
Catégories
Spécification formelle

Auteurs

Mots-clés

Table des matières