Analysis and simulation of Web services.

DOI10.1016/S1389-1286(03)00228-7zbMath1059.68517MaRDI QIDQ1398902

Srini Narayanan, Sheila A. McIlraith

Publication date: 7 August 2003

Published in: Computer Networks (Search for Journal in Brave)

zbMATH Keywords

AlgorithmsLanguagesAutomated reasoningDesignVerificationWeb servicesDistributed systemsStandardizationSemantic webRepresentationsPredicate logicDAMLFrames and scriptsKnowledge representation formalisms and methodsOntologiesRepresentation languages

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items (3)

Minimum-cost delegation in service composition ⋮ A description logic based situation calculus ⋮ Model transformation and formal verification for semantic web services composition

This page was built for publication: Analysis and simulation of Web services.