Cited By
View all- Grilo ELopes B(2023)ReLo: a Dynamic Logic to Reason About Reo CircuitsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.376.4376(16-33)Online publication date: 23-Mar-2023
Formal modeling and verification of complex interactions in e-government applications
Authors: 
Meng Sun, Yi LiAuthors Info & Claims
Meng Sun, Yi LiAuthors Info & ClaimsPages 506 - 507
Abstract
With the dramatic transformation of society and the increasing size of government information resources, proper modeling and verification techniques for the complex interactions among multiple large-scale distributed electronic government (E-Government) applications are playing a key role in the development of such applications to make them trustworthy, secure and efficient. This paper focuses on using the integration of a promising coordination modeling framework Reo and the interactive proof assistant Coq for modeling and verification of complex interactions in E-Government applications. An access control example is investigated to show our approach on modeling, simulating and verifying the dynamic behavior of E-Government applications.
References
[1]
Arbab, F. 2004. Reo: A Channel-based Coordination Model for Component Composition, Mathematical Structures in Computer Science, 14(3), 329--366. DOI= http://dx.doi.org/10.1017/S0960129504004153.
[2]
Bertot, Y. and Castéran, P. 2004. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, Springer.
[3]
Chuanfan, L. 2010. Research on Role-Based Access Control Policy of E-government. In Proceedings of 2010 International Conference on E-Business and E-Government, ICEE'10. IEEE, pages 714--716. DOI= http://dx.doi.org/10.1109/ICEE.2010.186.
[4]
Kokash N., Krause C. and de Vink E. 2012. Reo+ mCRL2: A framework for model-checking dataflow in service compositions, Formal Aspects of Computing 24 (2), 187--216. DOI= http://dx.doi.org/10.1007/s00165-011-0191-6.
[5]
Kraemer, F. A. and Herrmann P. 2006. Service Specification by Composition of Collaborations -- An Example. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IATW'06, IEEE Computer Society, 129--133. DOI = http://doi.ieeecomputersociety.org/10.1109/WI-IATW.2006.121.
Index Terms
- Formal modeling and verification of complex interactions in e-government applications
Recommendations
Open government and e-government: democratic challenges from a public value perspective
Special issue on Open Government and Public Participation: Issues and Challenges in Creating Public ValueWe argue that the Obama Administration's Open Government Initiative blurs distinctions between e-democracy and e-government by incorporating historically democratic practices. now enabled by emerging technology. within administrative agencies. We ...
Open government and e-government: democratic challenges from a public value perspective
dg.o '11: Proceedings of the 12th Annual International Digital Government Research Conference: Digital Government Innovation in Challenging TimesWe consider open government (OG) within the context of e-government and its broader implications for the future of public administration. We argue that the current US Administration's Open Government Initiative blurs traditional distinctions between e-...
e-government applications in Bangladesh: status and challenges
ICEGOV '10: Proceedings of the 4th International Conference on Theory and Practice of Electronic GovernanceThis paper explores public sector initiatives for developing e-government applications, specifically the supply-side perspective in Bangladesh. This study extracts the development activities from public websites and e-services for citizens and ...
Comments
Information & Contributors
Information
Published In
October 2014
563 pages
ISBN:9781605586113
DOI:10.1145/2691195
- Program Chairs:
- Elsa Estevez,
- Marijn Janssen,
- Luís Soares Barbosa
Copyright © 2014 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
- Macao Foundation, Macao SAR Govt: Macao Foundation, Macao SAR Government
- Municipio de Guimarães: Municipio de Guimarães
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 27 October 2014
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- National Natural Science Foundation of China
- Research Fund for the Doctoral Program of Higher Education of China
Conference
ICEGOV2014
Sponsor:
- Macao Foundation, Macao SAR Govt
- Municipio de Guimarães
ICEGOV2014: 8th International Conference on Theory and Practice of Electronic Governance
October 27 - 30, 2014
Guimaraes, Portugal
Acceptance Rates
ICEGOV '14 Paper Acceptance Rate 30 of 73 submissions, 41%;
Overall Acceptance Rate 350 of 865 submissions, 40%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 87Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Aug 2024
Other Metrics
Citations
Cited By
View all- Grilo ELopes B(2023)ReLo: a Dynamic Logic to Reason About Reo CircuitsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.376.4376(16-33)Online publication date: 23-Mar-2023
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in