Technological foundations of electronic governance

ABSTRACT

This paper explores the relevance and opportunities for the application of mature Formal Techniques - techniques based on mathematical theories and supported by industry-ready tools and methods - to build technical solutions for Electronic Governance. The paper proceeds in four steps: (1) establishes the basic need for Formal Techniques in Electronic Governance, (2) identifies the challenges peculiar to Electronic Governance development, (3) presents the salient features and various application scenarios for Formal Techniques in general, and (4) carries out a mapping between the challenges to Electronic Governance and various application scenarios of Formal Techniques as part of solutions to such challenges. In the second part, the paper presents an overview of the tutorial and workshop on Formal Engineering Methods for Electronic Governance. The tutorial follows the fourstep program, as above, and the workshop includes the presentations of four papers that exemplify various elements of the mapping, particularly: the use of formal, precise modeling techniques; the importance of security risk assessment; modeldriven development of software systems; and the provision of semantic frameworks to coordinate development within and across major programs and initiatives. In the last part, the paper discusses how Formal Techniques can contribute to establishing a solid foundation for Electronic Governance.

REFERENCES

• 1: Ogbinaka, O. M. "A Course Text on Government for Schools, Colleges and Universities", ISBN 978-35675-0-0, 2002.
• 2: Peristeras, V. and Tarabanis, K. "Advancing the Government Enterprise Architecture - GEA: The Service Execution Object Model, EGOV 2004, LNCS 3183, pp. 476--482, 2004.
• 3: Traunmuller, R. and Wimmer, M. A. "E-Government at a Decisive Moment: Sketching a Roadmap to Excellence", EGOV 2003, LNCS 2739, pp. 1--14, 2003.
• 4: Lenk, K., Traunmuller, R. and Wimmer, M. The Significance of Law and Knowledge for Electronic Government, Gronlund, A. (Ed.), Electronic Government: Design, Application and Management, pp. 61--77, 2002.
• 5: Konstantina, K. Stefanos, G. and Konstantinos, M. "Towards a Privacy Audit Programmes Comparison Framework", R. Traunmuller (Ed.): EGOV 2004, LNCS 3183, 2004.
• 6: Oteniya, G., Estevez, E., Zhen Zhong, D., Ojo, A. and Janowski, T. Electronic Delivery of Social Welfare Services - Development Document, e-Macao Report 4, October 2005.
• 7: Costa, R. A., Leitao M. J. and Vila Verde, I. "Electronic Voting: An All-Purpose Platform", Wimmer, M. A. et. al. (Eds.): EGOV 2005, LNCS 3591, pp. 309--316, 2005.
• 8: Sonntag, M. and Wimmer, M. "Legal Aspects of one-Stop Government: The Case of Applying for a Building Permission", EGOV 2003, LNCS 2739, pp. 385--392, 2003.
• 9: Khadroui, A., Arni-Bloch, N., Leonard, M. and Ralyte, J. "Law-Based Ontology for E-Government Information System", MATIS, University of Geneva.
• 10: Janowski, T. Ojo, A. and Estevez, E. The State of e-Government in Macao, e-Macao Report 2, April 2005.
• 11: Ojo, A., Oteniya, G, Chau, K. F., Estevez, E. and Janowski, T. Electronic Delivery of Licensing Services - Development Document, e-Macao Report 5, October 2005.
• 12: Oteniya, G, Estevez, E. Dai, Z. Z., Ojo, A. and Janowski, T. Electronic Delivery of Social Welfare Services - Development Document, e-Macao Report 4, October 2005.
• 13: Krachina, O., Raskin, V. and Triezenberg, K. "Reconciling Privacy Policies and Regulations: Ontological Semantics Perspective", Human Interface and Mgt. of Information. Interacting in Information Environments, LNCS 4558, 2007
• 14: OMG, "Unified Modeling Language 2.1.1", www.omg.org/technology/documents/modeling_spec_catalog.htm, 2007.
• 15: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• 16: Happel, H. J. and Seedof, S. "Applications of Ontologies in Software Engineering", 2nd Int. Workshop on Semantic Web Enabled Software Engineering (SWESE 2006).
• 17: Barnett, M., Rustan, K., Leino, M. and Schulte, W. "The Spec# programming system: An overview", In CASSIS 2004, LNCS vol. 3362, Springer, 2004.
• 18: Barnett, M., DeLine, R., Fähndrich, M., Rustan, K., Leino, M. and Schulte, W. "Verification of object-oriented programs with invariants", JOT 3(6), 2004.
• 19: Cavarra, A., Welch, J. "Behavioral Specification from Class Models", Integrated Formal Methods, LNCS 4591, 2007
• 20: Top Quadrant, "Semantic Technology", www.topquadrant.com/documents/TQ04_Semantic_Technology_Briefing.pdf, 2004

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
        D.2.12 Interoperability

General Terms:
Design, Documentation, Security, Standardization, Theory

Keywords:
electronic governance, formal techniques