E-Freight
(EU ICT FP7)
SLA@SOI
Service Engineering for Service-Oriented Overlay Computers
Engineering for Autonomous Systems
Services Choreography (WS-CDL)
H.Foster, S.Uchitel, J.Magee and J.Kramer, "An Integrated Workbench for Model-Based Engineering of Service Compositions," IEEE Transactions on Services Computing, 28 Apr. 2010. IEEE computer Society Digital Library. IEEE Computer Society,
H.Foster, A.Mukhija, D.S.Rosenblum, and S.Uchitel, Specification and Analysis of Dynamically-Reconfigurable Service Architectures to appear in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).
H.Foster, L.Gonczy, N.Koch, P.Mayer, C.Montangero, and D.Varr, UML Extensions for Service-Oriented Systems to appear in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).
R.Bruni, H.Foster, A.L. Lafuente, U.Montanari and E.Tuosto, A Formal Support to Business and Architectural Design for Service-Oriented Systems to appear in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).
A.Mukhija, H.Foster, D.S.Rosenblum, and S.Uchitel, Runtime Support for Dynamic and Adaptive Service Composition to appear in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).
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.
M.Lambrou and H.Foster, SLA-Based Federated E-Maritime Services, to be presented at the 5th Mediterranean Conference on Information Systems (MCIS2010), Tel-Aviv-Yafo, September 2010.
M.Lambrou and H.Foster, Next Generation E-Maritime Systems Engineering, presented at Special Session on Intelligent Transport Systems, World Conference on Transport Research, Lisbon, Portugal, July 2010.
H.Foster, A.Mukhija, D.S. Rosenblum and S.Uchitel, Engage: Engineering Service Modes with WS-Engineer and Dino, 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.
H.Foster, S.Uchitel, J.Magee and J.Kramer, Compatibility Verification for Web Service Choreography, IEEE International Conference on Web Services (ICWS04), San Diego, CA, July 2004.
H.Foster, S.Uchitel, J.Magee, J.Kramer, Model-based Verification of Web Service Compositions, IEEE Automated Software Engineering (ASE03), Montreal, Canada, 2003.
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.
H.Foster, Service Compositions: Assisting the Engineer and the Apprentice, Keynote demonstration given at Service-Oriented Computing and Formal Methods (SEEFM), Thessaloniki, Greece. March 2007.
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.
Publications
