Saturday, May 31, 2008


ESWSA: Workshop on empirical studies of Web service architectures
(the RESTñSOAP debate in numbers)
in conjunction with OOPSLA 2008

The recent rapid growth in size and capability of distributed computing
systems has heralded new types of software architectures, among them the
messaging paradigm championed by Web Services and the distributed hypermedia
model upheld by the Web. Currently these two competing styles ñ known as
SOAP and RESTful ñ are used, but little is known about the real-world
engineering characteristics of each style, though each has an active camp of
campaigners. The known comparisons focus on sometimes abstract architectural
principles, and there is little empirical information in the public domain
from specific system implementation experience.

Only one piece of empirical data regarding this debate is available to date.
It comes from Amazon. Jeff Barr, quoted by Tim O'Reilly, noted that 85% of
Web services requests at Amazon are HTTP-based, or RESTful. That was in April

The ongoing conflict between the two groups is often called the ìREST-SOAP
debate.î Yet actual debates, organized for example during conferences, have
not been conclusive, because they typically fail to convince the proponents of
the competing style. Rather than arguing over abstract concepts, this workshop
will address the merits of each style based on empirical experience how
systems work in practice.

The workshop will present empirical work on RESTful and SOAP-based Web
Services. We are seeking papers that present empirical engineering evidence
regarding specific aspects of both kinds of services. This evidence will be
the starting point of the discussion during the workshop that aims to:
* Identify what is known empirically about building RESTful and SOAP services;
* Discuss the empirical results to see how widely they apply;
* Confirm or rebuke abstract claims with empirical evidence; and
* Identify questions for further study.

Workshop submissions should focus on one of the following types of empirical

Firstly, we are soliciting empirical studies or comparisons of SOAP and RESTful
Web services in the context of:
* Publicly accessible services
* Cross-Organization Integration (B2B), or inter-enterprise services
* Enterprise Application Integration (EAI), or intra-enterprise services
* Non-functional requirements of services (e.g. security, reliability, crash

Second, studies of the REST architectural style, e.g.
* How closely does the Web follow the principles of REST?
* How many Web services claiming to be RESTful follow the principles of REST?

Good sources of arguments regarding the REST-SOAP debate are
* RESTwiki,
* Paul Prescod's paper, ìRoots of the REST-SOAP debate,î XML 2002.
* "RESTful Web services" book by Leonard Richardson and Sam Ruby
* Web services-related tracks at qCon conferences


We are seeking short papers (up to 6 pages, 9pt font, in ACM format). A
submission must pose an empirical question related to Web services, present
some data that addresses the question and interpret the results. Submissions
will be judged based on soundness of methods, quality of analysis, as well as
relevance of the empirical results to the REST-SOAP debate. They will be
reviewed by Program Committee members, who are industry and academic experts
in the area of Web services.

Submissions will be accepted through the EasyChair submission system available

Authors of accepted papers will be notified by September 2nd (in time to take
advantage of OOPSLA's early registration discount). Authors will have an
opportunity to update their submissions with the reviewers' feedback until
September 20th, 2008. The reviewed submissions will be featured in OOPSLA
Companion 2008 and in the ACM's Digital Library. Note that at least one author
of the submitted paper must be present at the workshop to present it.


* ESWSA paper submission deadline: August 3, 2008
* Notification of acceptance/rejection: September 2, 2008
* OOPSLA's early registration deadline: September 11, 2008
* ESWSA Workshop: Oct 19th or 20th, 2008


The workshop will run over an entire dayís session at OOPSLA 2008.
Morning session: paper presentations (20 mins per paper + 10 mins for questions)
Afternoon session: more presentations plus a panel discussion of invited experts


Munawar Hafiz, University of Illinois
Paul Adamczyk, University of Illinois
Jim Webber, ThoughtWorks


Mark Baker, Coactus Consulting
Raj Balasubramanian, IBM
Chris Ferris, IBM
Ralph E Johnson, University of Illinois
Mark Little, Redhat
Steve Loughran, HP
Mark Nottingham, Yahoo
Savas Parastatidis, Microsoft
Ian Robinson, ThoughtWorks
Halvard Skogsrud, ThoughtWorks
Stefan Tilkov, innoQ
Paul Watson, Newcastle University
Sanjiva Weerawarana, WSO2


Jim Webber, ThoughtWorks
Sanjiva Weerawarana, WSO2
Kyle Brown, IBM
Brian Foote, Industrial Logic
Paul Adamczyk, University of Illinois

For more information about the workshop please visit
or contact the organizers.

Wednesday, May 14, 2008

JavaOne bug

I'll post about JavaOne later, but if you attended you really should check out Duane's blog concerning health issues around the conference. Luckily I wasn't affected, but I know others were!

Tuesday, May 13, 2008

DOA 2008

OTM 2008 Federated Conferences - Call For Papers
Monterry (Mexico), November 9 - 14, 2008


"OnTheMove (OTM) to Meaningful Internet Systems and Ubiquitous Computing"
co-locates five successful related and complementary conferences:
- International Symposium on Distributed Objects and Applications (DOA'08)
- International Conference on Ontologies, Databases and Applications of
Semantics (ODBASE'08)
- International Conference on Cooperative Information Systems (CoopIS'08)
- International Symposium on Grid computing, high-performAnce and Distributed
Applications (GADA'08)
- International Symposium on Information Security (IS'08)

Each conference covers multiple research vectors, viz. theory (e.g. underlying
formalisms), conceptual (e.g. technical designs and conceptual solutions) and
applications (e.g. case studies and industrial best practices). All five
conferences share the scientific study of the distributed, conceptual and
ubiquitous aspects of modern computing systems, and share the resulting
application-pull created by the WWW.



- Abstract submission: June 8, 2008
- Paper submission: June 15, 2008
- Acceptance notification: August 10, 2008
- Camera ready: August 25, 2008
- Registration: August 25, 2008
- OTM Conferences: November 9 - 14, 2008


CoopIS PC Co-Chairs (
* Johann Eder, University of Klagenfurt, Austria
* Masaru Kitsuregawa, University of Tokyo, Japan
* Ling Liu, Georgia Institute of Technology, USA

DOA PC Co-Chairs (
* Mark Little, Red Hat, UK
* Alberto Montresor, University of Trento, Italy
* Greg Pavlik, Oracle, USA

ODBASE PC Co-Chairs (
* Malu Castellanos, HP, USA
* Fausto Giunchiglia, University of Trento, Italy
* Feng Ling, Tsinghua University, China

GADA PC Co-Chairs (
* Dennis Gannon, Indiana University, USA
* Pilar Herrero, Universidad Politécnica de Madrid, Spain
* Daniel S. Katz, Louisiana State University, USA
* María S. Pérez, Universidad Politécnica de Madrid, Spain

IS PC Co-Chairs (
* Jong Hyuk Park, Kyungnam University, Korea
* Bart Preneel, Katholieke Universiteit Leuven, Belgium
* Ravi Sandhu, University of Texas, USA
* André Zúquete, University of Aveiro, Portugal

WS-FM 2008

WS-FM 2008

5th International Workshop on Web Services and Formal Methods
September 4-5, 2008, Milan, Italy

Co-located with the 6th International Conference on
Business Process Management (BPM'08)

Important Dates

* Abstract submission deadline: May 19, 2008
* Paper submission deadline: May 26, 2008
* Author notification: June 23, 2008
* Camera-ready pre-proceedings: July 21, 2008
* Workshop dates September 4-5, 2008

Scope of the Workshop

Web Service (WS) technology provides standard mechanisms and protocols
for describing, locating and invoking services available all over the
web. Existing infrastructures already enable providers to describe
services in terms of their interface, access policy and behavior, and
to combine simpler services into more structured and complex
ones. However, research is still needed to move WS technology
from skilled handcrafting to well-engineered practice, supporting
the management of interactions with stateful and long-running services,
large farms of services, quality of service delivery, inter alia.

Formal methods can play a fundamental role in the shaping of such
innovations. For instance, they can help us define
unambiguous semantics for the languages and protocols that underpin
existing WS infrastructures, and provide a basis for
checking the conformance and compliance of bundled services. They can
also empower dynamic discovery
and binding with compatibility checks against behavioural properties
and quality of service requirements. Formal analysis of security
properties and performance is also essential in application areas such as
e-commerce. These are just a few prominent aspects;
the scope for using formal methods in the area of Web Services is
much wider, and the challenges raised by this new area can
offer opportunities for extending the state of the art in formal techniques.

The aim of the workshop series is to bring together researchers
working on Web Services and Formal Methods in order to catalyze
fruitful collaboration. The scope of the workshop is not purely
limited to technological aspects. In fact, the WS-FM series has a strong
tradition of attracting submissions on formal approaches to
enterprise systems modeling in general, and business process modeling
in particular. Potentially, this could have a significant impact on
the on-going standardization efforts for Web Service technology.

List of Topics

This edition of the workshop will have a special focus on the
integration of different ways for conceiving Web Services, like
orchestration vs choreography, Petri nets and workflow models vs
process calculi ones, client-server interaction vs multiparty
conversation, secure but static service binding vs open dynamic
binding, etc.

Other topics of interest include, but are not limited to:

* Formal approaches to service-oriented analysis and design
* Formal approaches to enterprise modeling and business process modeling
* WS coordination and transactions frameworks
* Formal comparison of different models proposed for WS protocols and
* Formal comparison of different approaches to WS choreography and
* Types and logics for WS
* Goal-driven and semantics-based discovery and composition of WS
* Model-driven development, testing, and analysis of WS
* Security, performance and quality of services
* Semi-structured data management and XML technology
* WS ontologies and semantic description
* Innovative application scenarios for WS

We encourage also the submission of tool papers, describing tools
based on formal methods, to be exploited in the context of Web
Services applications.


Submissions must be original and should neither be already published
somewhere else nor be under consideration for publication while being
evaluated for this workshop.

We are negotiating with Springer the publication of all accepted
papers in the workshop post-proceedings as a volume of Lecture Notes
in Computer Science (LNCS), to appear a few months after the workshop.

Papers are to be prepared in LNCS format and must not exceed 15 pages.

All papers must be submitted following the instructions at the
WS-FM'08 submission site, handled by EasyChair:


Information about previous editions of the workshop can be found at


Starting from 2007, the workshop has taken over the activities of the
online community formerly known as the "Petri and Pi" Group, which
allowed to bring closer the community of workflow oriented researchers
with that of process calculi oriented researchers. People interested
in the subject can still join the active mailing list on "Formal
Methods for Service Oriented Computing and Business Process
Management" (FMxSOCandBPM) available at

Steering Committee

W. van der Aalst (Eindhoven University of Technology, The Netherlands)
M. Bravetti (University of Bologna, Italy)
M. Dumas (University of Tartu, Estonia)
J.L. Fiadeiro (University of Leicester, UK)
G. Zavattaro (University of Bologna, Italy)

Program Committee


R. Bruni (University of Pisa, Italy)
K. Wolf (University of Rostock, Germany)

Other PC members:

F. Arbab (CWI, The Netherlands)
M. Baldoni (University of Torino, Italy)
A. Barros (SAP Research Brisbane, Australia)
B. Benatallah (University of New South Wales, Australia)
K. Bhargavan (Microsoft Research Cambridge, UK)
E. Bonelli (Universidad Nacional de Quilmes, Argentina)
M. Butler (University of Southhampton, UK)
P. Ciancarini (University of Bologna, Italy)
F. Curbera (IBM Hawthorne Heights, U.S.)
G. Decker (HPI Potsdam, Germany)
F. Duran (University of Malaga, Spain)
S. Dustdar (University of Vienna, Austria)
A. Friesen (SAP Research Karlsruhe, Germany)
S. Gilmore (University of Edinburgh, Scotland)
R. Heckel (University of Leicester, UK)
D. Hirsch (Intel Argentina, Argentina)
F. Leymann (University of Stuttgart, Germany)
M. Little (RedHat, UK)
N. Kavantzas (Oracle Inc., U.S.)
A. Knapp (LMU Munich, Germany)
F. Martinelli (CNR Pisa, Italy)
H. Melgratti (University of Buenos Aires, Argentina)
S. Nakajima (National Institute of Informatics, Japan)
M. Nunez (Complutense University of Madrid, Spain)
J. Padget (University of Bath, UK)
G. Pozzi (Politecnico Milano, Italy)
R. Pugliese (University of Florence, Italy)
A. Ravara (Technical University of Lisbon, Portugal)
S. Ross-Talbot (pi4tech)
N. Sidorova (Eindhoven University of Technology, The Netherlands)
C. Stahl (Humboldt-University Berlin, Germany)
E. Tuosto (University of Leicester, UK)
H. Voelzer (IBM Zurich, Switzerland)
D. Yankelevich (Pragma Consultores, Argentina)
P. Yendluri (Software AG, U.S.)