Professor OSTERWEIL Leon


Team : MoVe
Invited by : Fabrice KORDON
Arrival date : 06/01/2010
Departure date : 07/02/2010
http://laser.cs.umass.edu/people/ljo.html

Research activity

My research focuses on defining languages that can support defining processes sufficiently precisely that they can be subjected to rigorous analysis. My group has defined the Little-JIL process definition language. With L.A. Clarke and G.S. Avrunin I have shown that processes defined in Little-JIL can be subjected to finite state verification and fault tree analysis, and can be use to create discrete event simulations. These processes are from domains such as healthcare, elections, and negotiation.