Travelled to:
1 × Germany
1 × Japan
1 × United Kingdom
2 × USA
Collaborated with:
S.K.Shrivastava J.J.Halliday S.J.Woodman D.J.Palmer C.T.Karamanolis D.Giannakopoulou J.Magee G.N.Dixon G.D.Parrington L.Bellissard D.Féliot M.Herrmann N.D.Palma
Talks about:
workflow (4) system (2) servic (2) treatment (1) implement (1) distribut (1) platform (1) composit (1) support (1) persist (1)
Person: Stuart M. Wheater
DBLP: Wheater:Stuart_M=
Contributed to:
Wrote 6 papers:
- EDOC-2004-WoodmanPSW #specification #verification #web #web service
- Notations for the Specification and Verification of Composite Web Services (SJW, DJP, SKS, SMW), pp. 35–46.
- EDOC-2001-HallidaySW #flexibility #workflow
- Flexible Workflow Management in the OPENflow System (JJH, SKS, SMW), pp. 82–92.
- EDOC-2000-KaramanolisGMW #model checking #workflow
- Model Checking of Workflow Schemas (CTK, DG, JM, SMW), pp. 170–181.
- EDOC-2000-ShrivastavaBFHPW #framework #workflow
- A Workflow and Agent Based Platform for Service Provisioning (SKS, LB, DF, MH, NDP, SMW), pp. 38–47.
- EDOC-1999-HallidaySW #coordination #distributed #implementation #process #workflow
- Implementing support for work activity coordination within a distributed workflow system (JJH, SKS, SMW), pp. 116–123.
- ECOOP-1989-DixonPSW #persistent
- The Treatment of Persistent Objects in Arjuna (GND, GDP, SKS, SMW), pp. 169–189.