- 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:
- 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 Alexander Wise
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
Little-JIL 1.0 Language Report
Alexander Wise,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, April 1998. (UM-CS-1998-024)
[ PostScript ]
[ PDF ]
A Framework for Event-Based Software Integration
Daniel J. Barrett,
Lori A. Clarke,
Peri L. Tarr,
Alexander Wise,
IEEE Transactions on Software Engineering and Methodology, 5(4), pp. 378-421, October 1996. (UM-CS-1996-068)
[ 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