Dr Howard Foster - Computing - Imperial College London

Department of Computing

Dr. Howard Foster

Huxley Building (563A)
180 Queen's Gate
South Kensington Campus
Imperial College London
SW7 2AZ United Kingdom

Tel.: +44 (0)20 7594 8239
Fax: +44 (0)20 7581 8024
Email: howard.foster [at] imperial ac uk
Visitor Travel Information
Get Directions via Google

About

Research Associate in Distributed Software Engineering at the Department of Computing, Imperial College London. My research interests include services, compositions, choreography and model-based verification and validation techniques. I am also interested in self-management and organisation of systems, and behavioural-synthesis of software components. I am the creator of WS-Engineer, a tool to support model-based verification and validation of web service compositions, based upon my Phd Thesis (with Jeff Magee and Jeff Kramer). I am also a member of London Software Systems, a joint research institute established by Imperial College and UCL that focusses on techniques and tools for designing large-scale complex information technology systems. I am currently working on the Sensoria project for the European Information Society.

Publications and Presentations

Selected
Conferences
Talks
Books
Thesis
Industry
Posters

2009	H.Foster, A.Mukhija, D.S. Rosenblum and S.Uchitel, Engineering Service Modes with WS-Engineer and Dino, to be presented at the 7th Joint International Conference on Service Oriented Computing (ICSOC 2009), Stockholm, Sweden. November 2009.
	H.Foster, Architecture and Behaviour Analysis for Engineering Service Modes, In Proceedings of the 2nd Workshop on Principles of Engineering Service Oriented Systems (PESOS) at ICSE 2009, Vancouver, Canada. May 2009.
2008	A.Argent-Katwala, A.Clark, H.Foster, S.Gilmore, P.Mayer and M.Tribastone, Safety and Response-Time Analysis of an Automotive Accident Assistance Service. in Proceedings of ISoLA 2008, Chalkidiki, Greece. October 2008.
2007	H.Foster, W. Emmerich, J.Kramer, J.Magee, D.Rosenblum and S.Uchitel, Model Checking Service Compositions under Resource Constraints, in Proceedings of ESEC/FSE 2007, Dubrovnik, Croatia. Sept 2007.
2006	H.Foster, S.Uchitel, J.Magee, J.Kramer,WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography, IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
	H.Foster, S.Uchitel, J.Magee, J.Kramer,Model-Based Analysis of Obligations in Web Service Choreography, IEEE International Conference on Internet&Web Applications and Services (ICIW) 2006, Guadeloupe, French Caribbean
2005	H.Foster, S.Uchitel, J.Magee, J.Kramer, M.Hu, Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study, IEEE International Conference on Services Computing (SCC) 2005, Orlando, FL, July 2005.
2004	H.Foster, S.Uchitel, J.Magee, J.Kramer,Compatibility Verification for Web Service Choreography, IEEE International Conference on Web Services (ICWS) 2004, San Diego, CA, July 2004.
2003.	H.Foster, S.Uchitel, J.Magee, J.Kramer,Model-based Verification of Web Service Compositions, IEEE Automated Software Engineering (ASE) 2003, Montreal, Canada, 2003.

20.	H.Foster, A.Mukhija, D.S. Rosenblum and S.Uchitel, Engineering Service Modes with WS-Engineer and Dino, to be presented at the 7th Joint International Conference on Service Oriented Computing (ICSOC 2009), Stockholm, Sweden. November 2009.
19.	H.Foster, Architecture and Behaviour Analysis for Engineering Service Modes, in Proceedings of the 2nd Workshop on Principles of Engineering Service Oriented Systems (PESOS) at ICSE 2009, Vancouver, Canada. May 2009.
18.	H.Foster, A.Mukhija, S.Uchitel and D.Rosenblum, A Model-Driven Approach to Dynamic and Adaptive Service Brokering using Modes, in Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia. December 2008.
17.	H.Foster, WS-Engineer 2008: A Service Architecture, Behaviour and Deployment Verification Platform. in Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia. December 2008.
16.	H.Foster, S.Uchitel, J.Magee and J.Kramer, Leveraging Modes and UML2 for Service Brokering Specifications. Proceedings of 4th Model-Driven Web Engineering Workshop (MDWE 2008), Toulouse, France. September 2008.
15	A.Argent-Katwala, A.Clark, H.Foster, S.Gilmore, P.Mayer and M.Tribastone, Safety and Response-Time Analysis of an Automotive Accident Assistance Service. Proceedings of ISoLA 2008, Chalkidiki, Greece. October 2008.
14.	H.Foster, Tool Support for Safety Analysis of Service Composition and Deployment Models. Proceedings of ICWS 2008, Beijing, China. September 2008.
13.	H.Foster and P.Mayer,Leveraging Integrated Tools for Model-Based Analysis of Service Compositions, in Proceedings of ICIW 2008, Athens, GR. May 2008.
12.	N. D'Ippolito, H.Foster, and S.Uchitel, MTSA: The Modal Transition System Analyser Eclipse Plugin, ETX2007 Workshop at OOPSLA07, Montreal, Canada, October 2007.
11.	H.Foster, S.Uchitel, J.Kramer, J.Magee, Towards Self-Management in Service-oriented Computing with Modes , in Proceedings of the Workshop on Engineering Service-Oriented Applications (WESOA07), Vienna, Austria. Sept 2007.
10.	H.Foster, W. Emmerich, J.Kramer, J.Magee, D.Rosenblum and S.Uchitel, Model Checking Service Compositions under Resource Constraints, in Proceedings of ESEC/FSE 2007, Dubrovnik, Croatia. Sept 2007.
9.	H.Foster, J.Magee, J.Kramer, S.Uchitel, Adaptable Software Architectures and Task Synthesis for UAVs, Systems Engineering for Autonomous Systems (SEAS) DTC Conference, Edinburgh, UK, July 2006.
8.	L. Chen, B. Wassermann, W. Emmerich and H. Foster, Web Service Orchestration with BPEL, IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
7.	H.Foster, S.Uchitel, J.Magee, J.Kramer,WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography,IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
6.	H.Foster, S.Uchitel, J.Magee, J.Kramer,Model-Based Analysis of Obligations in Web Service Choreography,IEEE International Conference on Internet&Web Applications and Services (ICIW) 2006, Guadeloupe, French Caribbean
5.	H.Foster, S.Uchitel, J.Magee, J.Kramer,Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions,ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.
4.	H.Foster, S.Uchitel, J.Magee, J.Kramer, M.Hu, Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study,IEEE International Conference on Services Computing (SCC) 2005, Orlando, FL, July 2005.
3.	H.Foster, S.Uchitel, J.Magee, J.Kramer,Tool Support for Model-Based Engineering of Web Service Compositions,IEEE International Conference on Web Services (ICWS) 2005, Orlando, FL, July 2005.
2.	H.Foster, S.Uchitel, J.Magee, J.Kramer,Compatibility Verification for Web Service Choreography,IEEE International Conference on Web Services (ICWS) 2004, San Diego, CA, July 2004.
1.	H.Foster, S.Uchitel, J.Magee, J.Kramer,Model-based Verification of Web Service Compositions,IEEE Automated Software Engineering (ASE) 2003, Montreal, Canada, 2003.

2009	H.Foster, Reconfigurable Service Infrastructures, Lecture at SENSUS Summer School 2009, Keszthely, Hungary. July 2009.
	H.Foster, Behaviour Analysis of Service Compositions, Lecture at SENSUS Summer School 2009, Keszthely, Hungary. June 2009.
	H.Foster, Towards Automated and Interrelated Service Analysis Tools, Keynote at Workshop on Automated Software Test (AST) at ICSE 2009, Vancouver, Canada. May 2009.
	H.Foster, SENSORIA: Qualitative Service Analysis and Tools, presented at IBM and Sensoria Workshop, IBM Southbank, London, UK. March 2009.
2008	H.Foster, Service Composition: From Models to Self-Management, Keynote at EDOC 2008, Munich, DE. September 2008, Presented to the Distributed Systems Research Group, Charles University, Prague, September 2008. Presented to the Dipartimento di Elettronica ed Informazione , Politecnico di Milano, Milan, Italy, June 2008.
2007	H.Foster, Service Compositions: Assisting the Engineer and the Apprentice, Keynote (demo) given at Service-Oriented Computing and Formal Methods (SEEFM), Thessaloniki, Greece. March 2007.

Click book for table of contents.
[Buy it at Amazon.co.uk]

H.Foster, S.Uchitel, J.Magee and J.Kramer, WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography in Test and Analysis of Web Services, Baresi, Luciano; Di Nitto, Elisabetta (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (Aug 2007) , ISBN: 978-3-540-72911-2.

Phd	H.Foster, A Rigorous Approach to Engineering Web Service Compositions, PhD Thesis, Department of Computing, Imperial College London, UK, January 2006. Supervised by Jeff Magee and Jeff Kramer.
MSc	H.Foster, An Exploration in Object-Oriented and Rapid Application Development, MSc Dissertation, School Of Information Systems, University of East Anglia, UK, November 1998. Supervised by Pam Mayhew.

	H.Foster, WS-Engineer: A Rigorous Approach to Engineering Web Service Compositions, presented at IDEAlliance XML Conference 2006, Boston, MA.
	H.Foster, S.Uchitel, J.Magee, J.Kramer, Web Service Compositions: From XML Syntax to Service Models, presented at IDEAlliance XML Conference 2005, Atlanta, GA.

	H. Foster, A. Mukhija, D.S. Rosenblum and S. Uchitel ENGAGE: Engineering Service Modes with WS-Engineer and Dino to be presented at ICSOC 2009 Stockholm, Sweden. November 2009 (low) (high)
	H. Foster, J.Magee, J.Kramer and S. Uchitel Verification for Service Architecture, Behaviour and Deployment presented at ICSOC 2008 Sydney, Australia. December 2009 (low) (high)
	H. Foster, J.Magee, J.Kramer and S. Uchitel Tool Support for Model-Based Verification of Web Service Compositions in Eclipse presented at EclipseCon 2005 Burlingame, California. February 2005 (low) (high)

Tools and Utilities

LTSA - A verification tool for concurrent system behaviour modelling

WS-Engineer - Verification and Validation of (web) service behaviour models

SENSORIA (SDE) - Development Environment for chain-based analysis tools

Dino Service Broker - Runtime for Dynamic Service Brokering (UCL)

Forums, Mailing Lists and Blogs

		W3C Web Services Mailing List	W3C Semantic Annotations Mailing List
		WS-BPEL Eclipse Editor Project Forum	WS-BPEL XML.ORG Forum
		WS Choreography Public Forum	WS-CDL / Pi4Tech (Steve Ross-Talbot Blog)