Home > LASER Publications > Case Studies > Leon J. Osterweil
All Publications

Static Analysis [...]

Process Programming and Workflow [...]

Software Development [...]

Case Studies »
Medical Safety
Elections
Scientific Workflow
Online Dispute Resolution
Digital Government
Software Development

Electronic Enterprise Institute

Jump To:
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2000

LASER Publications

Case Studies

by Leon J. Osterweil

 2014

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) To appear. (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). (UM-CS-2014-014)

[ PDF ]

 2013

A Prototype Facilitators Dashboard: Assessing and visualizing dialogue quality in online deliberations for education and work
Tom Murray, Leah Wing, Beverly Woolf, Alexander Wise, Shijun Wu, Lori A. Clarke, Leon J. Osterweil, Proceedings of The 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE-2013). Las Vegas, July 2013. (UM-CS-2013-014)

[ PDF ]

Resource Scheduling through Resource-Aware Simulation of Emergency Departments
Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil, Workshop on Software Engineering in Health Care (SECH'13), San Franxisco, CA, USA, May 20-21, 2013. (UM-CS-2013-019)

[ PDF ] [ Slides ]

Supporting Undo and Redo in Scientific Data Analysis
Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil, 5th USENIX Workshop on the Theory and Practice of Provenance (TaPP '13), Lombard, IL, April 2-3, 2013. (UM-CS-2013-015)

[ PDF ] [ Slides ]

 2012

A Systematic Process-model-based Approach for Synthesizing Attacks and Evaluating Them
Huong Phan, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Matt Bishop, 2012 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '12), August 6-7, 2012. (UM-CS-2012-029)

[ Usenix ] [ PDF ] [ Slides ]

Smart Checklists for Human-Intensive Medical Systems
George Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy Rausch, In Proceedings of the Workshop on Open Resilient Human-aware Cyber-physical Systems (WORCS-2012), with the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2012), June 25, 2012, Boston, MA. (UM-CS-2012-028)

[ IEEE ] [ PDF ]

Provenance Support for Rework
Xiang Zhao, Barbara Lerner, Leon J. Osterweil, Emery Boose, Aaron Ellison, In Proceedings of the 4th USENIX Workshop on the Theory and Practice of Provenance (TAPP '12), Boston, MA, June 14-15, 2012. (UM-CS-2012-025)

[ PDF ] [ Slides ]

The Role of Context in Exception-Driven Rework
Xiang Zhao, Barbara Lerner, Leon J. Osterweil, In Proceedings of the 5th International Workshop on Exception Handling (WEH), 2012, pp. 41-45, Zurich, Switzerland, June 9, 2012. (UM-CS-2012-026)

[ PDF ] [ Slides ]

An Approach to Modeling and Supporting the Rework Process in Refactoring
Xiang Zhao, Leon J. Osterweil, In Proceedings of the 2012 International Conference on Software and System Process (ICSSP), pp.110-119, Zurich, Switzerland, June 2-3, 2012. (UM-CS-2012-024)

[ PDF ] [ Slides ]

 2011

Provenance and Quality Control in Sensor Networks
Barbara Lerner, Emery Boose, Leon J. Osterweil, Aaron Ellison, Lori A. Clarke, In Proceedings of the Environmental Information Management Conference (EIM 2011), Santa Barbara, CA, September 28-29, 2011. (UM-CS-2011-047)

[ PDF ]

Developing discrete event simulations from rigorous process definitions
Mohammad S. Raunak, Leon J. Osterweil, Alexander Wise, Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, pp. 117-124. (UM-CS-2011-051)

[ ACM ] [ PDF ]

 2010

Dynamic Scheduling of Emergency Department Resources
Junchao Xiao, Leon J. Osterweil, Qing Wang, IHI '10 Proceedings of the First ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 590-599. (UM-CS-2010-069)

[ ACM ] [ PDF ]

Experience Modeling and Analyzing Medical Processes: UMass/Baystate Medical Safety Project Overview
Lori A. Clarke, Leon J. Osterweil, Stefan C Chistov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens, IHI '10 Proceedings of the 1st ACM International Health Informatics Symposium, Arlington, VA, November 11-12, 2010, pp 316-325. (UM-CS-2010-058)

[ 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 ]

Resource Management in Complex, Dynamic Environments
Mohammad S. Raunak, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2010. (UM-CS-2010-055)

[ 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 ]

Disruption-Driven Resource Rescheduling in Software Development Processes
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, New Modeling Concepts for Today's Software Processes, Springer Berlin / Heidelberg. 6195: 234-247. (UM-CS-2010-073)

[ Springerlink ] [ PDF ]

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 ]

A Benchmark for Evaluating Software Engineering Techniques for Improving Medical Processes
Stefan Christov, George Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth Henneman, International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC'10), Cape Town, South Africa, May 3-4, 2010. (UM-CS-2010-023)

A more complete description of the blood transfusion benchmark is available in the technical report UM-CS-2010-010, originally dated January 2010

[ PDF ] [ Benchmark Artifacts ]

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 ]

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, Fundamental Approaches to Software Engineering, Springer Berlin / Heidelberg. 6013: 107-122. . (UM-CS-2010-072)

[ Springelink ] [ PDF ]

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance
Leon J. Osterweil, Lori A. Clakre, Aaron. M. Ellison, Emery R. Boose, Rodion Podorozhny, Alexander Wise, IEEE Transactions on Automation Science and Engineering, Vol.7, No 1, 2010, pp 189-195. (UM-CS-2010-014)

[ IEEE ] [ PDF ]

A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes
Stefan Christov, George Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth Henneman, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2010. (UM-CS-2010-010)

[ PDF ]

 2009

Structural Considerations in Defining Executable Process Models
Borislava I. Simidchieva, Leon J. Osterweil, Alexander Wise, International Conference on Software Process: Trustworthy Software Development Processes, Vancouver, B. C., Canada, May 2009, Lecture Notes in Computer Science Vol. 5543, pp. 366-376. (UM-CS-2009-038)

[ ACM ] [ 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 ]

 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 ]

Designing Property Specification to Improve the Safety of the Blood Transfusion Process
Elizabeth Henneman, Rachel Cobleigh, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Phil Henneman, Transfusion Medicine Reviews, Vol. 22, No. 4, October 2008, pp. 291-299. (UM-CS-2010-054)

[ DOI ]

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 ]

Using Software Engineering Technology to Improve the Quality of Medical Processes
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil, ACM SIGSOFT/IEEE Companion 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 889-898. (UM-CS-2008-20)

[ 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 ]

Ensuring Reliable Datasets for Environmental Models and Forecasts
Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori Clarke, Rodion Podorozhny, Julian L. Hadley, Alexander Wise, David R. Foster, Ecological Informatics, ECOINF84, Vol. 2, No. 3, October 2007, Elsevier, pp. 237-247. (UM-CS-2007-45)

[ Elsevier ] [ 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 ]

Unifying the Software Process Spectrum
Mingshu Li, Barry W. Boehm, Leon J. Osterweil, (eds.) International Software Process Workshop (SPW 2005), Beijing, China, Springer-Verlag Lecture Notes in Computer Science, Vol 3840, 522 pages, May 25-27, 2005. (UM-CS-2006-24)

[ SpringerLink ] [ 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 ]

Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains
Leon J. Osterweil, Keynote Address given at 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. 39-47, May 2006. (UM-CS-2006-20)

[ SpringerLink ] [ PDF ] [ Keynote 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 ]

Complex Medical Processes as Context for Embedded Systems
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil, ACM SIGBED Review, special issue from the Workshop on Innovative Techniques for Certification of Embedded Systems, Vol. 3, Issue 4, pp. 9-14, October 2006.. (UM-CS-2006-31)

[ ACM ] [ 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 Definition Language Support for Rapid Simulation Prototyping
Mohammad S. Raunak, Leon J. Osterweil, Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 416-432. (UM-CS-2005-04)

[ SpringerLink ] [ PDF ]

Unifying Microprocess and Macroprocess Research
Leon J. Osterweil, Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 68-74. (UM-CS-2005-36)

[ SpringerLink ] [ 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 ]

Process Technology To Facilitate the Conduct of Science
Leon J. Osterweil, Alexander Wise, Lori Clarke, Aaron M. Ellison, Julian L. Hadley, Emery Boose, David R. Foster, Software Process Workshop (SPW2005), Beijing, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 403-415, May 25-27, 2005. (UM-CS-2005-017)

[ SpringerLink ] [ PDF ]

Effective Resource Allocation for Process Simulation: A Position Paper
Mohammad S. Raunak, Leon J. Osterweil, 6th International Workshop on Software Process Simulation and Modeling, St. Louis, MO, May 14-15, 2005. (UM-CS-2005-30)

[ PDF ]

 2004

Analyzing Processes for E-Government Development: The Emergence of Process Modeling Languages
Leon J. Osterweil, Charles M. Schweik, Norman K. Sondheimer, Craig W. Thomas, Journal of E-Government. 1(4), 2004 pp. 63-89. (UM-CS-2004-110)

[ PDF ]

 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 ]

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