- 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:
- 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
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 ]
Generating Natural-language Process Descriptions from
Formal Process Definitions
Stefan C. Christov,
Tifany Y Chao,
Lori A. Clarke,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2011. (UM-CS-2011-004)
[ PDF ]
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)
[ PDF ]
[ 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 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 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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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