All Publications

Static Analysis of Concurrent Systems [...]

Process Programming and Workflow [...]

Component-Based Software Engineering

Case Studies »

Medical Safety

Scientific Workflow

Digital Government

Online Dispute Resolution

Elections

Auctions

Software Development

Electronic Enterprise Institute [...]

Software Development Environments [...]

---

Jump To:

2008

2007

2006

2005

2004

2000

LASER Publications

Case Studies

 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 ]

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 ]

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 ]

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

Little-JIL 1.5 Language Report

Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, October 2006. (UM-CS-2006-51)

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

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 Support to Help Novices Design Software Faster and Better

Aaron G. Cass, Leon J. Osterweil, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA, pp. 295-299, November, 2005. (UM-CS-2005-018)

[ ACM ] [ PDF ]

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 ]

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