Analyzing Processes for E-Government Application Development

Abstract E-government developers need to clearly understand processes they are automating and ensure that automated processes are defect-free. This paper introduces readers to Process Definition Language (PDL) technology that provides rigor and precision over traditional forms of process documentation. We report our experience documenting license renewal processes for application in the Mass.gov portal. The PDL helped analysts identify inconsistencies and errors in natural language-based documents that were guiding system development. This case provides an initial demonstration of the benefits PDLs can bring to e-government application development. We conclude with a discussion of the current limitations of PDLs and a discussion of computer-based analysis approaches that will likely emerge in the future.

[1]  Jacky Estublier,et al.  Software process model and work space control in the Adele system , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[2]  Lori A. Clarke,et al.  Verifying properties of process definitions , 2000, ISSTA '00.

[3]  Leon J. Osterweil,et al.  AN ANALYTIC WEB TO SUPPORT THE ANALYSIS AND SYNTHESIS OF ECOLOGICAL DATA , 2004 .

[4]  Gail E. Kaiser,et al.  Rule chaining in Marvel: dynamic binding of parameters , 1991, IEEE Expert.

[5]  Alistair Cockburn,et al.  Writing Effective Use Cases , 2000 .

[6]  Daniel Hoffman,et al.  Software Fundamentals: Collected Papers by David L.Parnas , 2001 .

[7]  M. J. Moon.  The Evolution of E-Government among Municipalities: Rhetoric or Reality? , 2002 .

[8]  Jacky Estublier,et al.  ADELE-TEMPO: an environment to support process modelling and enaction , 1994 .

[9]  W. Siffin,et al.  Bureaucracy , 1971 .

[10]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[11]  James J. Horning.  Software fundamentals: collected papers by David L. Parnas , 2001, SOEN.

[12]  Leon J. Osterweil,et al.  Software processes are software too , 1987, ISPW.

[13]  Sergio Bandinelli,et al.  Process modeling in-the-large with SLANG , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[14]  Edward Rolf Tufte,et al.  The visual display of quantitative information , 1985 .

[15]  John Beidler,et al.  Data Structures and Algorithms , 1996, Wiley Encyclopedia of Computer Science and Engineering.

[16]  Todd R. La Porte,et al.  Regulatory Compliance and the Ethos of Quality Enhancement: Surprises in Nuclear Power Plant Operations1 , 1995 .

[17]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[18]  Jacky Estublier,et al.  A Support to Large Software Development Process , 1991, Proceedings. First International Conference on the Software Process,.

[19]  Leon J. Osterweil,et al.  Design guidance through the controlled application of constraints , 2000, Tenth International Workshop on Software Specification and Design. IWSSD-10 2000.

[20]  Sergio Bandinelli,et al.  Computational reflection in software process modeling: The SLANG approach , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[21]  Noureddine Belkhatir,et al.  Adele 2: a support to large software development process , 1991 .

[22]  Geri Schneider,et al.  Applying Use Cases: A Practical Guide , 1998 .

[23]  A. Wise,et al.  Little-JIL 1.0 Language Report TITLE2: , 1998 .

[24]  P. Fayers,et al.  The Visual Display of Quantitative Information , 1990 .

[25]  Gail E. Kaiser,et al.  Experience with Process Modeling in the Marvel Software Development Environment Kernel , 1989 .

[26]  A. Ho.  Reinventing Local Governments and the E‐Government Initiative , 2002 .

[27]  V. Milutinovic,et al.  Proceedings of the 23rd annual Hawaii International Conference on System Sciences , 1990 .