Bibtex Entries of the Directory of Semantic Web Services
@INPROCEEDINGS{dblp:conf/aaai/lermanpk06,
AUTHOR = {Kristina Lerman and Anon Plangprasopchok and Craig A. Knoblock},
BOOKTITLE = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA},
PUBLISHER = {AAAI Press},
TITLE = {Automatically Labeling the Inputs and Outputs of Web Services},
YEAR = {2006}
}
@ARTICLE{DBLP:journals/jods/LamSPV08,
AUTHOR = {Joey Sik Chun Lam and Derek H. Sleeman and Jeff Z. Pan and Wamberto Weber Vasconcelos},
CROSSREF = {DBLP:journals/jods/2008-10},
JOURNAL = {J. Data Semantics},
PAGES = {62-95},
TITLE = {A Fine-Grained Approach to Resolving Unsatisfiable Ontologies},
VOLUME = {10},
URL = {http://dx.doi.org/10.1007/978-3-540-77688-8_3},
YEAR = {2008}
}
@inproceedings{DBLP:conf/eScience/Belhajjame07,
author = {Khalid Belhajjame},
title = {Semantic Replaceability of eScience Web Services},
booktitle = {eScience},
year = {2007},
pages = {449-456},
ee = {http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2007.67},
publisher = {IEEE Computer Society}
}
@inproceedings{DBLP:conf/icsoc/Belhajjame07,
author = {Khalid Belhajjame},
title = {Addressing the Issue of Service Volatility in Scientific
Workflows},
booktitle = {ICSOC},
year = {2007},
pages = {377-382},
ee = {http://dx.doi.org/10.1007/978-3-540-74974-5_31},
publisher = {Springer}
}
@ARTICLE{DBLP:journals/ws/KalyanpurPSGH06,
AUTHOR = {Aditya Kalyanpur and
Bijan Parsia and
Evren Sirin and
Bernardo Cuenca Grau and
James A. Hendler},
TITLE = {Swoop: A Web Ontology Editing Browser},
JOURNAL = {J. Web Sem.},
VOLUME = {4},
NUMBER = {2},
YEAR = {2006},
PAGES = {144-153},
URL = {http://dx.doi.org/10.1016/j.websem.2005.10.001},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{sro03,
AUTHOR = {Martin Senger and Peter Rice and Tom Oinn},
BOOKTITLE = {UK e-Science All Hands Meeting},
PAGES = {509-513},
PUBLISHER = {National e-Science Centre},
TITLE = {Soaplab: a unified sesame door to analysis tools.},
YEAR = {2003}
}
@ARTICLE{wil06,
AUTHOR = {Mark Wilkinson},
JOURNAL = {Source Code for Biology and Medicine },
NUMBER = {4},
PAGES = {1-8},
PUBLISHER = {BioMed},
TITLE = {Gbrowse Moby: A Web-based browser for BioMOBY Services},
VOLUME = {1},
YEAR = {2006}
}
@INPROCEEDINGS{dblp:conf/vldb/donghmnz04,
AUTHOR = {Xin Dong and Alon Y. Halevy and Jayant Madhavan and Ema Nemes and Jun Zhang},
BOOKTITLE = {Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada},
CROSSREF = {DBLP:conf/vldb/2004},
PAGES = {372-383},
TITLE = {Simlarity Search for Web Services.},
URL = {http://www.vldb.org/conf/2004/RS10P1.PDF},
YEAR = {2004}
}
@ARTICLE{dblp:journals/sigmod/busslerfm02,
AUTHOR = {Christoph Bussler and Dieter Fensel and Alexander Maedche},
JOURNAL = {SIGMOD Record},
NUMBER = {4},
PAGES = {24-29},
TITLE = {A Conceptual Architecture for Semantic Web Enabled Web Services.},
URL = {http://doi.acm.org/10.1145/637411.637415, http://www.acm.org/sigmod/record/issues/0212/SPECIAL/4.Bussler1.pdf},
VOLUME = {31},
YEAR = {2002}
}
@ARTICLE{dblp:journals/computer/nezhadbct06,
AUTHOR = {Hamid R. Motahari Nezhad and Boualem Benatallah and Fabio Casati and Farouk Toumani},
JOURNAL = {IEEE Computer},
NUMBER = {5},
PAGES = {24-32},
TITLE = {Web Services Interoperability Specifications.},
URL = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.181},
VOLUME = {39},
YEAR = {2006}
}
@ARTICLE{dblp:journals/vldb/benatallahhlrt05,
AUTHOR = {Boualem Benatallah and Mohand-Said Hacid and Alain L{\'e}ger and Christophe Rey and Farouk Toumani},
JOURNAL = {VLDB Journal},
NUMBER = {1},
PAGES = {84-96},
TITLE = {On automating Web services discovery.},
URL = {http://dx.doi.org/10.1007/s00778-003-0117-x},
VOLUME = {14},
YEAR = {2005}
}
@ARTICLE{dblp:journals/ws/sycarapas03,
AUTHOR = {Katia P. Sycara and Massimo Paolucci and Anupriya Ankolekar and Naveen Srinivasan},
JOURNAL = {J. Web Sem.},
NUMBER = {1},
PAGES = {27-46},
TITLE = {Automated discovery, interaction and composition of Semantic Web services.},
URL = {http://dx.doi.org/10.1016/j.websem.2003.07.002},
VOLUME = {1},
YEAR = {2003}
}
@ARTICLE{dblp:journals/ws/ludwigr06,
AUTHOR = {Simone A. Ludwig and S. M. S. Reyhani},
JOURNAL = {J. Web Sem.},
NUMBER = {1},
PAGES = {1-13},
TITLE = {Semantic approach to service discovery in a Grid environment.},
URL = {http://dx.doi.org/10.1016/j.websem.2005.04.001},
VOLUME = {4},
YEAR = {2006}
}
@ARTICLE{dblp:journals/ws/sirinpwhn04,
AUTHOR = {Evren Sirin and Bijan Parsia and Dan Wu and James A. Hendler and Dana S. Nau},
JOURNAL = {J. Web Sem.},
NUMBER = {4},
PAGES = {377-396},
TITLE = {HTN planning for Web Service composition using SHOP2.},
URL = {http://dx.doi.org/10.1016/j.websem.2004.06.005},
VOLUME = {1},
YEAR = {2004}
}
@INPROCEEDINGS{dblp:conf/semweb/traversop04,
AUTHOR = {Paolo Traverso and Marco Pistore},
BOOKTITLE = {3rd International Semantic Web Conference},
CROSSREF = {DBLP:conf/semweb/2004},
PAGES = {380-394},
PUBLISHER = {Springer},
TITLE = {Automated Composition of Semantic Web Services into Executable Processes.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3298{\&}spage=380},
YEAR = {2004}
}
@INPROCEEDINGS{dblp:conf/vldb/berardicghm05,
AUTHOR = {Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo and Richard Hull and Massimo Mecella},
BOOKTITLE = {Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway},
CROSSREF = {DBLP:conf/vldb/2005},
PAGES = {613-624},
TITLE = {Automatic Composition of Transition-based Semantic Web Services with Messaging.},
URL = {http://www.vldb2005.org/program/paper/thu/p613-berardi.pdf},
YEAR = {2005}
}
@ARTICLE{webserv-ieeeis01,
AUTHOR = {McIlraith, S. and Son, T.C. and Zeng, H.},
JOURNAL = {IEEE Intelligent Systems. Special Issue on the Semantic Web},
MONTH = {March/April},
NUMBER = {2},
PAGES = {46-53},
TITLE = {Semantic Web Services},
URL = {http://csdl2.computer.org/dl/mags/ex/2001/02/x2046.htm},
VOLUME = {16},
YEAR = {2001}
}
@INPROCEEDINGS{dblp:conf/edbtw/bowersl06,
AUTHOR = {Shawn Bowers and Bertram Lud{\"a}scher},
BOOKTITLE = {Query Languages and Query Processing workshop (QLQP-2006) organised in conjunction with the 10th International Conference on Extending Database Technology },
CROSSREF = {DBLP:conf/edbtw/2006},
PAGES = {712-723},
PUBLISHER = {Springer},
TITLE = {A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries.},
URL = {http://dx.doi.org/10.1007/11896548_54},
YEAR = {2006}
}
@INPROCEEDINGS{dblp:conf/semweb/lordbwsghgs04,
AUTHOR = {Phillip W. Lord and Sean Bechhofer and Mark D. Wilkinson and Gary Schiltz and Damian Gessler and Duncan Hull and Carole A. Goble and Lincoln Stein},
BOOKTITLE = {3rd International Semantic Web Conference},
CROSSREF = {DBLP:conf/semweb/2004},
PAGES = {350-364},
PUBLISHER = {Springer},
TITLE = {Applying Semantic Web Services to Bioinformatics: Experiences Gained, Lessons Learnt.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3298{\&}spage=350},
YEAR = {2004}
}
@INPROCEEDINGS{bowersl05,
AUTHOR = {S. Bowers and B. Lud{\"a}scher},
BOOKTITLE = {WISE 2005 International Workshops},
PAGES = {207-216},
PUBLISHER = {Springer},
TITLE = {Towards Automatic Generation of Semantic Types in Scientific Workflows.},
URL = {http://dx.doi.org/10.1007/11581116_22},
YEAR = {2005}
}
@ARTICLE{dblp:journals/expert/wroegglmppm04,
AUTHOR = {Chris Wroe and Carole A. Goble and R. Mark Greenwood and Phillip W. Lord and Simon Miles and Juri Papay and Terry R. Payne and Luc Moreau},
JOURNAL = {IEEE Intelligent Systems},
NUMBER = {1},
PAGES = {48-55},
TITLE = {Automating Experiments Using Semantic Data on a Bioinformatics Grid.},
URL = {http://csdl.computer.org/comp/mags/ex/2004/01/x1048abs.htm},
VOLUME = {19},
YEAR = {2004}
}
@ARTICLE{dblp:journals/dpd/medjahedb05,
AUTHOR = {Brahim Medjahed and Athman Bouguettaya},
JOURNAL = {Distributed and Parallel Databases},
NUMBER = {2},
PAGES = {179-206},
TITLE = {A Dynamic Foundational Architecture for Semantic Web Services.},
URL = {http://www.springerlink.com/index/10.1007/s10619-004-0190-1},
VOLUME = {17},
YEAR = {2005}
}
@INPROCEEDINGS{oldhamtsv04,
AUTHOR = {N. Oldham and Ch. Thomas and A. P. Sheth and K. Verma},
BOOKTITLE = {1st International Workshop on Semantic Web Services and Web Process Composition, SWSWPC 2004},
PAGES = {137-146},
PUBLISHER = {Springer},
TITLE = {{METEOR-S} Web Service Annotation Framework with Machine Learning Classification.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3387{\&}spage=137},
YEAR = {2004}
}
@INPROCEEDINGS{sabou04,
AUTHOR = {M. Sabou},
BOOKTITLE = {International Semantic Web Conference},
TITLE = {From Software APIs to Web Service Ontologies: A Semi-automatic Extraction Method.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3298{\&}spage=410},
YEAR = {2004}
}
@INPROCEEDINGS{mha04,
AUTHOR = {D. L. McGuinness and F. v. Harmelen},
BOOKTITLE = {W3C Recommendation},
TITLE = {OWL Web Ontology Language Overview },
URL = {http://www.w3.org/TR/owl-features},
YEAR = {2004}
}
@ARTICLE{cardosos03,
AUTHOR = {J. Cardoso and A. P. Sheth},
JOURNAL = {J. Intell. Inf. Syst.},
NUMBER = {3},
TITLE = {Semantic E-Workflow Composition.},
VOLUME = {21},
YEAR = {2003}
}
@INPROCEEDINGS{bep06,
AUTHOR = {K. Belhajjame and S. M. Embury and N. W. Paton},
BOOKTITLE = {3rd International Workshop on Data Integration in the Life Sciences (DILS 06)},
PAGES = {240-247},
PUBLISHER = {Springer},
TITLE = {On Characterising and Identifying Mismatches in Scientific Workflows},
URL = {http://dx.doi.org/10.1007/11799511_22},
YEAR = {2006}
}
@INPROCEEDINGS{hessjk04,
AUTHOR = {A. He{\ss} and E. Johnston and N. Kushmerick},
BOOKTITLE = {3rd International Semantic Web Conference},
PAGES = {320-334},
PUBLISHER = {Springer},
TITLE = {ASSAM: A Tool for Semi-automatically Annotating Semantic Web Services.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3298{\&}spage=320},
YEAR = {2004}
}
@ARTICLE{gruber93,
AUTHOR = {T. Gruber},
JOURNAL = {Knowledge Acquisition},
NUMBER = {2},
TITLE = {A translation approach to portable ontology specifications},
VOLUME = {5},
YEAR = {1993}
}
@ARTICLE{maximiliens04,
AUTHOR = {E. M. Maximilien and M. P. Singh},
JOURNAL = {IEEE Internet Computing},
NUMBER = {5},
TITLE = {A Framework and Ontology for Dynamic Web Services Selection.},
URL = {http://doi.ieeecomputersociety.org/10.1109/MIC.2004.27},
VOLUME = {8},
YEAR = {2004}
}
@ARTICLE{medjahedbe03,
AUTHOR = {B. Medjahed and A. Bouguettaya and A. K. Elmagarmid},
JOURNAL = {VLDB Journal},
NUMBER = {4},
PAGES = {333-351},
TITLE = {Composing Web services on the Semantic Web.},
URL = {http://dx.doi.org/10.1007/s00778-003-0101-5},
VOLUME = {12},
YEAR = {2003}
}
@ARTICLE{wroesgrg03,
AUTHOR = {Ch. Wroe and R. Stevens and C. A. Goble and A. Roberts and R. M. Greenwood},
JOURNAL = {Int. J. Cooperative Inf. Syst.},
NUMBER = {2},
PAGES = {197-224},
TITLE = {A Suite of Daml+Oil Ontologies to Describe Bioinformatics Web Services and Data.},
URL = {http://dx.doi.org/10.1142/S0218843003000711},
VOLUME = {12},
YEAR = {2003}
}
@INPROCEEDINGS{dblp:conf/aaai/hullzbhss06,
AUTHOR = {Duncan Hull and Evgeny Zolin and Andrey Bovykin and Ian Horrocks and Ulrike Sattler and Robert Stevens},
BOOKTITLE = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA},
CROSSREF = {DBLP:conf/aaai/2006},
PUBLISHER = {AAAI Press},
TITLE = {Deciding Semantic Matching of Stateless Services},
YEAR = {2006}
}
@ARTICLE{dblp:journals/ws/mileswfgzm07,
AUTHOR = {Simon Miles and Sylvia C. Wong and Weijian Fang and Paul T. Groth and Klaus-Peter Zauner and Luc Moreau},
JOURNAL = {J. Web Sem.},
NUMBER = {1},
PAGES = {28-38},
TITLE = {Provenance-based validation of e-science experiments},
URL = {http://dx.doi.org/10.1016/j.websem.2006.11.003},
VOLUME = {5},
YEAR = {2007}
}
@BOOK{1296096,
ADDRESS = {Secaucus, NJ, USA},
AUTHOR = {Rudi Studer and Stephan Grimm and Andreas Abecker},
PUBLISHER = {Springer-Verlag New York, Inc.},
TITLE = {Semantic Web Services: Concepts, Technologies, and Applications},
URL = {http://www.springer.com/computer/database+management+&+information+retrieval/book/978-3-540-70893-3},
YEAR = {2007},
ISBN = {3540708936}
}
@INPROCEEDINGS{dblp:conf/www/kusterksk07,
AUTHOR = {Ulrich K{\"u}ster and Birgitta K{\"o}nig-Ries and Mirco Stern and Michael Klein},
BOOKTITLE = {WWW},
PAGES = {1033-1042},
TITLE = {DIANE: an integrated approach to automated service discovery, matchmaking and composition},
URL = {http://doi.acm.org/10.1145/1242572.1242711},
YEAR = {2007}
}
@ARTICLE{dblp:journals/toit/brambillacfccv07,
AUTHOR = {Marco Brambilla and Stefano Ceri and Federico Michele Facca and Irene Celino and Dario Cerizza and Emanuele Della Valle},
JOURNAL = {ACM Trans. Internet Techn.},
NUMBER = {1},
PAGES = {1-31},
TITLE = {Model-driven design and development of semantic Web service applications},
URL = {http://doi.acm.org/10.1145/1294148.1294151},
VOLUME = {8},
YEAR = {2007}
}
@ARTICLE{dblp:journals/ws/saboup07,
AUTHOR = {Marta Sabou and Jeff Pan},
JOURNAL = {J. Web Sem.},
NUMBER = {2},
PAGES = {142-150},
TITLE = {Towards semantically enhanced Web service repositories},
URL = {http://dx.doi.org/10.1016/j.websem.2006.11.004},
VOLUME = {5},
YEAR = {2007}
}
@INPROCEEDINGS{1173119,
AUTHOR = {W. T. Tsai and Ray Paul and Yamin Wang and Chun Fan and Dong Wang},
BOOKTITLE = {HASE '02: Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE'02)},
PAGES = {171},
PUBLISHER = {IEEE Computer Society},
TITLE = {Extending WSDL to Facilitate Web Services Testing},
URL = {http://csdl.computer.org/comp/proceedings/hase/2002/1769/00/17690171abs.htm},
YEAR = {2002},
ISBN = {0-7695-1769-2}
}
@INPROCEEDINGS{dblp:conf/icws/paradkarswjosl07,
AUTHOR = {Amit M. Paradkar and Avik Sinha and Clay Williams and Robert D. Johnson and Susan Outterson and Charles Shriver and Carol Liang},
BOOKTITLE = {ICWS},
CROSSREF = {DBLP:conf/icws/2007},
PAGES = {110-117},
TITLE = {Automated Functional Conformance Test Generation for Semantic Web Services},
URL = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.48},
YEAR = {2007}
}
@ARTICLE{dblp:journals/tse/sampathsgpg07,
AUTHOR = {Sreedevi Sampath and Sara Sprenkle and Emily Gibson and Lori L. Pollock and Amie Souter Greenwald},
JOURNAL = {IEEE Trans. Software Eng.},
NUMBER = {10},
PAGES = {643-658},
TITLE = {Applying Concept Analysis to User-Session-Based Testing of Web Applications},
URL = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70723},
VOLUME = {33},
YEAR = {2007}
}
@INPROCEEDINGS{dblp:conf/paste/tallamg05,
AUTHOR = {Sriraman Tallam and Neelam Gupta},
BOOKTITLE = {PASTE},
CROSSREF = {DBLP:conf/paste/2005},
PAGES = {35-42},
TITLE = {A concept analysis inspired greedy algorithm for test suite minimization},
URL = {http://doi.acm.org/10.1145/1108792.1108802},
YEAR = {2005}
}
@INPROCEEDINGS{wang-y:2007,
AUTHOR = {Yongbo Wang and Xiaoying Bai and Juanzi Li and Ruobo Huang},
BOOKTITLE = {{Proceedings of 8th International Symposium on Autonomous Decentralised Systems (ISADS'07)}},
PUBLISHER = {IEEE Computer Society Press},
TITLE = {{Ontology-Based Test Case Generation for Testing Web Services}},
YEAR = {2007}
}
@INPROCEEDINGS{tsai:2003,
AUTHOR = {W.T. Tsai and R. Paul and Z. Cao and L. Yu and A. Saimi and B. Xiao},
BOOKTITLE = {{Proceedings of 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems}},
PUBLISHER = {IEEE Computer Society Press},
TITLE = {{Verification of Web Services Using an Enhanced UDDI Server}},
URL = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1218075},
YEAR = {2003}
}
@INPROCEEDINGS{burstein:2002,
ADDRESS = {London, UK},
AUTHOR = {Mark H. Burstein and Jerry R. Hobbs and Ora Lassila and David Martin and Drew V. McDermott and Sheila A. McIlraith and Srini Narayanan and Massimo Paolucci and Terry R. Payne and Katia P. Sycara},
BOOKTITLE = {Proceedings of 1st International Semantic Web Conference},
PAGES = {348--363},
PUBLISHER = {Springer-Verlag},
TITLE = {{DAML-S: Web Service Description for the Semantic Web}},
URL = {http://link.springer.de/link/service/series/0558/bibs/2342/23420348.htm},
YEAR = {2002}
}
@INPROCEEDINGS{rectordhrksww04,
AUTHOR = {Alan L. Rector and Nick Drummond and Matthew Horridge and Jeremy Rogers and Holger Knublauch and Robert Stevens and Hai Wang and Chris Wroe},
BOOKTITLE = {EKAW},
CROSSREF = {ekaw/2004},
PAGES = {63-81},
TITLE = {OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors {\&} Common Patterns},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3257{\&}spage=63},
YEAR = {2004}
}
@ARTICLE{lval07,
AUTHOR = {Alberto Labarga and Franck Valentin and Mikael Anderson and Rodrigo Lopez},
JOURNAL = {Nucleic Acids Research},
NUMBER = {Web Server-Issue},
PAGES = {1-6},
TITLE = {Web Services at the European Bioinformatics Institute},
URL = {http://dx.doi.org/10.1093/nar/gkm291},
VOLUME = {35},
YEAR = {2007}
}
@INPROCEEDINGS{hamlet89,
AUTHOR = {Richard G. Hamlet},
BOOKTITLE = {Symposium on Testing, Analysis, and Verification},
PAGES = {28-37},
PUBLISHER = {ACM},
TITLE = {Theoretical Comparison of Testing Methods},
URL = {http://doi.acm.org/10.1145/75308.75313},
YEAR = {1989}
}
@ARTICLE{zhuhm97,
AUTHOR = {Hong Zhu and Patrick A. V. Hall and John H. R. May},
JOURNAL = {ACM Comput. Surv.},
NUMBER = {4},
PAGES = {366-427},
TITLE = {Software Unit Test Coverage and Adequacy.},
URL = {http://doi.acm.org/10.1145/267580.267590},
VOLUME = {29},
YEAR = {1997}
}
@INPROCEEDINGS{foster-h:2003,
AUTHOR = {Howard Foster and Sebastián Uchitel and Jeff Magee and Jeff Kramer},
BOOKTITLE = {{Proceedings of International Conference on Automated Software Engineering (ASE'03)}},
PAGES = {152--161},
PUBLISHER = {IEEE},
TITLE = {{Model-based Verification of Web Services}},
YEAR = {2003}
}
@INPROCEEDINGS{narayanan:2002,
AUTHOR = {Srini Narayanan and Sheila A. McIlraith},
BOOKTITLE = {{Proceedings of International Conference on the World Wide Web (WWW'02)}},
PAGES = {77--88},
PUBLISHER = {ACM Press},
TITLE = {{Simulation, Verification and Automated Composition of Web Services}},
URL = {http://doi.acm.org/10.1145/511446.511457},
YEAR = {2002}
}
@ARTICLE{gargantini:1999,
AUTHOR = { Angelo Gargantini and Constance Heitmeyer},
JOURNAL = {Software Engineering Notes},
NUMBER = {6},
PAGES = {146--162},
TITLE = {{Using Model Checking to Generate Tests from Requirements Specification}},
URL = {http://link.springer.de/link/service/series/0558/bibs/1687/16870146.htm},
VOLUME = {24},
YEAR = {1999}
}
@INPROCEEDINGS{belhajjameepsg06,
AUTHOR = {K. Belhajjame and S. M. Embury and N. W. Paton and R. Stevens and C. A. Goble},
BOOKTITLE = {5th International Semantic Web Conference},
PAGES = {116-129},
PUBLISHER = {Springer},
TITLE = {Automatic Annotation of Web Services Based on Workflow Definitions.},
URL = {http://dx.doi.org/10.1007/11926078_9},
YEAR = {2006}
}
@ARTICLE{DBLP:journals/tweb/BelhajjameEPSG08,
AUTHOR = {Khalid Belhajjame and
Suzanne M. Embury and
Norman W. Paton and
Robert Stevens and
Carole A. Goble},
TITLE = {Automatic annotation of Web services based on workflow definitions},
JOURNAL = {TWEB},
VOLUME = {2},
NUMBER = {2},
YEAR = {2008},
URL = {http://doi.acm.org/10.1145/1346337.1346239},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{hessk03,
AUTHOR = {A. He{\ss} and N. Kushmerick},
BOOKTITLE = {2nd International Semantic Web Conference},
PAGES = {258-273},
PUBLISHER = {Springer},
TITLE = {Learning to Attach Semantic Metadata to Web Services.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2870{\&}spage=258},
YEAR = {2003}
}
@INPROCEEDINGS{patilosv04,
AUTHOR = {A. A. Patil and S. A. Oundhakar and A. P. Sheth and K. Verma},
BOOKTITLE = {Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA},
PAGES = {553-562},
PUBLISHER = {ACM},
TITLE = {{METEOR-S} web service annotation framework.},
URL = {http://doi.acm.org/10.1145/988672.988747},
YEAR = {2004}
}
@ARTICLE{medjahedbe03,
AUTHOR = {Brahim Medjahed and Athman Bouguettaya and Ahmed K. Elmagarmid},
JOURNAL = {VLDB Journal},
NUMBER = {4},
PAGES = {333-351},
TITLE = {Composing Web services on the Semantic Web.},
URL = {http://dx.doi.org/10.1007/s00778-003-0101-5},
VOLUME = {12},
YEAR = {2003}
}
@INPROCEEDINGS{paoluccikps02,
AUTHOR = {Massimo Paolucci and Takahiro Kawamura and Terry R. Payne and Katia P. Sycara},
BOOKTITLE = {International Semantic Web Conference},
CROSSREF = {semweb/2002},
PAGES = {333-347},
TITLE = {Semantic Matching of Web Services Capabilities.},
URL = {http://link.springer.de/link/service/series/0558/bibs/2342/23420333.htm},
YEAR = {2002}
}
@ARTICLE{dblp:journals/internet/vermas07,
AUTHOR = {Kunal Verma and Amit P. Sheth},
JOURNAL = {IEEE Internet Computing},
NUMBER = {2},
PAGES = {83-85},
TITLE = {Semantically Annotating a Web Service},
URL = {http://doi.ieeecomputersociety.org/10.1109/MIC.2007.48},
VOLUME = {11},
YEAR = {2007}
}
@ARTICLE{dblp:journals/scp/ouyangvabdh07,
AUTHOR = {Chun Ouyang and Eric Verbeek and Wil M. P. van der Aalst and Stephan Breutel and Marlon Dumas and Arthur H. M. ter Hofstede},
JOURNAL = {Sci. Comput. Program.},
NUMBER = {2-3},
PAGES = {162-198},
TITLE = {Formal semantics and analysis of control flow in WS-BPEL},
URL = {http://dx.doi.org/10.1016/j.scico.2007.03.002},
VOLUME = {67},
YEAR = {2007}
}
@INPROCEEDINGS{dblp:conf/bpm/calorelmpp07,
AUTHOR = {F. Calore and D. Lombardi and Enrico Mussi and Pierluigi Plebani and Barbara Pernici},
BOOKTITLE = {Business Process Management Workshops},
CROSSREF = {DBLP:conf/bpm/2007w},
PAGES = {508-513},
TITLE = {Retrieving Substitute Services Using Semantic Annotations: A Foodshop Case Study},
URL = {http://dx.doi.org/10.1007/978-3-540-78238-4_52},
YEAR = {2007}
}
@ARTICLE{dblp:journals/bioinformatics/radetzkilszlbc06,
AUTHOR = {Uwe Radetzki and Ulf Leser and S. C. Schulze-Rauschenbach and J. Zimmermann and Jens L{\"u}ssem and Thomas Bode and Armin B. Cremers},
JOURNAL = {Bioinformatics},
NUMBER = {9},
PAGES = {1137-1143},
TITLE = {Adapters, shims, and glue - service interoperability for {\it n silico} experiments},
URL = {http://dx.doi.org/10.1093/bioinformatics/btl054},
VOLUME = {22},
YEAR = {2006}
}
@INPROCEEDINGS{dblp:conf/ssdbm/ludascherag03,
AUTHOR = {Bertram Lud{\"a}scher and Ilkay Altintas and Amarnath Gupta},
BOOKTITLE = {SSDBM},
CROSSREF = {DBLP:conf/ssdbm/2003},
PAGES = {251-254},
TITLE = {Compiling Abstract Scientific Workflows into Web Service Workflows},
URL = {http://csdl.computer.org/comp/proceedings/ssdbm/2003/1964/00/19640251abs.htm},
YEAR = {2003}
}
@ARTICLE{dblp:journals/toplas/castagna95,
AUTHOR = {Giuseppe Castagna},
JOURNAL = {ACM Trans. Program. Lang. Syst.},
NUMBER = {3},
PAGES = {431-447},
TITLE = {Covariance and Contravariance: Conflict without a Cause},
URL = {http://doi.acm.org/10.1145/203095.203096},
VOLUME = {17},
YEAR = {1995}
}
@INPROCEEDINGS{dblp:conf/semweb/goderisslg05,
AUTHOR = {A. Goderis and U. Sattler and P. Lord and C. Goble},
BOOKTITLE = {The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland},
CROSSREF = {DBLP:conf/semweb/2005},
PAGES = {323-337},
PUBLISHER = {Springer},
TITLE = {Seven Bottlenecks to Workflow Reuse and Repurposing.},
URL = {http://dx.doi.org/10.1007/11574620_25},
YEAR = {2005}
}
@INPROCEEDINGS{dblp:conf/er/bowersl05,
AUTHOR = {Sh. Bowers and B. Lud{\"a}scher},
BOOKTITLE = {ER},
PAGES = {369-384},
PUBLISHER = {Springer},
TITLE = {Actor-Oriented Design of Scientific Workflows.},
URL = {http://dx.doi.org/10.1007/11568322_24},
YEAR = {2005}
}
@INPROCEEDINGS{hslwc04,
AUTHOR = {D. Hull and R. Stevens and P. Lord and C. Wroe and C. Goble},
BOOKTITLE = {First Advanced Knowledge Technologies workshop on Semantic Web Services (AKT-SWS04)},
TITLE = {Treating shimantic web syndrome with ontologies},
YEAR = {2004}
}
@INPROCEEDINGS{lordawg05,
AUTHOR = {P. Lord and P. Alper and Ch. Wroe and C. Goble},
BOOKTITLE = {ESWC},
PAGES = {17-31},
TITLE = {Feta: A Light-Weight Architecture for User Oriented Semantic Service Discovery.},
URL = {http://dx.doi.org/10.1007/11431053_2},
YEAR = {2005}
}
@INPROCEEDINGS{dblp:conf/www/zengbdks03,
AUTHOR = {L. Zeng and B. Benatallah and M. Dumas and J. Kalagnanam and Q. Z. Sheng},
BOOKTITLE = {WWW},
PAGES = {411-421},
TITLE = {Quality driven web services composition.},
URL = {http://doi.acm.org/10.1145/775152.775211},
YEAR = {2003}
}
@INPROCEEDINGS{dblp:conf/aaai/hullzbhss06,
AUTHOR = {D. Hull and E. Zolin and A. Bovykin and I. Horrocks and U. Sattler and R. Stevens},
BOOKTITLE = {AAAI},
CROSSREF = {DBLP:conf/aaai/2006},
TITLE = {Deciding Semantic Matching of Stateless Services.},
YEAR = {2006}
}
@INCOLLECTION{knowledge_discovery_2006,
ANNOTE = {ISBN-13: 978-0-387-48436-5},
AUTHOR = {C. Goble and K. Wolstencroft and A. Goderis and D. Hull and J. Zhao and P. Alper and P. Lord and C. Wroe and K. Belhajjame and D. Turi and R. Stevens and T. Oinn and D. D. Roure},
BOOKTITLE = {Revolutionizing Knowledge Discovery in the Life Sciences},
EDITOR = {Christopher J.O. Baker and Kei-Hoi Cheung},
PUBLISHER = {Springer-Verlag},
TITLE = {Knowledge Discovery for Biology with Taverna: Producing and Consuming Semantics in the Web of Science},
URL = {http://www.springerlink.com/content/u1285747088756j7/},
YEAR = {2007}
}
@INPROCEEDINGS{dblp:conf/caise/benatallahcgnt05,
AUTHOR = {B. Benatallah and F. Casati and D. Grigori and H. R. Motahari Nezhad and F. Toumani},
BOOKTITLE = {CAiSE},
CROSSREF = {DBLP:conf/caise/2005},
PAGES = {415-429},
TITLE = {Developing Adapters for Web Services Integration.},
YEAR = {2005}
}
@INPROCEEDINGS{dblp:conf/icsoc/akrammb03,
AUTHOR = {M. S. Akram and Brahim Medjahed and Athman Bouguettaya},
BOOKTITLE = {ICSOC},
CROSSREF = {DBLP:conf/icsoc/2003},
PAGES = {319-334},
TITLE = {Supporting Dynamic Changes in Web Service Environments.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2910{\&}spage=319},
YEAR = {2003}
}
@BOOK{ackm04,
AUTHOR = {G. Alonso and F. Casati and H. Kuno and V. Machiraju},
PUBLISHER = {Springer-Verlag, ISBN 3-540-44008-9 },
TITLE = {Web Services: Concepts, Architectures and Applications },
URL = {http://www.inf.ethz.ch/personal/alonso/WebServicesBook},
YEAR = {2004}
}
@INPROCEEDINGS{dblp:conf/dils/bowersl04,
AUTHOR = {Sh. Bowers and B. Lud{\"a}scher},
BOOKTITLE = {DILS},
PAGES = {1-16},
TITLE = {An Ontology-Driven Framework for Data Transformation in Scientific Workflows.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2994{\&}spage=1},
YEAR = {2004}
}
@INPROCEEDINGS{berardicglm04,
AUTHOR = {Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Massimo Mecella},
BOOKTITLE = {TES},
TITLE = {ESC: A Tool for Automatic Composition of Services Based on Logics of Programs.},
YEAR = {2004}
}
@INPROCEEDINGS{dblp:conf/tes/zengfcj02,
AUTHOR = {Liangzhao Zeng and David Flaxer and Henry Chang and Jun-Jang Jeng},
BOOKTITLE = {TES},
CROSSREF = {DBLP:conf/tes/2002},
PAGES = {141-150},
TITLE = {PLM $_{\mbox{flow}}$-Dynamic Business Process Composition and Execution by Rule Inference.},
URL = {http://link.springer.de/link/service/series/0558/bibs/2444/24440141.htm},
YEAR = {2002}
}
This file has been generated by
bibtex2html 1.54