Selection and verification of workflows in multimedia service compositions

Selection and Verification of Workflows in Multimedia Service Compositions

[1]  David C. Fallside,et al.  Xml schema part 0: primer , 2000 .

[2]  Klara Nahrstedt,et al.  RandPeer: Membership Management for QoS Sensitive Peer-to-Peer Applications , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[3]  Evelina Lamma,et al.  Specification and Verification of Agent Interaction using Social Integrity Constraints , 2004, LCMAS.

[4]  Andrew Birrell,et al.  Implementing remote procedure calls , 1984, TOCS.

[5]  Wolf-Tilo Balke,et al.  Multimedia Content Provisioning Using Service Oriented Architectures , 2008, 2008 IEEE International Conference on Web Services.

[6]  Paola Mello,et al.  Specification and verification of agent interaction protocols in a logic-based system , 2004, SAC '04.

[7]  Dietmar Jannach,et al.  Knowledge-based multimedia adaptation for ubiquitous multimedia consumption , 2007, J. Netw. Comput. Appl..

[8]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[9]  Volker Haarslev,et al.  Racer: An OWL Reasoning Agent for the Semantic Web , 2003 .

[10]  Csr Young,et al.  How to Do Things With Words , 2009 .

[11]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[12]  Nicola Henze,et al.  Personalized Access to Web Services in the Semantic Web , 2006 .

[13]  Dave Reynolds,et al.  Efficient RDF Storage and Retrieval in Jena2 , 2003, SWDB.

[14]  Dan Brickley,et al.  FOAF Vocabulary Specification , 2004 .

[15]  J. Sadock.  Speech acts , 2007 .

[16]  Matthias De Geyter,et al.  Multi-step media adaptation: implementation of a knowledge-based engine , 2005, WWW '05.

[17]  Roberto Gorrieri,et al.  Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.

[18]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[19]  Brian McBride,et al.  Jena: Implementing the RDF Model and Syntax Specification , 2001, SemWeb.

[20]  Tore Risch,et al.  EDUTELLA: a P2P networking infrastructure based on RDF , 2002, WWW.

[21]  Fangchun Yang,et al.  Precise Matching of Semantic Web Services , 2006, International Conference on Computational Science.

[22]  Klara Nahrstedt,et al.  A scalable approach to continuous-media processing , 1998, Proceedings Eighth International Workshop on Research Issues in Data Engineering. Continuous-Media Databases and Applications.

[23]  Wil M. P. van der Aalst,et al.  Design and Implementation of the YAWL System , 2004, CAiSE.

[24]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[25]  Frank Dignum.  Advances in agent communication : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers , 2004 .

[26]  André Arnold,et al.  Finite transition systems - semantics of communicating systems , 1994, Prentice Hall international series in computer science.

[27]  Klara Nahrstedt,et al.  Distributed multimedia service composition with statistical QoS assurances , 2006, IEEE Transactions on Multimedia.

[28]  Alberto Martelli,et al.  Interaction Protocols and Capabilities: A Preliminary Report , 2006, PPSWR.

[29]  Martin Wolpers,et al.  An O-Telos Provider Peer for the RDF-based Edutella P2P-network , 2002, SAAKM@ECAI.

[30]  Nicola Henze,et al.  A Personalization Service for Curriculum Planning , 2006, LWA.

[31]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[32]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[33]  Mario Bravetti,et al.  Contract based multi-party service composition , 2007, FSEN'07.

[34]  David L. Martin,et al.  Grounding OWL-S in SAWSDL , 2007, ICSOC.

[35]  Daniel Olmedilla,et al.  Interoperability for Peer-to-Peer Networks: Opening P2P to the Rest of the World , 2006, EC-TEL.

[36]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[37]  Raphael Volz,et al.  A Comparison of RDF Query Languages , 2004, SEMWEB.

[38]  Florian Schintke,et al.  Peer-to-Peer Computing , 2010, Euro-Par.

[39]  C. A. R. Hoare,et al.  Stuck-Free Conformance , 2004, CAV.

[40]  Klara Nahrstedt,et al.  Impact of Upper Layer Adaptation on End-to-end Delay Management in Wireless Ad Hoc Networks , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[41]  Georg Gottlob,et al.  The Personal Publication Reader , 2005, International Semantic Web Conference.

[42]  Tsvi Kuflik,et al.  Mediation of user models for enhanced personalization in recommender systems , 2007, User Modeling and User-Adapted Interaction.

[43]  Christian Timmerer,et al.  A knowledge-based framework for multimedia adaptation , 2006, Applied Intelligence.

[44]  Wolfgang Nejdl,et al.  Super-peer-based routing strategies for RDF-based peer-to-peer networks , 2004, J. Web Semant..

[45]  Munindar P. Singh.  A semantics for speech acts , 1997, Annals of Mathematics and Artificial Intelligence.

[46]  Munindar P. Singh,et al.  Producing Compliant Interactions: Conformance, Coverage, and Interoperability , 2006, DALT.

[47]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[48]  Diomidis Spinellis,et al.  A survey of peer-to-peer content distribution technologies , 2004, CSUR.

[49]  Wolfgang Nejdl,et al.  Using an O-Telos peer to provide reasoning capabilities in an RDF-based P2P-environment , 2002 .

[50]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[51]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[52]  W. Bodmer.  Principles of Scientific Management , 1993, FASEB journal : official publication of the Federation of American Societies for Experimental Biology.

[53]  Andreas Schrader,et al.  Seamless media adaptation with simultaneous processing chains , 2002, MULTIMEDIA '02.

[54]  Wolfgang Nejdl,et al.  Distributed Queries and Query Optimization in Schema-Based P2P-Systems , 2003, DBISP2P.

[55]  Roy T. Fielding,et al.  Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[56]  Tsvi Kuflik,et al.  Cross-Technique Mediation of User Models , 2006, AH.

[57]  Asit Dan,et al.  Web services agreement specification (ws-agreement) , 2004 .

[58]  H. Horz,et al.  Lernen mit Medien , 2011 .

[59]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[60]  Laura Giordano,et al.  Specifying and verifying interaction protocols in a temporal action logic , 2007, J. Appl. Log..

[61]  Erik Duval,et al.  The Ariadne knowledge pool system , 2001, CACM.

[62]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[63]  John Lane,et al.  IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries , 1991 .

[64]  Wolf-Tilo Balke,et al.  Towards building large scale multimedia systems and applications: challenges and status , 2005, MSC '05.

[65]  James A. Hendler,et al.  The semantic Web -- ISWC 2002 : First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002 : proceedings , 2002 .

[66]  Alfred Kobsa,et al.  Generic User Modeling Systems , 2001, User modeling and user-adapted interaction.

[67]  Keith W. Ross,et al.  A Measurement Study of a Large-Scale P2P IPTV System , 2007, IEEE Transactions on Multimedia.

[68]  Sebastián Uchitel,et al.  LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.

[69]  Heiko Ludwig,et al.  Web Service Level Agreement (WSLA) Language Specification , 2003 .

[70]  Andrew Woolf,et al.  A Web Service Model for Climate Data Access on the Grid , 2003, Int. J. High Perform. Comput. Appl..

[71]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[72]  Klara Nahrstedt,et al.  Hourglass multimedia content and service composition framework for smart room environments , 2005, Pervasive Mob. Comput..

[73]  Piergiorgio Bertoli,et al.  Planning and Monitoring Web Service Composition , 2004, AIMSA.

[74]  Bo Li,et al.  An Empirical Study of the Coolstreaming+ System , 2007, IEEE Journal on Selected Areas in Communications.

[75]  Hermann Hellwagner,et al.  Metadata-driven optimal transcoding in a multimedia proxy , 2007, Multimedia Systems.

[76]  Tian Qiu,et al.  Web Service Discovery with UDDI Based on Semantic Similarity of Service Properties , 2007, Third International Conference on Semantics, Knowledge and Grid (SKG 2007).

[77]  Arvind Malhotra,et al.  Xml schema part 2: datatypes , 1999 .

[78]  Katia Sycara,et al.  Adding OWL-S to UDDI, implementation and throughput , 2004 .

[79]  Timothy W. Finin,et al.  Semantics and Conversations for an Agent Communication Language , 1997, IJCAI.

[80]  Klara Nahrstedt,et al.  Multimedia: Computing, Communications and Applications , 1994 .

[81]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.

[82]  Matthias Klusch,et al.  Automated semantic web service discovery with OWLS-MX , 2006, AAMAS '06.

[83]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[84]  Boris Brandherm,et al.  Gumo - The General User Model Ontology , 2005, User Modeling.

[85]  Andrea Basso,et al.  Protocol considerations for a prefix-caching proxy for multimedia streams , 2000, Comput. Networks.

[86]  Armin Haller,et al.  WSMX - a semantic service-oriented architecture , 2005, IEEE International Conference on Web Services (ICWS'05).

[87]  David R. Karger,et al.  Chord: A scalable peer-to-peer lookup service for internet applications , 2001, SIGCOMM '01.

[88]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[89]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[90]  Yanchun Zhang,et al.  Algorithm for Web Services Matching , 2004, APWeb.

[91]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services with OWL-S , 2007, World Wide Web.

[92]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[93]  Wolf-Tilo Balke,et al.  A Quality- and Cost-based Selection Model for Multimedia Service Composition in Mobile Environments , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[94]  Philippe Schnoebelen,et al.  Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .

[95]  Jakob Rehof,et al.  Conformance Checking for Models of Asynchronous Message Passing Software , 2002, CAV.

[96]  Nicola Henze,et al.  Personal Reader Agent : Personalized Access to Configurable Web Services , 2006, LWA.

[97]  John Darlington,et al.  A Semantic Similarity Measure for Semantic Web Services , 2005 .

[98]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[99]  John Domingue,et al.  IRS-III: A Broker for Semantic Web Services Based Applications , 2006, International Semantic Web Conference.

[100]  Alberto Martelli,et al.  A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments , 2006, ICSOC.

[101]  Wolf-Tilo Balke,et al.  A Service Oriented Architecture for Personalized Universal Media Access , 2011, Future Internet.

[102]  Cristina Baroglio,et al.  Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture , 2007, EC-TEL.

[103]  Keith Haines,et al.  Styx Grid Services: Lightweight, Easy-to-Use Middleware for Scientific Workflows , 2006, International Conference on Computational Science.

[104]  Stathes Hadjiefthymiades,et al.  On the Evaluation of Semantic Web Service Matchmaking Systems , 2006, 2006 European Conference on Web Services (ECOWS'06).

[105]  Wolfgang Nejdl,et al.  Super-peer-based routing and clustering strategies for RDF-based peer-to-peer networks , 2003, WWW '03.

[106]  Anthony Vetro,et al.  MPEG-21 digital item adaptation: enabling universal multimedia access , 2004, IEEE MultiMedia.

[107]  Jean Jacques Moreau,et al.  SOAP Version 1. 2 Part 1: Messaging Framework , 2003 .

[108]  Paola Mello,et al.  A Social ACL Semantics by Deontic Constraints , 2003, CEEMAS.

[109]  Wolf-Tilo Balke,et al.  Preference-driven personalization for flexible digital item adaptation , 2007, Multimedia Systems.

[110]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[111]  Calton Pu,et al.  Infopipes for composing distributed information flows , 2001, M3W.

[112]  Francesco M. Donini,et al.  Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace , 2004, ICEC '04.

[113]  Sebastián Uchitel,et al.  Model-Based Analysis of Obligations in Web Service Choreography , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[114]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[115]  Renzhi Li,et al.  Universal Multiple-Octet Coded Character Set , 2004 .

[116]  Sun Microsystems,et al.  RPC: Remote Procedure Call Protocol specification: Version 2 , 1988, RFC.

[117]  Calton Pu,et al.  Infopipes: an Abstraction for Multimedia Streaming , 2002 .

[118]  Wolf-Tilo Balke,et al.  A taxonomy for multimedia service composition , 2004, MULTIMEDIA '04.

[119]  Arjohn Kampman,et al.  SeRQL: A Second Generation RDF Query Language , 2003 .

[120]  John A. Kunze,et al.  The Dublin Core Metadata Element Set , 2007, RFC.

[121]  Alberto Martelli,et al.  Verification of Protocol Conformance and Agent Interoperability , 2005, CLIMA.

[122]  Cristina Baroglio,et al.  A Service-Oriented Approach for Curriculum Planning and Validation , 2007 .

[123]  Christian Timmerer,et al.  Digital item adaptation: overview of standardization and research activities , 2005, IEEE Transactions on Multimedia.

[124]  Frank van Harmelen,et al.  Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema , 2002, SEMWEB.

[125]  Wolf-Tilo Balke,et al.  DL Meets P2P - Distributed Document Retrieval Based on Classification and Content , 2005, ECDL.

[126]  David L. Martin,et al.  Bringing Semantic Annotations to Web Services: OWL-S from the SAWSDL Perspective , 2007, ISWC/ASWC.

[127]  Jan Willem Klop,et al.  ACP - a universal axiom system for process specification , 1987 .

[128]  Nicolas Maudet,et al.  Protocol Conformance for Logic-based Agents , 2003, IJCAI.

[129]  Timothy W. Finin,et al.  Specification of the KQML Agent-Communication Language , 1993 .

[130]  Hideaki Kimata,et al.  RTP Payload Format for MPEG-4 Audio/Visual Streams , 2000, RFC.

[131]  Mario Bravetti,et al.  A Theory for Strong Service Compliance , 2007, COORDINATION.

[132]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[133]  Schahram Dustdar,et al.  A view based analysis of workflow modeling languages , 2006, 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP'06).

[134]  Diana Maynard,et al.  REASE—The repository for learning units about the Semantic Web , 2007, New Rev. Hypermedia Multim..

[135]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[136]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[137]  Matthew MacDonald,et al.  Web Services Architecture , 2004 .