A new paradigm – service-orientation – is currently emerging for distributed computing and e-business processing; it has evolved from object-oriented and component-based computing to enable building agile networks of collaborating business applications distributed within and across organizational boundaries. This new paradigm utilizes services (autonomous platform-independent computational elements that can be described, published, discovered and accessed over the Internet using standard protocols) as fundamental elements for developing applications/solutions; services will be important for customers and not the specific software or hardware component that is used to implement the services. In this context, services become the next level of abstraction in the process of creating systems that would enable automation of e-businesses. This paradigm shift is changing the way the computer software is developed and used (designed, architected, delivered, consumed, and analysed), and this way of reorganizing software applications and infrastructure into a set of interacting services is usually referred to as Service-oriented Architectures (SOA).

In recent years, various forms of service-oriented architectures have appeared; amongst them, Web services, Grid services, Semantic Web Services, and e-Services are the most important. Although they share some of the principles of service-oriented architectures, they differ in many other aspects, which is an undesirable situation in the context of service-oriented architectures. Since standard protocols are a basic principle of SOA, this undesirable situation is partly due also to the fact that there are currently no mature methodologies and techniques to support analysis for service-oriented architectures. Moreover, all these forms of service-oriented architectures have developed different conceptual models, resulting in different methodologies for modelling and designing service-oriented architectures.

In this context, this workshop aims to tackle the research problems (as well as practical experiences) around methods, concepts, models, languages and technology that enable computing in service-oriented environments. Of particular interest are the architectural, technical, and developmental foundations of service-oriented architectures, and showing how they combine synergistically to enable distributed computing on the scale required by today’s Internet-connected enterprise.

The focus of the workshop is broader than, but includes, the OMG MDA (Model Driven Architecture) approach for service oriented architectures. MDA was for the first international workshop, mda4soa’06, used as short for Modeling, Design and Analysis.

The workshop aims to bring together researchers and industry practitioners (e.g. leading modelers, architects, system vendors, open-source projects, developers, and end-users) addressing many of these issues (including recent developments in tools and techniques, and real-world implementations of service-oriented distributed applications), and promote and foster a greater understanding of how service-oriented architectures can assist business to business and enterprise application integration, thus helping people develop and manage business processes more efficiently and effectively.

• case studies for service-oriented architectures and systems
• analysis methodologies for service-oriented architectures and systems
• languages and methods for service-oriented architectures
• specification of service-oriented architecture
• MDA (OMG Model Driven Architecture) for service-oriented architectures
• DSL (Domain Specific Languages) for service-oriented architectures
• modeling and simulation of service-oriented architectures
• verification and validation of service-oriented architectures
• evaluation of service-oriented architectures
• analysis and design of mobile service-oriented architectures
• patterns in modelling, design, and analysis for service-oriented architectures
• guidelines for developing service-oriented applications
• techniques for integrating service-oriented architectures
• semantic aspects and ontologies for service-oriented architectures
• formal models for service-oriented architectures; reasoning with service-oriented architectures
• quality of services (QoS) analysis and modelling in service-oriented architectures
• services level agreements (SLAs) modelling and negotiation in service-oriented architectures
• analysis and modelling of security, privacy, and trust in service-oriented architectures
• policy-based service-oriented architectures
• methods for migrating legacy systems to service-oriented architectures
• discovery, composition, execution, monitoring, and mediation in service-oriented architectures
• adaptability and recovery strategies in service-oriented architectures
• models for governance in service-oriented architectures
• specifications and models for service-oriented architectures: Web services, Grid services, Semantic Web Services, and e-Services
• standards for modeling, specification, design and analysis of service-oriented architectures
• tools, environments and factories for modelling, design and analysis of service-oriented architectures

These topics indicate the general focus of the workshop, however, related contributions are welcome also.

Salt Lake City, Utah, USA

The workshop is to be held in conjunction with the 2007 IEEE International Conferences on Services Computing (SCC 2007) and Web Services (ICWS 2007).

Arne J. Berre
SINTEF
Cooperative and Trusted systems
Forskningsveien 1, Blindern
0314 OSLO, NORWAY
Phone: +47 2206 7452
Fax: +47 2206 7350
E-Mail: Arne.J.Berre@sintef.no

Cory Casanave
Model Driven Solutions
8605 Westwood Center Drive Suite 505
Vienna, VA 22182, USA
Phone:+1-703- 992-9105
E-Mail: cory-c@enterprisecomponent.com

Dumitru Roman
Digital Enterprise Research Institute (DERI)
University of Innsbruck, Institute of Computer Science
Technikerstraße 13, 6020 Innsbruck, Austria
Phone: +43 512 507 6463
Fax: +43 512 507 9872
E-Mail: dumitru.roman@deri.org

Jian Yang
Department of Computing
Macquaire University
Sydney NSW 2109, Australia
E-Mail: jian@comp.mq.edu.au

Ali Arsanjani, IBM, USA

Siegfried Benkner, University of Vienna, Austria

Pautasso Cesare, IBM Zurich Research Lab, Switzerland

Thomas Erl, SOA Systems Inc., Canada

Roy Grønmo, SINTEF, Norway

Sung-Kook Han, Wonkwang University, South Korea

Martin Henkel, Royal Institute of Technology, Sweden

Martin Hepp, DERI Innsbruck, Austria

Rania Khalaf, IBM, USA

Jacek Kopecký, DERI Innsbruck, Austria

Yen-Jen Lee, Google, USA

Lin Liu, Tsinghua University, China

Mihhail Matskin, Royal Institute of Technology, Sweden

Barry Norton, Open University, UK

Guadalupe Ortiz, University of Extremadura, Spain

Stefano de Panfilis, Engineering, Italy

Claus Pahl, Dublin City University, Ireland

Brahmananda Sapkota, DERI, Ireland

Anne-Marie Sassen, EU Commission, Belgium

Ioan Toma, DERI Innsbruck, Austria

Aphrodite Tsalgatidou, NKUA, Greece

Weider Yu, San Jose State University, USA

Liang-Jie Zhang, IBM, USA

Andrea Zisman, City University, UK

• Submissions (extended): April 18, 2007
• Acceptance: April 25, 2007
• Final copy: May 1, 2007
• Workshops day: July 13, 2007

The workshop invites different types of contributions:

• Papers
• Demos
• Posters / Position papers

Papers:The papers should not exceed 8 pages and should have the IEEE layout.

Demos: Detailed description plus sufficient number of screenshots or a video of the demo are required. For paper-based submissions, please follow the IEEE layout. Please note that at the workshop itself no technical support is provided except possibly Internet connection and power (to be confirmed).

Posters/Position papers: The posters/position papers should not exceed 2 pages and should have the IEEE layout.

All contributions will be peer reviewed by a program committee that will incorporate well recognized experts in the area of service-oriented architectures.

All submissions should be formatted in the IEEE layout, and should be submitted in electronic format using the link: http://www.easychair.org/MDA4SOA2007/.

All accepted full papers and all position papers of attendees will be published in the proceedings of the workshop. Workshop proceedings will be published with IEEE Computer Society Press and will be available at the workshop.

Location: Marriott Salt Lake City Downtown, 75 South West Temple, Salt Lake City, Utah 84101, USA
Room: Deervaley 1+2
Date: July 13, 2007

==========================================
08:00 - 09:30 SERVICES 2007 CONGRESS Plenary Panel: Services Architectures (part of the main conference)
==========================================
09:30 - 10:00 Break
==========================================
10:00 - 11:30 Session 1: Service Modeling
==========================================
10:00 - 10:25 Invited talk #1: SOA and Process modeling (by Cory Casanave)
10:25 - 10:50 Interaction and Potential Synergy between Commercial and Governmental Web Services - a Case Study(by Peep Küngas and Mihhail Matskin)
10:50 - 11:15 Modeling and Analysis of Performance Oriented and Revenue Based Admission Control Framework for Service Providers (Shuxing Cheng, Carl K. Chang and Liang-Jie Zhang)
11:15 - 11:30 Mini panel with the presenters from this session
==========================================
11:30 - 12:30 LUNCH
==========================================
12:30 - 14:00 Session 2: Extended Service Architectures
==========================================
12:30 - 12:55 Invited talk #2: Current status of the OMG UPMS standard - UML Profile and Metamodel for Services (by Arne J. Berre)
12:55 - 13:20 A Service Architecture for Context Awareness and Reaction Provisioning (by Luiz Olavo Bonino da Silva Santos, Fano Ramparany, Richard Etter, Patricia Dockhorn Costa and Tom Broens)
13:20 - 13:45 A Policy Driven Authorization Control Framework for Business Collaboration (by Daisy Daiqin He and Jian Yang)
13:45 - 14:00 Mini panel with the presenters from this session
==========================================
14:15-15:45 Session 3: Semantics and Services
==========================================
14:15 - 14:40 Invited talk #3: Semantic services (by Dumitru Roman)
14:40 - 15:05 Compliance Proofs for Collaborative Interactions using Aspect-Oriented Approach (by Adomas Svirskas, Carine Courbis, Refik Molva and Justinas Bedzinskas)
15:05 - 15:45 Panel
==========================================
15:45 - 16:00 Break
==========================================
16:00 - 17:00 Closing Panel on IEEE Services Computing Community (part of the main conference)
==========================================

Those who are interested in attending the workshop should register through the main conference.