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 basic message 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.R.: The B Book. Cambridge Univeristy Press, Cambridge (1996)
Alonso, G., et al.: Web Services, Concepts, Architectures and Applications. Springer, Heidelberg (2004)
Apache.The Apache XML Project - XMLBeans, http://xmlbeans.apache.org
Derrick, J., Boiten, E.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)
Dickman, A.: Designing Applications with MSMQ. Addison Wesley, Reading (1998)
Estevez, E., Janowski, T.: Government-Enterprise Ecosystem Gateway (G-EEG) for Seamless e-Government. In: 40th Hawaii International Conference on System Sciences, IEEE, Los Alamitos (2007)
Estevez, E., Janowski, T.: Building a Dependable Messaging Infrastructure for Electronic Government. In: 2nd International Workshop on Dependability and Security in e-Government, part of International Conference on Availability, Reliability and Security, IEEE, Los Alamitos (2007)
Field, T., Muller, E., Law, E.: The e-Government Imperative. Organization for Economic Co-operation and Development (OECD) (2003)
Hibernate. Relational Persistence for Java and .Net, http://www.hibernate.org
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
IBM. WebSphere, www.ibm.com/software/websphere
Ojo, A., Oteniya, G., Fong, C.K., Estevez, E., Janowski, T.: Electronic Delivery of Licensing Services - Development Document. Macao e-Government Project (e-Macao) (October 2005), http://www.emacao.gov.mo/documents/04/report5.pdf
Jones, C.: Systematic Software Development using VDM. Prentice Hall, Englewood Cliffs (1990)
Milner, R.: Communication and Concurrency. Prentice Hall International, Englewood Cliffs (1989)
Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (2000)
MySQL. MySQL Database Engine, http://www.mysql.org
Ray, E.: Learning XML. O’ Reilly (2001)
Ronaghan, S.: Benchmarking e-Government: A Global Perspective. Assessing the UN Member States. United Nations Division for Public Economics and Public Administration and American Society for Public Administration (2002), http://unpan1.un.org/intradoc/groups/public/documents/UN/UNPAN021547.pdf
Sun Developer Network, Java Message Service, http://java.sun.com/products/jms
Texas Government. Seamless Government Issues (2000), www.dir.state.tx.us/taskforce/report/seamless.pdf
RAISE Language Group: The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, Englewood Cliffs (1992)
The RAISE Method Group: The RAISE Development Method. BCS Practitioner Series. Prentice Hall, Englewood Cliffs (1995), ftp://ftp.iist.unu.edu/pub/RAISE/method_book
Turner, E., Nicoll, P.: Electronic Service Delivery, including Internet Use, by Commonweath Government Agencies. Australian National Audit Office (1999)
World Wide Web Consortium. XML Schema, Technical Report (October 2004), http://www.w3.org/XML/Schema
World Wide Web Consortium. XSLT - XSL Transformations, http://www.w3.org/TR/xslt
WebMethods Enterprise. WebMethods, www.webmethods.com/meta/default/folder/0000005452
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Estevez, E., Janowski, T. (2007). Programmable Messaging for Electronic Government - Building a Foundation. In: Jones, C.B., Liu, Z., Woodcock, J. (eds) Formal Methods and Hybrid Real-Time Systems. Lecture Notes in Computer Science, vol 4700. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75221-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-75221-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75220-2
Online ISBN: 978-3-540-75221-9
eBook Packages: Computer ScienceComputer Science (R0)