Home > LASER Publications > Leon J. Osterweil
All Publications

Static Analysis
FLAVERS
PROPEL
Finite-State Verification
Property Specification
Fault-Tree Analysis
Failure Mode and Effect Analysis
MPI Verification
INCA
Experimentation

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

Software Development
Component-Based Software Engineering
Arcadia
Software Development Environments
Refactoring

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
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1987
1985

LASER Publications

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 ]

Process Modelling of Aortic Cannulation in Cardiac Surgery: Toward a Smart Checklist to Mitigate the Risk of Stroke
Heather M. Conboy, Jason K. Maron, Stefan C. Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Marco A. Zenati, To appear in the Fifth Workshop on Modeling and Monitoring of Computer Assisted Interventions (M2CAI'14), Boston MA, September 14, 2014. (UM-CS-2014-015)

[ 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 Process Undo and Redo in Software Engineering Decision Making
Xiang Zhao, Yuriy Brun, Leon J. Osterweil, 8th International Conference on Software and System Process (ICSSP '13), May 18-19, 2013. (UM-CS-2013-016)

[ 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

Using Process Elicitation and Validation to Understand and Improve Chemotherapy Ordering and Delivery
Wilson Mertens, Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Lucinda J. Cassells, Jenna Marquard, The Joint Commission Journal on Quality and Patient Safety, Vol. 38, No. 11, November 2012, pp. 497- 505. (UM-CS-2012-039)

[ Pubmed ]

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 ]

Characterizing process variation (NIER Track)
Borislava I. Simidchieva, Leon J. Osterweil, In Proceedings of the 33rd International Conference on Software Engineering (ICSE '11), Honolulu, HI, May 21-28, 2011, pp. 836-839. (UM-CS-2011-034)

[ ACM ] [ PDF ] [ Slides ]

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 ]

A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm
Leon J. Osterweil, International Journal of Software and Informatics, 2011, Vol. 5, No. 3, pp. 457-474. (UM-CS-2011-023)

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

[ PDF ] [ PDF ]

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 ]

Categorizing and modeling variation in families of systems: a position paper
Borislava I. Simidchieva, Leon J. Osterweil, In Proceedings of the Fourth European Conference on Software Architecture: Companion Volume (New York, NY, USA, 2010), ECSA 2010, ACM, pp. 316-323. (UM-CS-2011-035)

[ ACM ] [ PDF ] [ Slides ]

Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements
Leon J. Osterweil, Alexander Wise, In Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process (ICSP'10), Paderborn, Germany, July 2010, pp. 2-13. (UM-CS-2011-008)

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

Exception Handling Patterns for Process Modeling
Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander Wise, IEEE Transactions on Software Engineering, Vol. 36, Issue 2, March/April 2010, pages 162 - 183. (UM-CS-2011-012)

[ IEEE ] [ PDF ]

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010), held as part of ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Springer-Verlag Lecture Notes in Computer Science, Vol. 6013, pp. 107-122. (UM-CS-2009-050)

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

Dynamic Scheduling in Systems with Complex Resource Allocation Requirements
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2009. (UM-CS-2009-049)

[ PDF ]

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 ]

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 ]

Formally Defining Medical Processes
Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens, Methods of Information in Medicine 2008 Vol. 47, No. 5, pp. 392-398. (UM-CS-2009-009)

[ PDF ] [ Schattauer ]

Exception Handling Patterns for Processes
Barbara Staudt Lerner, Stefan Christov, Alexander Wise, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2008. (UM-CS-2008-06)

[ PDF ]

 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 ]

A Future for Software Engineering?
Leon J. Osterweil, 29th Int. Conference on Software Engineering, International Conference on Software Engineering. IEEE Computer Society, Washington, DC, May 2007, pp. 1-11. (LASER-2007-ICS)

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

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 ]

 2003

Formalizing Rework in Software Processes
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Osterweil, 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki, Finland, September 2003, Springer Verlag Lecture Notes in Computer Science #2786, pp. 16-31. (LASER-2003-CSO)

[ PDF ]

 2002

Containment Units: A Hierarchically Composable Architecture for Adaptive Systems
Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Barbara Staudt Lerner, 10th International Symposium on the Foundations of Software Engineering (FSE 10), Charleston, SC, pp. 159-165, November 2002. (UM-CS-2001-045)

[ PostScript ] [ PDF ]

Using Little-JIL to Define Containment Units
Barbara Staudt Lerner, Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 2002. (UM-CS-2002-033)

[ PostScript ] [ PDF ]

PROPEL: An Approach Supporting Property Elucidation
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL, pp. 11-21, May 2002. (UM-CS-2001-046)

[ PostScript ] [ PDF ]

FLAVERS: a Finite State Verification Technique for Software Systems
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, IBM Systems Journal (Issue on Software Testing and Verification), 41(1), pp. 140-165, 2002. (UM-CS-2001-017)

[ IBM Systems Journal ] [ PostScript ] [ PDF ]

Programming Rework in Software Processes
Aaron G. Cass, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2002. (UM-CS-2002-025)

[ PostScript ] [ PDF ]

Requirements-Based Design Guidance: A Process-Centered Consistency Management Approach
Aaron G. Cass, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 2002. (UM-CS-2002-024)

[ PostScript ] [ PDF ]

 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 ]

Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper
Aaron G. Cass, Leon J. Osterweil, 8th European Workshop on Software Process Technology (EWSPT 2001), Witten, Germany, Springer Verlag Lecture Notes in Computer Science #2077, pp. 145-151, June 2001. (UM-CS-2001-013)

[ PostScript ] [ PDF ]

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 37-46, May 2001. (UM-CS-2000-046)

[ PostScript ] [ PDF ] [ IEEE ]

Comparison Process Specification for a Repeatable Comparison of Architecting Processes
Rodion M. Podorozhny, Leon J. Osterweil, Dewayne E. Perry, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 2001. (UM-CS-2001-006)

[ PostScript ] [ PDF ]

 2000

Exploiting Hierarchy for Planning and Scheduling
Aaron G. Cass, Krithi Ramamritham, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, December 2000. (UM-CS-2000-064)

[ PostScript ] [ PDF ]

Design Guidance Through the Controlled Application of Constraints
Aaron G. Cass, Leon J. Osterweil, 10th International Workshop in Software Specification and Design (IWSSD 10), San Diego, CA, pp. 195-199, November 2000. (UM-CS-2000-067)

[ PostScript ] [ PDF ] [ ACM ]

Using Little-JIL to Coordinate Agents in Software Engineering
Alexander Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Automated Software Engineering Conference (ASE 2000), Grenoble, France, pp. 155-163, September 2000. (UM-CS-2000-045)

[ PostScript ] [ ACM ] [ PDF ]

Modeling and Managing Resource Utilization in Process, Workflow, and Activity Coordination
Barbara Staudt Lerner, Anoop George Ninan, Leon J. Osterweil, Rodion M. Podorozhny, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 2000. (UM-CS-2000-058)

[ PostScript ] [ PDF ]

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 ]

Supporting Communication of Heterogeneous Distributed Agents with Agenda Management Systems
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 2000. (UM-CS-2000-032)

[ PostScript ] [ PDF ]

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 ]

Little-JIL/Juliette: A Process Definition Language and Interpreter
Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Alexander Wise, 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 754-757, June 2000. (UM-CS-2000-066)

[ PostScript ] [ PDF ] [ IEEE ]

Relocation in Mobile Process-Centered Software Development Environments
Supratik Bhattacharyya, Leon J. Osterweil, 11th International Workshop on Databases and Expert Systems (DEXA 2000), Greenwich, UK, pp. 198-203, September 2000. (UM-CS-2000-029)

[ PostScript ] [ PDF ] [ IEEE ] [ ACM ]

Continuous Self-Evaluation for the Self-Improvement of Software
Lori A. Clarke, Leon J. Osterweil, 1st International Workshop on Self Adaptive Software (IWSAS 2000), Oxford, England, Springer Verlag Lecture Notes in Computer Science #1936, pp. 27-29, April 2000. (UM-CS-2000-065)

[ PostScript ] [ PDF ] [ ACM ]

HI-PLAN and Little-JIL: a Study of Contrast Between Two Process Languages
Hyungwon Lee, Leon J. Osterweil, International Conference on Software Theory and Practice (ICS 2000) of the 16th IFIP World Computer Congress (9WCC 2000), Beijing, PRC, pp. 300-311, August 2000. (UM-CS-2000-023)

[ PostScript ] [ PDF ]

 1999

Logically Central, Physically Distributed Control in a Process Runtime Environment
Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 1999. (UM-CS-1999-065)

[ PostScript ] [ PDF ] [ ACM ]

Specifying Coordination in Processes Using Little-JIL
Alexander Wise, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 1999. (UM-CS-1999-071)

This report replaces UM-CS-1998-038.

[ PostScript ] [ PDF ]

Formally Defining Coordination Process to support Contract Negotiations
Aaron G. Cass, Hyungwon Lee, Barbara Staudt Lerner, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 1999. (UM-CS-1999-039)

[ PostScript ] [ PDF ]

Modeling Resources for Activity Coordination and Scheduling
Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil, 3rd International Conference on Coordination Models and Languages (Coordination 1999), Amsterdam, The Netherlands Springer Verlag Lecture Notes in Computer Science #1594, pp. 307-322, April 1999. (UM-CS-1998-050)

[ PostScript ] [ PDF ]

A Rigorous Approach to Resource Management in Activity Coordination
Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, March 1999. (UM-CS-1999-012)

[ PostScript ] [ PDF ]

Coordinating Agent Activities in Knowledge Discovery Processes
David Jensen, Yulin Dong, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Jr., Alexander Wise, Work Activities Coordination and Collaboration Conference (WACC 1999), San Francisco, CA, pp. 137-146, February 1999. (UM-CS-1998-033)

[ PostScript ] [ PDF ]

 1998

Programming Process Coordination in Little-JIL
Barbara Staudt Lerner, Leon J. Osterweil, Stanley M. Sutton, Jr., Alexander Wise, 6th European Workshop on Software Process Technology (EWSPT 1998), Weybridge, UK, Springer Verlag Lecture Notes in Computer Science #1487, pp. 127-131, September 1998. (UM-CS-1998-088)

[ PostScript ] [ PDF ]

Architecting Process are Key to Software Quality
Leon J. Osterweil, International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA 1998), Marsala, Sicily, Italy, pp. 18-20, June 1998. (UM-CS-1998-086)

[ PostScript ] [ PDF ]

Efficient Composite Data Flow Analysis Applied to Concurrent Programs
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, ACM SIGPLAN SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), Montreal, Quebec, Canada, pp. 51-58, June 1998. (UM-CS-1998-082)

Replaces UM-CS-1997-043.

[ PostScript ] [ PDF ]

An Adaptable Generation Approach to Agenda Management
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil, 20th International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, pp. 282-291, April 1998. (UM-CS-1997-045)

[ PostScript ] [ PDF ]

Verifying Properties of Distributed Systems: Prospects for Practicality
Lori A. Clarke, Leon J. Osterweil, 4th International Conference on Achieving Quality in Software (AQuIS 98), Venice, Italy, pp. 11-16, March 1998. (UM-CS-1998-084)

[ PostScript ] [ PDF ]

Enhancing Design Methods to Support Real Design Processes
Barbara Staudt Lerner, Stanley M. Sutton, Jr., Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 1998. (UM-CS-1998-006)

A condensed version of this paper appears in the 9th International Workshop in Software Specification and Design (IWSSD 9), April 1998 Ise-shima, Japan.

[ PostScript ] [ PDF ]

 1997

Experience Using the JIL Process Programming Language to Specify Design Processes
Stanley M. Sutton, Jr., Barbara Staudt Lerner, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1997. (UM-CS-1997-068)

[ PostScript ] [ PDF ]

The Design of a Next-Generation Process Language
Stanley M. Sutton, Jr., Leon J. Osterweil, 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 5), Zurich, Switzerland, Springer Verlag Lecture Notes in Computer Science #1301, pp. 142-158, September 1997. (UM-CS-1997-054)

[ PostScript ] [ PDF ]

Gaining Confidence in Distributed Systems
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer, 10th International Software Quality Week (QW 97), Vol II, Session 10, San Francisco, CA, May 1997. (UM-CS-1997-042)

[ PostScript ] [ PDF ]

Software Processes Are Software Too, Revisited
Leon J. Osterweil, 19th International Conference on Software Engineering (ICSE 1997), Boston, MA, pp. 540-548, May 1997. (UM-CS-1997-020)

[ PostScript ] [ PDF ]

Applying Static Analysis to Software Architectures
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 5) and the 6th European Software Engineering Conference (ESEC 1997), Zurich, Switzerland, Springer Verlag Lecture Notes In Computer Science #1301, pp. 77-93, Sept. 1997. (UM-CS-1997-008)

[ PostScript ] [ PDF ]

 1996

A Framework for Relocation in Mobile Process-Centered Software Development Environments
Supratik Bhattacharyya, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 1996. (UM-CS-1996-069)

[ PostScript ] [ PDF ]

The Criticality of Modeling Formalisms in Software Design Method Comparison
Rodion M. Podorozhny, Leon J. Osterweil, 19th International Conference on Software Engineering (ICSE 1996), Boston, MA, pp. 303-313, May 1996. (UM-CS-1996-049)

[ PostScript ] [ PDF ]

Verification of Communication Protocols Using Data Flow Analysis
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, CA, pp. 93-105, October 1996. (UM-CS-1996-027)

[ PostScript ] [ PDF ]

Multilanguage Interoperability in Distributed Systems: Experience Report
Mark J. Maybee, Dennis H. Heimbigner, Leon J. Osterweil, 18th International Conference On Software Engineering (ICSE 1996), Berlin, Germany, pp. 451-463, March 1996. (UM-CS-1995-075)

[ PostScript ] [ PDF ]

 1995

An Analysis of Process Languages
Stanley M. Sutton, Jr., Peri L. Tarr, Leon J. Osterweil, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 1995. (UM-CS-1995-078)

[ PostScript ] [ PDF ]

 1994

Engineering Software Design Processes to Guide Process Execution
Xiping Song, Leon J. Osterweil, 3rd International Conference on the Software Process, Reston, VA, pp. 135-152, October 1994. (UM-CS-1994-023)

[ PostScript ] [ PDF ]

 1991

Directions for U.S. Research and Development Efforts on Software Testing and Analysis: A Report from the Workshop on Directions
Leon J. Osterweil, Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1992. (UM-CS-1990-073)

Revised 12/90 and 9/91 (A shorter published version of this paper appears in IEEE Software, 18(9) , September 1992, pp. 89-96).

[ PostScript ] [ PDF ]

 1990

Language Constructs for Managing Change in Process-Centered Environments
Stanley M.Sutton, Jr., Dennis M. Heimbigner, Leon J. Osterweil, 4th ACM SIGSOFT Symposium on Software Development Environments (SIGSOFT 90), Irvine, CA, pp. 206-217, December 1990. (LASER-1990-SHO)

 1987

Software Processes are Software Too
Leon J. Osterweil, In Proceedings of the 9th international conference on Software Engineering (ICSE '87). IEEE Computer Society Press, Los Alamitos, CA, USA, pp. 2-13. (UM-LJO-1987)

[ 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