Home > LASER Publications > Process Programming and Workflow > Barbara Staudt Lerner
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:
2014
2013
2012
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

 2013

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 ]

 2010

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 ]

 2008

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 ]

 2004

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 ]

 2003

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 ]

 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 ]

 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 ]

 2000

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 ]

 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 ]

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 ]

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