CFP: FM'03 International Workshop on Service-Based Software Engineering // Deadline Extension



Date view Thread view Subject view Author view Attachment view

Spihk@aol.com
Date: Thu 19 Jun 2003 - 06:40:04 BST


[My sincere apologies if you receive multiple copies of this CFP]
----------------------------------------------------------------
To be compliant with other FME'03 workshops, the new submission deadline for the workshop is 27.06.03.
----------------------------------------------------------------

FM'03 International Workshop on Service-Based Software Engineering

                          SBSE'03
                 http://www4.in.tum.de/~sbse
             September 08/09, 2003, Pisa, Italy

(In conjunction with FM 2003: the 12th International FME Symposium, Pisa, Italy -September 8-14, 2003)

Short Description
-----------------

A solid methodological basis for service-oriented system development requires a suitable notion of service and the availability of systematic modeling, development, and quality assurance methods based on this service notion. Therefore, the topics addressed in this workshop include:

- Formal foundations for services
- Modeling notations for services
- Composition operators for services
- Quality-of-Service specifications
- Patterns for service development
- Methodologies for service-oriented system engineering
- Refinement and refactoring techniques for services
- Service-oriented validation and verification techniques

Goal
----

The goal of the workshop is to bring together researchers and practitioners interested in service-oriented software and systems engineering, with an emphasis on

- using services to describe complex system functionality
- integrating service descriptions to form a system specification
- constructing architectures - supporting a service-based development process

to further the definition and introduction of a precise as well as applicable notion of services.

Steering Committee:
-------------------

Manfred Broy, Technische Universität München
Heinrich Hussmann, Ludwig Maximilian Universität München 
*Ingolf Krüger, University of California, San Diego 
*Bernhard Schätz, Technische Universität München 

*(please contact for more information)


Invited Speaker:
----------------

Pamela Zave, AT&T

Program Committee:
------------------

Jan Bredereke, Universität Bremen
Manfred Broy, Technische Universität München
Francisco Curbera, IBM Cooperation
Bernd Finkbeiner, Universität Saarbrücken
Dimitra Giannakopoulou, NASA, Ames Research Center
Heinrich Hussmann, Ludwig Maximilian Universität München
Ingolf Krüger, University of California, San Diego
Stefan Leue, Universität Freiburg
Christian Salzmann, BMW Car-IT
Bernhard Schätz, Technische Universität München
Ina Schieferdecker, Fraunhofergesellschaft FOKUS
Tarja Systä, University of Tampere


Important Dates
---------------
Deadline for Submissions:   June 27, 2003
Notification of Acceptance: July 15, 2003
Final Versions:             August 10, 2003
Workshop:                   September 08/09, 2003


Submission Instructions
-----------------------

Contributions are limited to fifteen pages in LNCS format. Submission must be in PDF including a cover sheet with the following information:

- Title
- Contact author
- Abstract
- Keywords
- Number of pages

Contributions should be submitted electronically via email to sbse@in.tum.de.  All papers submitted to the workshop are refereed by the program committee. Accepted papers must be presented at the workshop to be included in the workshop proceedings. The preliminary proceedings are published as technical report of Technische Universität München.  Additionally, appropriate papers are invited for publication in a special edition of the Journal for Software and System Modeling (SoSyM),published by Springer Verlag.

Date view Thread view Subject view Author view Attachment view