Web Services, E-Business, and the Semantic Web: CAiSE 2002 International Workshop, WES 2002 Toronto, Canada, May 27–28, 2002 Revised Papers PDF
Preview Web Services, E-Business, and the Semantic Web: CAiSE 2002 International Workshop, WES 2002 Toronto, Canada, May 27–28, 2002 Revised Papers
Lecture Notes in Computer Science 2512 EditedbyG.Goos,J.Hartmanis,andJ.vanLeeuwen 3 Berlin Heidelberg NewYork Barcelona HongKong London Milan Paris Tokyo Christoph Bussler Rick Hull Sheila McIlraith Maria E. Orlowska Barbara Pernici JianYang (Eds.) Web Services, E-Business, and the Semantic Web CAiSE 2002 International Workshop, WES 2002 Toronto, Canada, May 27-28, 2002 Revised Papers 1 3 VolumeEditors ChristophBussler OracleCorporation 500OracleParkway,RedwoodShores,CA94065,USA E-mail:[email protected] RichardHull BellLabs,LucentTechnologies 600MountainAvenue,Room2D-510,MurrayHill,NJ07974,USA E-mail:[email protected] SheilaMcIlraith StanfordUniversity,DepartmentofComputerScience Stanford,CA94305-9020,USA E-mail:[email protected] MariaE.Orlowska TheUniversityofQueensland,SchoolofInfo.TechnologyandElec.Engineering BrisbaneQld4072,Australia E-mail:[email protected] BarbaraPernici PolitecnicodiMilano,DepartmentofElectronicandInformationScience PiazzaLeonardodaVinci32,20133Milan,Italy E-mail:[email protected] JianYang TilburgUniversity,Infolab POBox90153,5000LETilburg,TheNetherlands E-mail:[email protected] Cataloging-in-PublicationDataappliedfor AcatalogrecordforthisbookisavailablefromtheLibraryofCongress. BibliographicinformationpublishedbyDieDeutscheBibliothek DieDeutscheBibliothekliststhispublicationintheDeutscheNationalbibliografie; detailedbibliographicdataisavailableintheInternetat<http://dnb.ddb.de>. CRSubjectClassification(1998):H.4,H.5,H.3,K.4.4,D.2.11,I.2.11,C.2,D.3,F.3 ISSN0302-9743 ISBN3-540-00198-0Springer-VerlagBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare liableforprosecutionundertheGermanCopyrightLaw. Springer-VerlagBerlinHeidelbergNewYork amemberofBertelsmannSpringerScience+BusinessMediaGmbH http://www.springer.de ©Springer-VerlagBerlinHeidelberg2002 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyOlgunComputergrafik Printedonacid-freepaper SPIN:10870928 06/3142 543210 Preface TheWorkshoponWebServices,E-Business,andtheSemanticWeb(WES)was heldMay27–28,2002inconjunctionwithCAiSE02,the14thInternationalCon- ferenceonAdvancedInformationSystemsEngineering.Theworkshopcomprised three tracks: a track on Web services co-chaired by Barbara Pernici (Politecnico diMilano)andJianYang(TilburgUniversity);atrackone-business,co-chaired byMariaE.Orlowska(UniversityofQueensland)andChristophBussler(Oracle Corporation,USA);andatrackone-servicesandtheSemanticWeb,co-chaired byRickHull(BellLaboratories,LucentTechnologies,USA)andSheilaMcIlraith (Knowledge Systems Laboratory, Stanford University, USA). TheInternetischangingthewaybusinessesoperate.Organizationsareusing the web to deliver their goods and services, to find trading partners, and to link theirexisting(maybelegacy)applicationstootherapplications.Webservicesare rapidly becoming the enabling technology of today’s e-business and e-commerce systems, and will soon transform the Web as it is now into a distributed com- putation and application framework. Ontheotherhand,e-businessasanemergingconceptisalsoimpactingsoft- ware applications, the everyday services landscape, and the way we do things in almost each domain of our life. There is already a body of experience accumu- lated that demonstrates the difference between just having an online presence andusingtheWebasastrategicandfunctionalmediumine-business-to-business interaction (B2B) as well as in marketplaces. Finally, the emerging Semantic Web paradigm promises to annotate Web artifactstoenableautomatedreasoningaboutthem.Whenappliedtoe-services, the paradigm hopes to provide substantial automation for activities such as discovery, invocation, assembly, and monitoring of e-services. But much work remains to be done before realizing this vision. Clearly Web services must satisfy a number of challenging requirements in ordertobeabletoplayacrucialroleinthenewapplicationdomainofe-business anddistributedapplicationdevelopment.Theyshouldbemodeledanddesigned to reflect the business objectives. Although some progress has been made in the area of Web service description and discovery, and there are some important standards like SOAP, WSDL, and UDDI emerging, there is still a long way to go. There is still a list of issues that need to be addressed and research that needs to be done in connection with foundations, technology support, model- ing methodologies, and engineering principles before Web services become the prominent paradigm for distributed computing and electronic business. ThegoalofthisworkshopwastobringWebservices,e-business,andSeman- tic Web technology issues together for discussion and review. This included new research results and developments in the context of Web services and e-business aswellastheapplicationofexistingresearchresultsinthisnewfascinatingarea. In addition to the presentation of research papers, the workshop included three VI Preface invited speakers: Aad van Moorsel (HP, USA) on “Ten-Step Survival Guide for theEmergingBusinessWeb”;MikePapazoglou(TilburgUniversity,TheNether- lands) on “The World of E-Business: Web Services, Workflows, and Business Transactions”; and Ian Horrocks (University of Manchester) on “DAML+OIL: a Reason-able Web Ontology Language.” We would like to thank the WES program committee for their hard work in helping make this workshop a success. We would also like to thank our invited speakers for their participation. Finally, we would also like to acknowledge Bell Labs Research, a Division of Lucent Technologies for their financial support of this event. June 2002 Christoph Bussler Rick Hull Sheila McIlraith Maria E. Orlowska Barbara Pernici Jian Yang Workshop Organization Committee Christoph Bussler Oracle Corporation, USA Rick Hull Bell Laboratories, Lucent Technologies, USA Sheila McIlraith Knowledge Systems Laboratory, Stanford University, USA Maria E. Orlowska University of Queensland, ITEE, Australia Barbara Pernici Politecnico di Milano, Italy Jian Yang Tilburg University, The Netherlands VIII Program Committee Karl Aberer Quing Li Serge Abiteboul Hong Jun Lu Witold Abramowicz Heiko Ludwig Gustavo Alonso Ashok Malhotra Fabio Casati Dave Martin Sing-Chi Cheung Drew McDermott Dickson Chiu Massimo Mecella Vassilis Christophides Rakesh Mohan Keith Chun-Chung Borys Omelayenko Peter Dadam George Papadopoulos Dieter Fensel Mike Papazoglou Mariagrazia Fugini Terry Payne Dimitrios Georgakopoulos Charles Petrie Carole Goble Dimitris Plexousakis Paul Grefen Krithi Ramamritham Mike Gruninger Shazia Sadiq Frank van Harmelen Wasim Sadiq Meichun Hsu Arnaud Sahuguet Keith Jeffery Ming-Chien Shan Ahmad Kayed James Snell Larry Kerschberg Katia Sycara Maurizio Lenzerini Roger Tagg Table of Contents Keynote Presentation Ten-Step Survival Guide for the Emerging Business Web................ 1 Aad van Moorsel (Hewlett-Packard Laboratories) Web Service Track Process Aggregation Using Web Services.............................. 12 Mark Hansen, Stuart Madnick, and Michael Siegel (MIT Sloan School of Management) The Use of Patterns in Service Composition ........................... 28 Moe Thandar Tut and David Edmond (Queensland University of Technology) Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment....................................... 41 Dickson K.W. Chiu (Chinese University of Hong Kong), Shing-Chi Cheung (Hong Kong University of Science and Technology), Kamalakar Karlapalem (International Institute of Information Tech- nology), Qing Li (City University of Hong Kong), and Sven Till (Hong Kong University of Science and Technology) WSOL – Web Service Offerings Language ............................. 57 Vladimir Tosic, Kruti Patel, and Bernard Pagurek (Carleton University) e-Business Track On τ-, µ-, π-, and ε-Contracting .................................... 68 Paul Grefen and Samuil Angelov (University of Twente) A Three-Layer Framework for Cross-Organizational e-Contract Enactment ....................... 78 Shing-Chi Cheung (Hong Kong University of Science and Technology), Dickson K.W. Chiu (Chinese University of Hong Kong), and Sven Till (Hong Kong University of Science and Technology) XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology.................................... 93 H.M.W. Verbeek, A. Hirnschall, and W.M.P. van der Aalst (Eindhoven University of Technology) X Table of Contents Towards User Centric e-Learning Systems ............................ 109 Witold Abramowicz, Marek Kowalkiewicz, and Piotr Zawadzki (The Poznan University of Economics) Data Quality in e-Business Applications .............................. 121 Monica Scannapieco (Universita di Roma “La Sapienza”, Consiglio Nazionale delle Ricerche), Valeria Mirabella, Massimo Mecella (Uni- versita di Roma “La Sapienza”), and Carlo Batini (Universita di Mi- lano “Bicocca”) Personalised Organisation of Dynamic e-Catalogs ...................... 139 Hye-young Paik and Boualem Benatallah (The University of New South Wales) Keynote Presentation The World of e-Business: Web-Services, Workflows, and Business Transactions ................................ 153 Michael P. Papazoglou (Tilburg University) DAML+OIL: A Reason-Able Web Ontology Language.................. 174 Ian Horrocks (University of Manchester) e-Services and the Semantic Web A Service Infrastructure for e-Science: The Case of the ARION System ... 175 Catherine Houstis, Spyros Lalis, Vassilis Christophides, Dimitris Plexousakis, Manolis Vavalis, Marios Pitikakis, Kyriakos Kritikos, Antonis Smardas, and Charalampos Gikas (Foundation for Research and Technology) Formal Verification of e-Services and Workflows........................ 188 Xiang Fu, Tevfik Bultan, and Jianwen Su (University of California at Santa Barbara) Processing Schedules Using Distributed Ontologies on the Semantic Web.. 203 TerryR.Payne,RahulSingh,andKatiaSycara(CarnegieMellonUni- versity) Value-Added Web Services Composition Using Automatic Program Synthesis.................................. 213 Mihhail Matskin and Jinghai Rao (Norwegian University of Science and Technology) Importing the Semantic Web in UDDI................................ 225 Massimo Paolucci (Carnegie Mellon University), Takahiro Kawamura (Carnegie Mellon University, Toshiba Corp.), Terry R. Payne, and Katia Sycara (Carnegie Mellon University)
The list of books you might like
