Formalization and analysis of public administration domain with the OTS/CafeOBJ method

Xiaoyi Chen, Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    抄録

    Government transparency should be embedded in the designs of e-Government systems. Lack of transparency can prevent the public from participating actively in government operation, such as by raising questions and protesting ill-advised decisions, which in turn may lead to concealment official graft or favouritism. However, it is also difficult to guarantee that designs of e-Government systems are consistent with real requirements in terms of having desired properties, such as transparency. In this paper, we introduce formal methods into the field of e-Government (or public administration) for formalizing designs of e-Government systems and analyzing if the designs satisfy desired properties, in particular transparency. To the best of our knowledge, we are the first to try to formally define and analyze the notion of transparency based on the formalized designs of e-Government systems. The formal method that we used is an equation-based method - the OTS/CafeOBJ method. In using this method, an e-Government system design is first modeled as an Observational Transition System (OTS), a kind of transition system that can be straightforwardly written in terms of equations. The OTS is then specified in CafeOBJ, an algebraic specification language. And lastly, we express the transparency properties as invariants of the OTS, and verify the invariants by using the CafeOBJ system as an interactive theorem prover.

    本文言語英語
    ホスト出版物のタイトルICEG 2007 - 3rd International Conference on e-Government
    出版社Academic Conferences Limited
    ページ77-86
    ページ数10
    ISBN(印刷版)9781905305582
    出版ステータス出版済み - 1月 1 2007
    イベント3rd International Conference on e-Government, ICEG 2007 - Montreal, QC, カナダ
    継続期間: 9月 27 20079月 28 2007

    出版物シリーズ

    名前ICEG 2007 - 3rd International Conference on e-Government

    その他

    その他3rd International Conference on e-Government, ICEG 2007
    国/地域カナダ
    CityMontreal, QC
    Period9/27/079/28/07

    !!!All Science Journal Classification (ASJC) codes

    • コンピュータ ネットワークおよび通信
    • 法学

    フィンガープリント

    「Formalization and analysis of public administration domain with the OTS/CafeOBJ method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル