Version: GnuPG/MacGPG2 v2.0.17 (Darwin)
iQEcBAEBAgAGBQJPUJTEAAoJELO11vu/4tKp428H/2pOd7gVaD1IIZB2uWBJ929W
fV7d6LtOovFLMb2u8YuM9UaOPWYwfTEM0EmQ6zq2qWHa6yv34gZzDV1osoV7B0Cy
nqqeC/ok2tJa2BpTbL8vrULfW8w20iOPQ9QQDvvmeu0GJ2Rl51a5QLo2Ygd7ZmEG
GD4ttwO76Q1RjW/vY5EzwNB59RWdECq4z7iZ5ThLIc4Oy/ERMFpHEzuQr/9vP3Ze
8ob8M0oYXWGZNjLew7NlgGf9Y+ajmJUG3d6X/pcFAhdb6FEwgvzyBczK8+UI9LJg
1BPBkKxPnuRVmqzdKa0sY516antlZQMyY2fYLdu/IvUS3olzugfTBlgofF0GeRU=
=dWMs
-----END PGP SIGNATURE-----
[ We apologise for multiple copies of this message! ]
===================================================================
C A L L F O R P A P E R S
9th International Workshop on
Web Services and Formal Methods (WS-FM'12)
Tallinn, Estonia
6-7 September 2012
http://www.informatik.uni-rostock.de/ws-fm2012/
===================================================================
AIMS and SCOPE
The aim of the WS-FM workshop series is to bring together researchers
working on Web Services and Formal Methods in order to catalyze fruitful
collaboration.
Web services are fundamental to cloud computing and other computing
paradigms based on service-oriented architectures and applications.
They make functional and autonomous building blocks available over
the Internet, independent of platforms and programming languages, and
both within and across organizational boundaries. These can then be
described, located, orchestrated, and invoked. Virtualization technology
has moreover led to the Software as a Service, Platform as a Service,
and Infrastructure as a Service notions.
Formal methods can play a fundamental role in research on these
concepts. They can help define unambiguous semantics for the languages
and protocols that underpin web service 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 behavioral properties, quality of service requirements,
and service-level agreements. The resulting possibility of formal
verification and analysis of (security) properties and performance
(dependability and trustworthiness) is essential to cloud computing and
to application areas like e-commerce, e-government, e-health, workflow,
business process management, etc. Moreover, the challenges raised by
research on these concepts can extend the state of the art in formal
methods.
The scope of the WS-FM workshop series is not limited to technological
aspects. In fact, there is a strong tradition of attracting submissions
on formal approaches to enterprise systems modeling in general, and
business process modeling in particular. Potentially, this might have a
significant and lasting impact on the ongoing standardization efforts in
cloud computing technologies.
TOPICS OF INTEREST
- Mathematical foundations of service-oriented and cloud computing
- Security, trust, and privacy in service-oriented and cloud computing
- Performance and dependability of services/clouds
- Multi-tenancy, adaptability and evolvability in the cloud
- Model-driven development of services/clouds
- Quality of service and service-level agreements
- Web service coordination and transactions
- Web service ontologies and semantic descriptions
- Goal-driven discovery and composition of web services
- Semi-structured data management and XML technology
- Types and logics for web services/clouds
- Verification, analysis, and testing of services/clouds
- Web services for business process management
- Process management in the cloud
- Enterprise modeling and business process modeling
- Contractual issues between service providers and consumers
- Innovative application scenarios for web services/clouds
- Data services and data-centric process modeling
- Standards and technologies for service-oriented and cloud computing
- Case studies on formal methods in service-oriented and cloud applications
- Case studies on formal methods in business process management
SUBMISSIONS
Submissions must be original and should neither be already published
somewhere else nor be under consideration for publication while being
evaluated for this workshop.
Papers are to be prepared in Springer LNCS format and must not exceed 15
pages. If necessary, the paper may be supplemented with a clearly marked
appendix, which will be reviewed at the discretion of the program
committee. Post-proceedings of WS-FM will be published by Springer in
their Lecture Notes in Computer Science series.
All papers must be submitted following the instructions at the WS-FM'12
submission site, handled by EasyChair:
https://www.easychair.org/conferences/?conf=wsfm2012
IMPORTANT DATES
Abstract submission: June 2, 2012
Paper submission: June 9, 2012
Author notification: July 21, 2012
Camera-ready copy: August 4, 2012
Workshop dates: September 6-7, 2012
PROGRAM COMMITTEE
- Farhad Arbab, CWI, Amsterdam, The Netherlands
- Maurice H. ter Beek (co-chair), ISTI-CNR, Pisa, Italy
- Laura Bocchi, University of Leicester, UK
- Mario Bravetti, University of Bologna, Italy
- Roberto Bruni, University of Pisa, Italy
- Marco Carbone, IT University of Copenhagen, Denmark
- Schahram Dustdar, Vienna University of Technology, Austria
- José L. Fiadeiro, University of Leicester, UK
- Stefania Gnesi, ISTI-CNR, Pisa, Italy
- Lars Grunske, University of Kaiserslautern, Germany
- Sylvain Hallé, Université du Québec à Chicoutimi, Canada
- Ivan Lanese, University of Bologna, Italy
- Niels Lohmann (co-chair), Universität Rostock, Germany
- Manuel Mazzara, Newcastle University, UK
- Arjan J. Mooij, Embedded Systems Institute, The Netherlands
- Jean-Marc Petit, University of Lyon/CNRS, France
- Artem Polyvyanyy, HPI Potsdam, Germany
- Rosario Pugliese, University of Florence, Italy
- Christian Stahl, Eindhoven University of Technology, The Netherlands
- Erik de Vink, Eindhoven University of Technology, The Netherlands
- Hagen Voelzer, IBM Research, Switzerland
- Matthias Weidlich, Technion, Israel
- Martin Wirsing, Ludwig-Maximilians-Universität München, Germany
- Karsten Wolf, University of Rostock, Germany
--
Niels Lohmann Institut für Informatik Universität Rostock
mail: 18051 Rostock phone: +49 381 498-7674 fax: +49 381 498-7642
office: Albert-Einstein-Straße 22, room 257 skype/twitter: nlohmann
email: niels.lohmann@uni-rostock.de web: http://about.me/nlohmann
No comments:
Post a Comment