Home > LASER Publications > Process Programming and Workflow > Lori A. Clarke
All Publications

Static Analysis [...]

Process Programming and Workflow »
Little-JIL
Process Interpretation
Resource Management
Process Simulation
Process Analysis
Evaluation
Rework

Software Development [...]

Case Studies [...]

Electronic Enterprise Institute

Jump To:
2016
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1990
1987

LASER Publications

Process Programming and Workflow

by Lori A. Clarke

 2016

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example
Leon J. Osterweil, Matt Bishop, Heather Conboy, Huong Phan, Borislava I. Simidchieva, George Avrunin, Lori A. Clarke, Sean Peisert, College of Information and Computer Sciences, University of Massachusetts, Amherst, MA 01003, October 2016. (UM-CS-2016-012)

[ PDF ]

Smart Checklists to Improve Healthcare Outcomes
Stefan Christov, Heather Conboy, Nancy Famigletti, George Avrunin, Lori A. Clarke, Leon J. Osterweil, International Conference on Software Engineering Workshop on Software Engineering in Healthcare Systems (SEHS '16), May 14-15, 2016, Austin Texas, pp 54-57. (UM-CS-2015-021)

[ ACM ] [ PDF ]

 2013

Modal Abstraction View of Requirements for Medical Devices Used in Healthcare Processes
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'13), San Francisco, CA, USA, May 20-21, 2013. (UM-CS-2013-010)

[ PDF ] [ Slides ]

 2012

Generating Natural-language Process Descriptions from Formal Process Models
Stefan Christov, Tiffany Chao, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, 2012. (UM-CS-2012-040)

This report replaces UM-CS-2011-004, originally dated January 2011.

[ PDF ]

 2011

Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm
Lori A. Clarke, International Journal of Software and Informatics, 2011, Vol. 5, No. 3, pp. 475-485. (UM-CS-2011-022)

[ IJSI ] [ PDF ]

 2010

Supporting Human-Intensive Systems
Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, FoSER '10 Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, NM, November 7-8, 2010, pp. 87-92. (UM-CS-2010-056)

[ ACM ] [ PDF ]

Supporting Negotiation and Dispute Resolution with Computing and Communication Technologies
Leon J. Osterweil, Lori A. Clarke, FoSER '10 Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, NM, November 7-8, 2010, pp 269-272. (UM-CS-2010-057)

[ ACM ] [ PDF ]

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language
Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen, The 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), Page 765-770, San Francisco Bay, USA, July 1-3, 2010. (UM-CS-2010-035)

[ PDF ] [ Slides ]

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 ]

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care is Delivered: A Tool Report
Leon J. Osterweil, George S. Avrunin, Lori A. Clarke, Lecture Notes in Business Information Processing, Vol. 43, 647-653. (UM-CS-2010-029)

Revised paper from the Third International Workshop on Process-oriented Information Systems in Healthcare (ProHealth '09), a workshop of the 7th International Conference on Business Process Management (BPM 2009), Ulm, Germany, September 7, 2009.

[ SpringerLink ] [ PDF ]

 2009

Simulating Patient Flow through an Emergency Department Using Process-Driven Discrete Event Simulation
Mohammad S. Raunak, Leon J. Osterweil, Alexander Wise, Lori A. Clarke, Philip L. Henneman, International Conference on Software Engineering Workshop on Software Engineering for Health Care (SEHC'09), Vancouver, Canada, May 2009, pp. 73-83. (UM-CS-2009-003)

[ ACM ] [ PDF ]

Using Event Streams to Validate Process Definitions
Stefan Christov, George S. Avrunin, Lori A. Clarke, Philip L. Henneman, Jenna L. Marquard, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2009. (UM-CS-2009-004)

[ PDF ]

 2008

Experience in Using a Process Language to Define Scientific Workflow and Generate Dataset Provenance
Leon J. Osterweil, Lori A. Clarke, Rodion Podorozhny, Alexander Wise, Emery Boose, Aaron M. Ellison, Julian Hadley, ACM SIGSOFT 16th International Symposium on Foundations of Software Engineering, November 2008, pp. 319-329. (UM-CS-2008-05)

This is an updated version of UM-CS-2008-05, originally dated March 2008.

[ ACM ] [ PDF ] [ Slides ]

Considering the Exceptional: Incorporating Exceptions into Property Specifications
Huong Phan, George S. Avrunin, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2008. (UM-CS-2008-32)

[ PDF ]

Specifying and Verifying Requirements for Election Processes
Borislava I. Simidchieva, Matthew S. Marzilli, Lori A. Clarke, Leon J. Osterweil, In dg.o 2008: Proceedings of the 9th Annual International Conference on Digital Government Research, Montreal, Canada, May 2008, S. A. Chun, M. Janssen, and J. R. Gil-Garcia, Eds., Digital Government Society of North America, pp. 63-72. (UM-CS-2008-21)

[ ACM ] [ PDF ] [ Slides ]

Analyzing Medical Processes
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman, ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 623-632. (UM-CS-2007-51)

[ ACM ] [ PDF ] [ Slides ]

 2007

Engineering Medical Processes to Improve Their Safety: An Experience Report
Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel Cobleigh, Elizabeth A. Henneman, Philip L. Henneman, Proceedings IFIP Working Group 8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences, J. Ralyte, S. Brinkkemper, and B. Henderson-Sellers, eds., Springer, Sept. 2007, Vol. 244, pp. 267-282. (Method Engineering 2007, Geneva. (UM-CS-2007-35)

[ Springer ] [ PDF ] [ Slides ]

Rigorously Defining and Analyzing Medical Processes: An Experience Report
Stefan Christov, Bin Chen, Geroge S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens, 1st International Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS), Nashville, Tennessee, September 30, 2007: (H. Giese (Ed.): MoDELS 2007 Workshops, Springer, LNCS 5002, pp. 118-131, 2008.) (Selected as Best Paper). (UM-CS-2007-58)

[ LNCS ] [ PDF ] [ Slides ]

Data Provenance and Reliability in Sensor Networks
Emery Boose, Aaron Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion Podorozhny, Alexander Wise, Julian Hadley, David Foster, Conference on Coastal Environmental Sensing Networks, Boston, MA, pp. 47-51, April 2007. (UM-CS-2007-071)

[ PDF ]

Representing Process Variation with a Process Family
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil, In Software Process Dynamics and Agility: Proceedings of the International Conference on Software Process (2007), Q. Wang, D. Pfahl, and D. M. Raffo, Eds., vol. 4470 of LNCS, Springer, pp. 109-120. (UM-CS-2007-13)

[ PDF ] [ Slides ]

Using Process Definitions to Drive User Interactions with Digital Government Systems
Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava Simidchieva, Norman Sondheimer, Leah Wing, Alexander Wise, 8th Annual International Conference on Digital Government Research: Bridging Disciplines & Domains, Philadelphia, PA, pp. 310-311, May 20-23, 2007. (UM-CS-2007-11)

[ ACM ] [ PDF ]

Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions
Elizabeth A. Henneman, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Chester Andrzejewski Jr., Karen Merrigan, Rachel Cobleigh, Kimberly Frederick, Ethan Katz-Bassett, Philip L. Henneman, Transfusion Medicine Review, Vol. 21, No. 1, pp. 49-57, January 2007. (UM-CS-2007-06)

[ NCBI ] [ PDF ]

 2006

Analytic Webs Support the Synthesis of Ecological Data Sets
Aaron M. Ellison, Leon J. Osterweil, Julian L. Hadley, Alexander Wise, Emery Boose, Lori A. Clarke, David R. Foster, Allen Hanson, David Jensen, Paul Kuzeja, Edward Riseman, Howard Schultz, Ecology, Vol. 87, No. 6, pp. 1345-1358, June 2006. (UM-CS-2004-079)

This is an updated version originally dated October 2004

[ Ecology ] [ PDF ]

A Process-Driven Tool to Support Online Dispute Resolution
Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander Wise, Daniel Rainey, 2006 International Conference on Digital Government Research, San Diego, CA, ACM Press, 2008, pp. 356-357. (UM-CS-2007-05)

[ ACM ] [ PDF ]

Definition and Analysis of Election Processes
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil, 2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3966, pp. 178-185, May 2006. (UM-CS-2006-19)

[ SpringerLink ] [ PDF ] [ Slides ]

Automatic Fault Tree Derivation from Little-JIL Process Definitions
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag LNCS, Vol. 3966, pp. 150-158, May, 2006. (UM-CS-2006-01)

[ SpringerLink ] [ PDF ] [ Slides ]

Using Process Definitions to Facilitate the Specification of Requirements
Leon J. Osterweil, Norman K. Sondheimer, Lori A. Clarke, Ethan Katsh, Daniel Rainey, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 2006. (UM-CS-2006-11)

[ PDF ]

 2005

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil, Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 347-359. (UM-CS-2005-026)

[ SpringerLink ] [ PDF ] [ Slides ]

 2001

Architecting Dynamic Systems Using Containment Units
Leon J. Osterweil, Alexander Wise, Jamieson M. Cobleigh, Lori A. Clarke, Barbara Staudt Lerner, Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, Day 3, Session 1, December 2001. (UM-CS-2002-029)

[ PostScript ]

An Architecture for Flexible, Evolvable Process-Driven User Guidance Environments
Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil, Joint 8th European Software Engineering Conference (ESEC 2001) and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 9), Vienna, Austria, pp. 33-43, September 2001. (UM-CS-2000-063)

[ PostScript ] [ PDF ] [ ACM ]

 2000

Verifying Properties of Process Definitions
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, ACM Sigsoft 2000 International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, pp. 96-101, August 2000. (UM-CS-1999-063)

[ PostScript ] [ PDF ] [ ACM ]

Frameworks for Reasoning about Agents Based Systems
Leon J. Osterweil, Lori A. Clarke, 1st Annual Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 2000. (UM-CS-2000-034)

[ PostScript ] [ PDF ]

Notice: We present this material to ensure timely and wide dissemination of our work. All persons copying this material must adhere to the terms of the relevant copyrights
 

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