* WS-FM 2005 Call For Papers [not found] <Pine.LNX.4.21.0401301503560.3366-100000@colline.cs.unibo.it> @ 2005-03-01 15:45 ` Mario Bravetti 2005-04-13 10:28 ` WS-FM 2005 2nd Call For Papers (submission deadline extended to may 6) Mario Bravetti 0 siblings, 1 reply; 3+ messages in thread From: Mario Bravetti @ 2005-03-01 15:45 UTC (permalink / raw) To: acl2, agents, aiia, apes, appsem-discussion, appsem-ed-site, appsem-local, appsem, appsem, behavior, cafeobj, caml-list, categories, ccl, clean-list, clp, cmcs, coalgebras, comlab, coq-club, cs-logic, csl, csp, dataloger, dbworld, dreamers, eapls, eatcs-it-l, elan-users, elf-list, etalle, focs, formal-methods, forte2003, generative, generic-haskell, gragra, gragra, gulp, harning, haskell, hise-safety-critical, idss, ifip, ifmsig, imps, isabelle-users, isda02, lfcs-interest, lics-request, lics, lics, linear, logic-announce, logic-list, lotos-world, lpnmr, lprolog-list, lprolog, m4m, maude, mercury-ads, multi, nuprllist, nuprlnotes, om-announce, oose, pop-group, post+comp.compilers, post+comp.lang.functional, post+comp.lang.ml, post+comp.lang.scheme, prog-lang, prog-lang, prog-lang, proglog, prolog-vendors, prologia, pvs, qed, reus, rewriting, scheme48, scheme, seworld, sicstus-users, sig-coord, smid-medl, stimdi-rek-subscribe, stochver, streicher, theorem-provers, theory, theory, theory, theorynt, webmaster, zeves, zforum, zforum ====================================================================== 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005) 1-3 September 2005, Versailles, France http://cs.unibo.it/WS-FM05 Co-located with EPEW'05 2nd European Performance Evaluation Workshop ====================================================================== SCOPE Web Services technology aims at providing standard mechanisms for describing the interface and the services available on the web, as well as protocols for locating such services and invoking them (e.g. WSDL, UDDI, SOAP). Innovations are moving towards two main directions: The first one tends to the definition of new standards that support the specification of complex services out of simpler ones (the so called Web Service orchestration and choreography). Several proposals have been already set up: BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, etc... The second approach consists of the design of new (meta-)Web Services to be exploited at run-time by other Web Services: e.g. managing the cooperation of Web Services or acting as dynamic registry services. Formal methods, which privide formal machinery for representing and analysing the behavior of communicating concurrent/distributed systems, may potentially play a fundamental role in the development of such innovations. First of all they may help in understanding the basic mechanisms (in terms of semantics) which characterize different orchestration and choreography languages and to focus on the essence of new features that are needed. Secondly they may provide a formal basis for reasoning about Web Service semantics (behaviour and equivalence): e.g. for realizing registry services where retrieval is based on the meaning of a service and not just a Web Service name. Thirdly also studies on formal coordination paradigms can be exploited for developing mechanisms for complex run-time Web Service coordination. Finally, given the importance of critical application areas for Web Services like E-commerce, the development of the Web Service technology can certainly take advantage from formal analisys of security properties and performance in concurrency theory. The aim of the workshop is to bring together researchers working on Web Services and Formal Methods in order to activate a fruitful collaboration in this direction of research. This, potentially, could also have a great impact on the current standardization phase of Web Service technologies. LIST OF TOPICS The topics of interest include, but are not limited to: - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... ) - Languages and descripion methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, YAWL, etc... ) - Coordination techniques for WS (transactions, agreement, coordination services, etc...) - Semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories) - Security, Performance Evaluation and Quality of Service of WS - Semi-structured data and XML related technologies - Comparisons with different related technologies/approaches SUBMISSIONS Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. Papers are to be prepared in LNCS format and must not exceed 15 pages. Accepted original papers will be published in the workshop proceedings; pending approval from Springer to publish them as Lecture Notes in Computer Science (LNCS). As done for the previous WS-FM'04 workshop, we intend to publish a journal special issue inviting full versions of papers selected among those presented at the workshop. IMPORTANT DATES April 22, 2005: Submission deadline June 6, 2005: Notification of acceptance June 20, 2005: Camera ready September 1-3, 2005: Workshop dates PROGRAM CO-CHAIRS Mario Bravetti and Gianluigi Zavattaro PROGRAM COMMITTEE (provisional): Boualem Benatallah University of New South Wales, Australia Karthik Bhargavan Microsoft research Cambridge, UK Roberto Bruni University of Pisa, Italy Michael Butler University of Southampton, UK Fabio Casati HP Labs, USA Rocco De Nicola University of Florence, Italy Schahram Dustdar Wien University of Technology, Austria Gianluigi Ferrari University of Pisa, Italy Jose Luiz Fiadeiro University of Leicester, UK Stefania Gnesi CNR Pisa, Italy Reiko Heckel University of Leicester, UK Nickolas Kavantzas Oracle Co. US Leila Kloul Université de Versailles, France Natalia López University Complutense of Madrid, Spain Fabio Martinelli CNR Pisa, Italy Shin Nakajima Hosei University and PRESTO, JST, Japan Manuel Nunez University Complutense of Madrid, Spain Fernando Pelayo University of Castilla-La Mancha, Albacete, Spain Marco Pistore University of Trento, Italy Wolfgang Reisig Humboldt University, Berlin, Germany Frank Van Breugel York University, Toronto, Canada Friedrich Vogt Technical University of Hamburg-Harburg, Germany ^ permalink raw reply [flat|nested] 3+ messages in thread
* WS-FM 2005 2nd Call For Papers (submission deadline extended to may 6) 2005-03-01 15:45 ` WS-FM 2005 Call For Papers Mario Bravetti @ 2005-04-13 10:28 ` Mario Bravetti 2005-06-24 15:31 ` WS-FM 2005 Call For Tools Mario Bravetti 0 siblings, 1 reply; 3+ messages in thread From: Mario Bravetti @ 2005-04-13 10:28 UTC (permalink / raw) To: acl2, agents, aiia, apes, appsem-discussion, appsem-ed-site, appsem-local, appsem, appsem, behavior, cafeobj, caml-list, categories, ccl, clean-list, clp, cmcs, coalgebras, comlab, coq-club, cs-logic, csl, csp, dataloger, dbworld, dreamers, eapls, eatcs-it-l, elan-users, elf-list, etalle, focs, formal-methods, forte2003, generative, generic-haskell, gragra, gragra, gulp, harning, haskell, hise-safety-critical, idss, ifip, ifmsig, imps, isabelle-users, isda02, lfcs-interest, lics-request, lics, lics, linear, logic-announce, logic-list, lotos-world, lpnmr, lprolog-list, lprolog, m4m, maude, mercury-ads, multi, nuprllist, nuprlnotes, om-announce, oose, pop-group, post+comp.compilers, post+comp.lang.functional, post+comp.lang.ml, post+comp.lang.scheme, prog-lang, prog-lang, prog-lang, proglog, prolog-vendors, prologia, pvs, qed, reus, rewriting, scheme48, scheme, seworld, sicstus-users, sig-coord, smid-medl, stimdi-rek-subscribe, stochver, streicher, theorem-provers, theory, theory, theory, theorynt, webmaster, zeves, zforum, zforum ====================================================================== 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005) 1-3 September 2005, Versailles, France http://cs.unibo.it/WS-FM05 Co-located with EPEW'05 2nd European Performance Evaluation Workshop ====================================================================== SCOPE Web Services technology aims at providing standard mechanisms for describing the interface and the services available on the web, as well as protocols for locating such services and invoking them (e.g. WSDL, UDDI, SOAP). Innovations are moving towards two main directions: The first one tends to the definition of new standards that support the specification of complex services out of simpler ones (the so called Web Service orchestration and choreography). Several proposals have been already set up: BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, etc... The second approach consists of the design of new (meta-)Web Services to be exploited at run-time by other Web Services: e.g. managing the cooperation of Web Services or acting as dynamic registry services. Formal methods, which privide formal machinery for representing and analysing the behavior of communicating concurrent/distributed systems, may potentially play a fundamental role in the development of such innovations. First of all they may help in understanding the basic mechanisms (in terms of semantics) which characterize different orchestration and choreography languages and to focus on the essence of new features that are needed. Secondly they may provide a formal basis for reasoning about Web Service semantics (behaviour and equivalence): e.g. for realizing registry services where retrieval is based on the meaning of a service and not just a Web Service name. Thirdly also studies on formal coordination paradigms can be exploited for developing mechanisms for complex run-time Web Service coordination. Finally, given the importance of critical application areas for Web Services like E-commerce, the development of the Web Service technology can certainly take advantage from formal analisys of security properties and performance in concurrency theory. The aim of the workshop is to bring together researchers working on Web Services and Formal Methods in order to activate a fruitful collaboration in this direction of research. This, potentially, could also have a great impact on the current standardization phase of Web Service technologies. LIST OF TOPICS The topics of interest include, but are not limited to: - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... ) - Languages and descripion methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, YAWL, etc... ) - Coordination techniques for WS (transactions, agreement, coordination services, etc...) - Semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories) - Security, Performance Evaluation and Quality of Service of WS - Semi-structured data and XML related technologies - Comparisons with different related technologies/approaches SUBMISSIONS Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. Papers are to be prepared in LNCS format and must not exceed 15 pages. Accepted original papers will be published in the workshop proceedings. It is planned to publish the proceedings in the Springer Lecture Notes in Computer Science (LNCS) series ( www.springeronline.com/lncs ). As done for the previous WS-FM'04 workshop, we intend to publish a journal special issue inviting full versions of papers selected among those presented at the workshop. IMPORTANT DATES May 6, 2005: Submission deadline (EXTENDED) June 10, 2005: Notification of acceptance June 20, 2005: Camera ready September 1-3, 2005: Workshop dates PROGRAM CO-CHAIRS Mario Bravetti and Gianluigi Zavattaro PROGRAM COMMITTEE: Marco Aiello University of Trento, Italy Jean-Pierre Banatre University of Rennes1 and INRIA, France Boualem Benatallah University of New South Wales, Australia Karthik Bhargavan Microsoft research Cambridge, UK Manfred Broy Technische Universitat Munchen, Germany Roberto Bruni University of Pisa, Italy Michael Butler University of Southampton, UK Fabio Casati HP Labs, USA Rocco De Nicola University of Florence, Italy Schahram Dustdar Wien University of Technology, Austria Gianluigi Ferrari University of Pisa, Italy Jose Luiz Fiadeiro University of Leicester, UK Peter Furniss Choreology Ltd, UK Stephanie Gnesi CNR Pisa, Italy Reiko Heckel University of Leicester, UK Nickolas Kavantzas Oracle Co., USA Leila Kloul Université de Versailles, France Mark Little Arjuna Technologies Limited, UK Natalia López University Complutense of Madrid, Spain Roberto Lucchi University of Bologna, Italy Jeff Magee Imperial College London, UK Fabio Martinelli CNR Pisa, Italy Shin Nakajima National Institute of Informatics and JST, Japan Manuel Nunez University Complutense of Madrid, Spain Fernando Pelayo University of Castilla-La Mancha, Albacete, Spain Marco Pistore University of Trento, Italy Wolfgang Reisig Humboldt University, Berlin, Germany Vladimiro Sassone University of Sussex, UK Frank Van Breugel York University, Toronto, Canada Friedrich Vogt Technical University of Hamburg-Harburg, Germany ^ permalink raw reply [flat|nested] 3+ messages in thread
* WS-FM 2005 Call For Tools 2005-04-13 10:28 ` WS-FM 2005 2nd Call For Papers (submission deadline extended to may 6) Mario Bravetti @ 2005-06-24 15:31 ` Mario Bravetti 0 siblings, 0 replies; 3+ messages in thread From: Mario Bravetti @ 2005-06-24 15:31 UTC (permalink / raw) To: acl2, agents, aiia, apes, appsem-discussion, appsem-ed-site, appsem-local, appsem, appsem, behavior, cafeobj, caml-list, categories, ccl, clean-list, clp, cmcs, coalgebras, comlab, coq-club, cs-logic, csl, csp, dataloger, dbworld, dreamers, eapls, eatcs-it-l, elan-users, elf-list, etalle, focs, formal-methods, forte2003, generative, generic-haskell, gragra, gragra, gulp, harning, haskell, hise-safety-critical, idss, ifip, ifmsig, imps, isabelle-users, isda02, lfcs-interest, lics-request, lics, lics, linear, logic-announce, logic-list, lotos-world, lpnmr, lprolog-list, lprolog, m4m, maude, mercury-ads, multi, nuprllist, nuprlnotes, om-announce, oose, pop-group, post+comp.compilers, post+comp.lang.functional, post+comp.lang.ml, post+comp.lang.scheme, prog-lang, prog-lang, prog-lang, proglog, prolog-vendors, prologia, pvs, qed, reus, rewriting, scheme48, scheme, seworld, sicstus-users, sig-coord, smid-medl, stimdi-rek-subscribe, stochver, streicher, theorem-provers, theory, theory, theory, theorynt, webmaster, zeves, zforum, zforum WS-FM 2005 TOOLS SESSION Tools session in 2nd International Workshop on Web Services and Formal Methods Versailles, 2-3 September 2005, France http://www.cs.unibo.it/WS-FM05 Web services technology is a widespread accepted instantiation of Service Oriented Computing which facilitates integration of newly built and legacy applications both within and across organizational boundaries avoiding difficulties due to different platform, heterogeneous programming languages, security firewall, etc... The idea behind the WS approach is allowing independently developed applications to be exposed as services and interconnected exploiting the already set up Web infrastructure with relative standards (HTTP, XML, SOAP and WSDL). The technologies related to developing basic services and interconnecting them on a point-to point basis can be considered well established but B2B processing requires managing more complex interactions involving a large number of participants and none of the above standards are able to meet this need. For this reason the so-called Web services Composition Languages like XLANG, WSFL, BPML, WS-BPEL and WS-CDL are taking place. These languages are claimed to be based on formal models (pi-calculus variants, Petri Nets) to allow rigorous mathematical reasoning. However, despite all this hype, no interesting relations with formal methods have been so far emphasized and no conceptual instruments for analysis and reasoning or software verification techniques and tools have been so far presented by the respective companies. Any mathematical rigor becomes pointless without the ability to show these kind of results. In this sense contracts conformance verification between different services and static analysis of behavioral properties becomes one of the most promising research directions. The aim of the tools session is presenting working prototypes designed exploiting the experience derived from concurrency theory (and formal methods in general) in order to strengthen the collaboration with industry and resulting in a strong impact on the standardization phase of composition languages and of web services technologies in general. LIST OF TOPICS The topics of interest include, but are not limited to: * Orchestration engines for Web services * Frameworks for recovery mechanisms in Web services composition * Static analyzers and verificators of behavioral properties * Contracts conformance checkers * Frameworks for securing Web services SUBMISSION MODALITIES To submit please send the information below to: ws-fmtools@cs.unibo.it Submissions must include: * Name of the tool * Name(s) of the author(s) * Name(s) of the person(s) presenting the demo at the workshop * A short abstract presenting the tool and the underpinning theory. It should describe the way in which the theory benefits the implementation. * A link to a web site presenting the project. Submissions deadline: 3 August 2005 DEMO MODALITIES The demos presentation will be held as a special session of WS-FM 2005. Each presentation will take about 25 minutes plus 10 for the discussion. CONTACTS * Mario Bravetti (bravetti@cs.unibo.it) * Roberto Lucchi (lucchi@cs.unibo.it) * Manuel Mazzara (mazzara@cs.unibo.it) * Gianluigi Zavattaro (zavattar@cs.unibo.it) ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2005-06-24 15:31 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <Pine.LNX.4.21.0401301503560.3366-100000@colline.cs.unibo.it>
2005-03-01 15:45 ` WS-FM 2005 Call For Papers Mario Bravetti
2005-04-13 10:28 ` WS-FM 2005 2nd Call For Papers (submission deadline extended to may 6) Mario Bravetti
2005-06-24 15:31 ` WS-FM 2005 Call For Tools Mario Bravetti
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).