- 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:
- 2013
- 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 Barbara Staudt Lerner
Supporting Undo and Redo in Scientific Data Analysis
Xiang Zhao,
Emery R. Boose,
Yuriy Brun,
Barbara Staudt lerner,
Leon J. Osterweil,
In Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance (TaPP '13), Lombard, IL, April 2-3, 2013. (UM-CS-2013-015)
[ PDF ]
[ Slides ]
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 ]
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 ]
Verifying Process Models Built Using Parameterized State Machines
Barbara Staudt Lerner,
2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '04), Boston, MA, pp. 274-284. July 2004. (UM-CS-2004-088)
[ ACM ]
[ PDF ]
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura,
Barbara Staudt Lerner,
9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki, Finland, Springer Verlag Lecture Notes in Computer Science, Vol 2786, pp. 143-153, September 2003. (UM-CS-2004-089)
[ 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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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