Service-Oriented Computing: Semantics, Processes, Agents

About the Authors.Preface.Note to the Reader.Acknowledgments.Figures.Tables.Listings.I Basics.1. Computing with Services.2. Basic Standards for Web Services.3. Programming Web Services.4. Enterprise Architectures.5. Principles of Service-Oriented Computing.II Description.6. Modeling and Representation.7. Resource Description Framework.8. Web Ontology Language.9. Ontology Management.III Engagement.10. Execution Models.11. Transaction Concepts.12. Coordination Frameworks for Web Services.13. Process Specifications.14. Formal Specification and Enactment.IV Collaboration.15. Agents.16. Multiagent Systems.17. Organizations.18. Communication.V Solutions.19. Semantic Service Solutions.20. Social Service Selection.21. Economic Service Selection.VI Engineering.22. Building SOC Applications.23. Service Management.24. Security.VII Directions.25. Challenge and Extensions.VIII Appendices.Appendix A: XML and XML Schema.Appendix B: URI, URN, URL and UUID.Appendix C: XML Namespace Abbreviations.Glossary.About the Authors.Bibliography.Index.

[1]  A. P. Carrillo.  Newcomb Hohfeld, Wesley: Fundamental Legal Conceptions as Applied in Judicial Reasoning , 1965 .

[2]  R. B. Redmon,et al.  Identity , 2021, Notre Dame J. Formal Log..

[3]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[4]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .

[5]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[6]  Irving L. Traiger,et al.  Trends in System Aspects of Database Management , 1983, ICOD.

[7]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[8]  Amir Pnueli,et al.  Now you may compose temporal logic specifications , 1984, STOC '84.

[9]  Jerome H. Saltzer,et al.  End-to-end arguments in system design , 1984, TOCS.

[10]  I. Dekieer.  An assumption-based truth maintenance system , 1986 .

[11]  S. T. Dumais,et al.  Using latent semantic analysis to improve access to textual information , 1988, CHI '88.

[12]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[13]  S. Brison.  The Intentional Stance , 1989 .

[14]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[15]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[16]  Johannes Klein.  Advanced rule driven transaction management , 1991, COMPCON Spring '91 Digest of Papers.

[17]  A. Hasman,et al.  Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .

[18]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[19]  Michael N. Huhns,et al.  Multiagent truth maintenance , 1991, IEEE Trans. Syst. Man Cybern..

[20]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

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

[22]  Harry S. Delugach,et al.  An Exploration into Semantic Distance , 1992, Workshop on Conceptual Graphs.

[23]  D. L. Flarey.  Reengineering the Corporation , 1994 .

[24]  Stephen Marsh,et al.  Formalising Trust as a Computational Concept , 1994 .

[25]  Jeffrey S. Rosenschein and Gilad Zlotkin.  Rules of Encounter , 1994 .

[26]  Amit P. Sheth,et al.  Using Tickets to Enforce the Serializability of Multidatabase Transactions , 1994, IEEE Trans. Knowl. Data Eng..

[27]  Peter Gyngell,et al.  Process Innovation: Reengineering Work through Information Technology , 1994 .

[28]  Jeffrey S. Rosenschein,et al.  Designing Conventions for Automated Negotiation , 1994, AI Mag..

[29]  Won Kim,et al.  Modern Database Systems: The Object Model, Interoperability, and Beyond , 1995, Modern Database Systems.

[30]  Afsaneh Haddadi.  Towards a Pragmatic Theory of Interactions , 1995, ICMAS.

[31]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[32]  R. Palmer,et al.  Asset Pricing Under Endogenous Expectations in an Artificial Stock Market , 1996 .

[33]  Michael Wooldridge,et al.  A Knowledge-Theoretic Semantics for Concurrent METATEM , 1996, ATAL.

[34]  Sandip Sen,et al.  Reciprocity: a foundational principle for promoting cooperative behavior among self-interested agents , 1996 .

[35]  CouncilViale,et al.  Help Under Risky Conditions : Robustness of the Social Attitude and System Performance , 1996 .

[36]  Ira R. Forman,et al.  Interacting processes: a multiparty approach to coordinated distributed programming , 1996 .

[37]  H. Van Dyke Parunak,et al.  Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .

[38]  Nicholas R. Jennings,et al.  Coordination techniques for distributed artificial intelligence , 1996 .

[39]  Cristiano Castelfranchi,et al.  Distributed artificial intelligence and social science: critical issues , 1996 .

[40]  Maria L. Gini,et al.  Magma: An Agent Based Virtual Market for Electronic Commerce , 1997, Appl. Artif. Intell..

[41]  Munindar P. Singh,et al.  Global information management via local autonomous agents , 1997 .

[42]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[43]  David Heckerman,et al.  Empirical Analysis of Predictive Algorithms for Collaborative Filtering , 1998, UAI.

[44]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[45]  D. S. Isenberg,et al.  The dawn of the “stupid network” , 1998, NTWK.

[46]  Martin Bichler,et al.  An Electronic Broker for Business-To-Business Electronic Commerce on the Internet , 1998, Int. J. Cooperative Inf. Syst..

[47]  Munindar P. Singh,et al.  Verifying Compliance with Commitment Protocols Enabling Open Web-Based Multiagent Systems , 1999 .

[48]  Israel Ben-Shaul,et al.  GEM: A Global Electronic Market System , 1999, Inf. Syst..

[49]  Jonathan M. Smith,et al.  EROS: a fast capability system , 1999, SOSP.

[50]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[51]  Nesime Tatbul,et al.  An open electronic marketplace through agent-based workflows: MOPPET , 2000, International Journal on Digital Libraries.

[52]  Jeffrey O. Kephart,et al.  Dynamic pricing by software agents , 2000, Comput. Networks.

[53]  Roy T. Fielding,et al.  Principled design of the modern Web architecture , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[54]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[55]  James A. Hendler,et al.  Dynamic Ontologies on the Web , 2000, AAAI/IAAI.

[56]  Blake LeBaron,et al.  Agent-based computational finance : Suggested readings and early research , 2000 .

[57]  John M. Pierre,et al.  Practical Issues for Automated Categorization of Web Sites , 2000 .

[58]  Stefan Decker,et al.  Framework for the Semantic Web: An RDF Tutorial , 2000, IEEE Internet Comput..

[59]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[60]  Stefan Decker,et al.  A Layered Approach to Information Modeling and Interoperability on the Web , 2000 .

[61]  Ian Horrocks,et al.  The Semantic Web: The Roles of XML and RDF , 2000, IEEE Internet Comput..

[62]  Mark Klein,et al.  Serching for services on the semantic web using process ontologies , 2001, The Emerging Semantic Web.

[63]  Leigh Tesfatsion,et al.  A computational laboratory for evolutionary trade networks , 2001, IEEE Trans. Evol. Comput..

[64]  Claudio Bartolini,et al.  A Semantic Web Approach to Service Description for Matchmaking of Services , 2001, SWWS.

[65]  Oscar Nierstrasz,et al.  APPLICATIONS = COMPONENTS + SCRIPTS A tour of Piccola , 2001 .

[66]  Winfried Lamersdorf,et al.  A Multi-criteria Taxonomy of Business Models in Electronic Commerce , 2001, WELCOM.

[67]  John Mylopoulos,et al.  A Goal-Based Organizational Perspective on Multi-agent Architectures , 2001, ATAL.

[68]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[69]  Bertrand Meyer.  .NET Is Coming , 2001, Computer.

[70]  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.

[71]  Lawrence B. Holder,et al.  Cover story: structural Web search using a graph-based discovery system , 2001, INTL.

[72]  E. Friedman,et al.  The Social Cost of Cheap Pseudonyms , 2001 .

[73]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[74]  Brian McBride,et al.  Jena: A Semantic Web Toolkit , 2002, IEEE Internet Comput..

[75]  Nenad Ivezic,et al.  Automating supply-chain management , 2002, AAMAS '02.

[76]  Munindar P. Singh,et al.  An evidential model of distributed reputation management , 2002, AAMAS '02.

[77]  Steven Tuecke,et al.  Grid Service Specification , 2002 .

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

[79]  Steve Vinoski,et al.  Web Services Interaction Models, Part 1: Current Practice , 2002, IEEE Internet Comput..

[80]  Ian Foster,et al.  The Grid: A New Infrastructure for 21st Century Science , 2002 .

[81]  E. Michael Maximilien,et al.  Conceptual model of web service reputation , 2002, SGMD.

[82]  Jim Webber,et al.  Coordinating Business Transactions on the Web , 2003, IEEE Internet Comput..

[83]  Austin Tate,et al.  O-Plan: a Common Lisp Planning Web Service , 2003 .

[84]  Michael Grüninger,et al.  Applications of PSL to Semantic Web Services , 2003, SWDB.

[85]  Mark C. Little,et al.  Transactions and Web services , 2003, CACM.

[86]  José M. Vidal,et al.  Matchmaking of web services based on the DAML-S service model , 2003, AAMAS '03.

[87]  Jun Li.  Electronic Commerce: Strategies and Models for Business‐to‐Business Trading , 2003 .

[88]  Kevin Crowston,et al.  Organizing Business Knowledge: The MIT Process Handbook , 2003 .

[89]  Munindar P. Singh.  Distributed Enactment of Multiagent Flows , 2003 .

[90]  Munindar P. Singh,et al.  Emergent properties of referral systems , 2003, AAMAS '03.

[91]  Timothy W. Finin,et al.  A Policy Based Approach to Security for the Semantic Web , 2003, SEMWEB.

[92]  Stefan Tai,et al.  The next step in Web services , 2003, CACM.

[93]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[94]  Henning Schulzrinne.  Internet Telephony , 2004, The Practical Handbook of Internet Computing.

[95]  Munindar P. Singh.  The Practical Handbook of Internet Computing , 2004 .

[96]  Susanne Boll,et al.  EMP — A Database-Driven Electronic Market Place for Business-to-Business Commerce on the Internet , 2004, Distributed and Parallel Databases.

[97]  Munindar P. Singh.  Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents , 2000, Autonomous Agents and Multi-Agent Systems.

[98]  Suk-Ho Kang,et al.  Business process choreography for B2B collaboration , 2004, IEEE Internet Computing.

[99]  M. Huhns,et al.  Intelligent Enterprise Integration: eMarketplace Model , 2004 .

[100]  Friedemann Mattern,et al.  Detecting causal relationships in distributed computations: In search of the holy grail , 1994, Distributed Computing.

[101]  Frank van Harmelen,et al.  Ontology languages for the Semantic Web , 2005 .

[102]  B. Hattingh.  The competitive advantage , 2007 .