Workshop Programme

 
 

The 2011 WESOA workshop has attracted a large variety of high-quality submissions. From these the programme committee has selected an exiting selection of papers:


  1. •Morrison, Evan Douglas; Ghose, Aditya K.; Dam, Hoa K.; Hinge, Kerry G.; Hoesch-Klohe, Konstantin, University of Wollongong, Australia, Strategic Alignment of Business Processes

  2. •Fernandez, Hector (1); Tedeschi, Cedric (2); Priol, Thierry (1), 1: INRIA, France (French Republic); 2: University of Rennes I / INRIA (French Republic), Decentralized Workflow Coordination through Molecular Composition

  3. •Meilaender, Dominik (1); Bucchiarone, Antonio (2); Cappiello, Cinzia (3); Di Nitto, Elisabetta (3); Gorlatch, Sergei (1), 1: University of Muenster, Germany; 2: Fondazione Bruno Kessler, Italy; 3: Politecnico di Milano, Using a Lifecycle Model for Developing and Executing Real-Time Online Applications on Clouds

  4. •Lago, Patricia; Razavian, Maryam, VU University Amsterdam, Netherlands, A Pragmatic Approach for Analysis and Design of Service Inventories

  5. •Lohmann, Niels; Nyolt, Martin, Universität Rostock, Artifact-centric modeling using BPMN

  6. •Barkhordarian, Angineh; Demuth, Frederik; Hamann, Kristof; Hoang, Minh; Weichler, Sonja; Zaplata, Sonja, University of Hamburg, Germany, Migratability of BPMN 2.0 Process Instances

  7. •Holotescu, Casandra, Politehnica University of Timisoara, Romania, Asynchronous Learning for Service Composition

  8. •Bartalos, Peter; Blake, Brian, University of Notre Dame, United States of America, Engineering Energy-Aware Web Services Toward Dynamically-Green Computing

 

List of Accepted Papers

Registration

If you are interested to attend the workshop, please register now.


Registrations are handled by the ICSOC conference on their website http://www.icsoc.org/.


It is possible to register for the workshop only or in combination with the ICSOC conference.



Taming the Cloud: Certification and Assertions for Software Services


The maturity of IT processes, such as software development, can be and is often certified. Current trends in the IT industry suggest that software systems in the future will be very different from their counterparts today, with an increasing adoption of the Service-Oriented Architecture (SOA) design pattern and the deployment of Software-as-a-Service (SaaS) on Cloud infrastructures.  In this talk we discuss the issues surrounding building SOA applications for Cloud infrastructures and highlight the need for enhanced control, compliance and service-level agreement mechanisms.  Providing both static and dynamic testing tools is a challenge for such concerns however using techniques developed at City University we illustrate how some of these concerns may be managed and governed.  The talk will also introduce preliminary results from the EU funded ASSERT4SOA project, providing novel techniques for expressing, assessing and certifying properties of complex service-oriented applications.


Short Bio: Howard Foster is a Research Associate with the Department of Computing, City University London.  He received his PhD degree in 2006 from Imperial College London in the area of Rigorous Software Engineering for Service Compositions and is actively working on formal techniques for software verification, adaptation and behavioural synthesis.  He also has more than 15 years industrial experience as an IT consultant for leading business and IT professional service organizations.  He is a regular program and workshop committee member for leading software engineering conferences and also for software service focused conferences and workshops. He is a member of the IEEE Computer Society.

 

Keynote by Howard Foster

Presentation Slides