Programmable messaging for electronic government - building a foundation

Authors:
Elsa Estevez;Tomasz Janowski
Affiliations:
Center for Electronic Governance, United Nations University, International Institute for Software Technology, Macau;Center for Electronic Governance, United Nations University, International Institute for Software Technology, Macau
Venue:
Formal methods and hybrid real-time systems
Year:
2007

Citing 8
Cited 0

Communicating sequential processes

Communicating sequential processes
Systematic software development using VDM (2nd ed.)

Systematic software development using VDM (2nd ed.)
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency

Communication and Concurrency
Designing Applications with MSMQ: Message Queuing for Developers

Designing Applications with MSMQ: Message Queuing for Developers
Learning XML

Learning XML
Building a Dependable Messaging Infrastructure for Electronic Government

ARES '07 Proceedings of the The Second International Conference on Availability, Reliability and Security
Government-Enterprise Ecosystem Gateway (G-EEG) for Seamless e-Government

HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

Electronic Government offers citizens and businesses a single interface to all public services, implemented through cross-agency processes and applications. This paper presents a fragment of a software infrastructure that enables agencies to collaborate in the delivery of public services, responsible for automated, process-driven exchange of messages between applications. In addition to basicmessage exchange, the infrastructure supports high-level messaging through dynamically-enabled horizontal (process independent) and vertical (process dependent) extensions. In particular, the paper presents a fragment of a semantic model to formalize the process of specifying and implementing messaging extensions, and demonstrates a prototype implementation of this model to underpin a reliable delivery of government services.