Formal support for e-Government system design with transparency consideration

Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

In this paper, we introduce formal methods into the field of e-Government (or public administration) for formalizing e-Government system design, trying to extract a formal definition of transparency in public administration from former studies on transparency, and analyzing if the design of e-Government systems satisfies transparency related properties. Another contribution made in this paper is that we propose a digital right management license language (Public Administration License Language, called PALL as well) for e-Government systems, especially for using it to guarantee the transparency related properties in e-Government system design. Classical digital right license languages are applied to electronic "downloading", payment and rendering of artistic works, while we extend the concept of license to cover work authorization in public government. The digital works are public government documents in this context. As digital right license for artistic works seeks to safeguard against privacy and to ensure proper payment for the rights to render these works, PALL seeks to ensure transparent and professional "good governance".

Original languageEnglish
Title of host publicationICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance
Pages20-29
Number of pages10
Volume232
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007 - Macao, China
Duration: Dec 10 2007Dec 13 2007

Other

Other1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007
CountryChina
CityMacao
Period12/10/0712/13/07

Fingerprint

Public administration
Transparency
Systems analysis
Public works
Formal methods

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Vision and Pattern Recognition
  • Human-Computer Interaction
  • Software

Cite this

Chen, X., Kong, W., & Futatsugi, K. (2007). Formal support for e-Government system design with transparency consideration. In ICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance (Vol. 232, pp. 20-29) https://doi.org/10.1145/1328057.1328065

Formal support for e-Government system design with transparency consideration. / Chen, Xiaoyi; Kong, Weiqiang; Futatsugi, Kokichi.

ICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance. Vol. 232 2007. p. 20-29.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Chen, X, Kong, W & Futatsugi, K 2007, Formal support for e-Government system design with transparency consideration. in ICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance. vol. 232, pp. 20-29, 1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007, Macao, China, 12/10/07. https://doi.org/10.1145/1328057.1328065
Chen X, Kong W, Futatsugi K. Formal support for e-Government system design with transparency consideration. In ICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance. Vol. 232. 2007. p. 20-29 https://doi.org/10.1145/1328057.1328065
Chen, Xiaoyi ; Kong, Weiqiang ; Futatsugi, Kokichi. / Formal support for e-Government system design with transparency consideration. ICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance. Vol. 232 2007. pp. 20-29
@inproceedings{dd996f489bd946abbda48d2f4ead4d10,
title = "Formal support for e-Government system design with transparency consideration",
abstract = "In this paper, we introduce formal methods into the field of e-Government (or public administration) for formalizing e-Government system design, trying to extract a formal definition of transparency in public administration from former studies on transparency, and analyzing if the design of e-Government systems satisfies transparency related properties. Another contribution made in this paper is that we propose a digital right management license language (Public Administration License Language, called PALL as well) for e-Government systems, especially for using it to guarantee the transparency related properties in e-Government system design. Classical digital right license languages are applied to electronic {"}downloading{"}, payment and rendering of artistic works, while we extend the concept of license to cover work authorization in public government. The digital works are public government documents in this context. As digital right license for artistic works seeks to safeguard against privacy and to ensure proper payment for the rights to render these works, PALL seeks to ensure transparent and professional {"}good governance{"}.",
author = "Xiaoyi Chen and Weiqiang Kong and Kokichi Futatsugi",
year = "2007",
doi = "10.1145/1328057.1328065",
language = "English",
isbn = "9781595938220",
volume = "232",
pages = "20--29",
booktitle = "ICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance",

}

TY - GEN

T1 - Formal support for e-Government system design with transparency consideration

AU - Chen, Xiaoyi

AU - Kong, Weiqiang

AU - Futatsugi, Kokichi

PY - 2007

Y1 - 2007

N2 - In this paper, we introduce formal methods into the field of e-Government (or public administration) for formalizing e-Government system design, trying to extract a formal definition of transparency in public administration from former studies on transparency, and analyzing if the design of e-Government systems satisfies transparency related properties. Another contribution made in this paper is that we propose a digital right management license language (Public Administration License Language, called PALL as well) for e-Government systems, especially for using it to guarantee the transparency related properties in e-Government system design. Classical digital right license languages are applied to electronic "downloading", payment and rendering of artistic works, while we extend the concept of license to cover work authorization in public government. The digital works are public government documents in this context. As digital right license for artistic works seeks to safeguard against privacy and to ensure proper payment for the rights to render these works, PALL seeks to ensure transparent and professional "good governance".

AB - In this paper, we introduce formal methods into the field of e-Government (or public administration) for formalizing e-Government system design, trying to extract a formal definition of transparency in public administration from former studies on transparency, and analyzing if the design of e-Government systems satisfies transparency related properties. Another contribution made in this paper is that we propose a digital right management license language (Public Administration License Language, called PALL as well) for e-Government systems, especially for using it to guarantee the transparency related properties in e-Government system design. Classical digital right license languages are applied to electronic "downloading", payment and rendering of artistic works, while we extend the concept of license to cover work authorization in public government. The digital works are public government documents in this context. As digital right license for artistic works seeks to safeguard against privacy and to ensure proper payment for the rights to render these works, PALL seeks to ensure transparent and professional "good governance".

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

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

U2 - 10.1145/1328057.1328065

DO - 10.1145/1328057.1328065

M3 - Conference contribution

AN - SCOPUS:77953758073

SN - 9781595938220

VL - 232

SP - 20

EP - 29

BT - ICEGOV 2007 - Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance

ER -