Home > Case Studies > Digital Government
Additional Information
Electronic Enterprise Institute
All Digital Government Publications
Case Studies
Medical Safety
Elections
Scientific Workflow
Online Dispute
Resolution
Digital Government »
Publications
 
Related Research
Process Programming and Workflow

Digital Government

Much of the work that governments are entrusted with performing can be viewed as the efficient, faithful execution of carefully prescribed processes. Some examples of such governmental processes are the collection of taxes, the granting of licenses, the gathering of statistics, the supervision of elections, and the actual drafting of legislation itself. The goals and overall description of these processes are generally prescribed by legislation. Once this has been done, it is the public expectation that government will execute the processes faithfully, completely, and efficiently. To perform these processes, governments generally assign key tasks to new and/or existing agencies and officials.

Unfortunately, the creation of even straightforward digital government applications has lagged parallel developments in e-commerce, due in part to the stringent requirements we place on digital government and to the requirements for collaboration among all stakeholders our system of government imposes. Our premise is that to meet these requirements and overcome resistance to change we must focus on establishing and maintaining trust in all stakeholders. We propose that the development of digital government systems should be viewed as the design, analysis, implementation, execution, and modification of efficient, effective processes with stringent fairness requirements. A process-centric view of the world has proven to be promising in development of efficient and effective systems in such diverse areas as ecommerce, medical practice, and engineering design.

Recent Publications

Generation, Composition, and Verification of Process Families
Borislava I. Simidchieva, Leon J. Osterweil, In SPLC '14: Proceedings of the 18th International Software Product Line Conference Sept 15-19, Florence, Italy (2014), pp. 207-216. (UM-CS-2014-013)

[ ACM ] [ PDF ]

Insider Threat Identification by Process Analysis
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert, In Proceedings of the 2014 Workshop on Research for Insider Threat (WRIT) May 18, San Jose, CA (2014), pp. 251-264.. (UM-CS-2014-014)

[ PDF ]

Modeling and Analyzing Faults to Improve Election Process Robustness
Borislava I. Simidchieva, Sophie J. Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil, Proceedings of the 2010 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '10), August 9-10, 2010, Washington, DC. (UM-CS-2010-039)

[ Usenix ] [ Video ] [ PDF ] [ Slides ]

STORM2: Process-Guided Online Dispute Resolution
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 2010. (UM-CS-2009-046)

[ PDF ]

 

This site is maintained by the Laboratory for Advanced Software Engineering Research.
© 2006 University of Massachusetts AmherstSite Policies