@InProceedings{koehler_et_al:DagSemProc.07061.1, author = {Koehler, Jana and Pistore, Marco and Sheth, Amit P. and Traverso, Paolo and Wirsing, Martin}, title = {{07061 Abstracts Collection – Autonomous and Adaptive Web Services}}, booktitle = {Autonomous and Adaptive Web Services}, pages = {1--22}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7061}, editor = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.1}, URN = {urn:nbn:de:0030-drops-10359}, doi = {10.4230/DagSemProc.07061.1}, annote = {Keywords: Intelligent Web Services and Semantic Web, Software Architectures, Distributed Systems, Program Verification, Interoperability} } @InProceedings{meyer_et_al:DagSemProc.07061.2, author = {Meyer, Harald and Kuropka, Dominik and Tr\"{o}ger, Peter}, title = {{ASG - Techniques of Adaptivity}}, booktitle = {Autonomous and Adaptive Web Services}, pages = {1--19}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7061}, editor = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.2}, URN = {urn:nbn:de:0030-drops-10361}, doi = {10.4230/DagSemProc.07061.2}, annote = {Keywords: Adaptive service provision, service selection, automated service composition, service recovery} } @InProceedings{friesen_et_al:DagSemProc.07061.3, author = {Friesen, Andreas and Lemcke Jens}, title = {{Composing Web-service-like abstract state machines (ASM)}}, booktitle = {Autonomous and Adaptive Web Services}, pages = {1--30}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7061}, editor = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.3}, URN = {urn:nbn:de:0030-drops-10348}, doi = {10.4230/DagSemProc.07061.3}, annote = {Keywords: Business process composition, collaborative business processes, Web service composition, enterprise application integration, business-to-business inte} } @InProceedings{sheth:DagSemProc.07061.4, author = {Sheth, Amit P.}, title = {{Role of semantics in Autonomic and Adaptive Web Services \& Processes}}, booktitle = {Autonomous and Adaptive Web Services}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7061}, editor = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.4}, URN = {urn:nbn:de:0030-drops-10325}, doi = {10.4230/DagSemProc.07061.4}, annote = {Keywords: Adaptive web service, autonomic web service, adaptive web process, autonomic web process, data semantics, functional semantics, non-functional semanti} } @InProceedings{fahland:DagSemProc.07061.5, author = {Fahland, Dirk}, title = {{Towards Analyzing Declarative Workflows}}, booktitle = {Autonomous and Adaptive Web Services}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7061}, editor = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.5}, URN = {urn:nbn:de:0030-drops-10332}, doi = {10.4230/DagSemProc.07061.5}, annote = {Keywords: Workflow, declarative, temporal logic, flexible, adaptive, analysis, transformation, Petri net} }