Analysis and simulation of Web services.

DOI10.1016/S1389-1286(03)00228-7MaRDI QIDQ1398902zbMATH OpenFDO

Authors Srini Narayanan, Sheila A. McIlraith

Publication date 7 August 2003

Published in Computer Networks (Search for Journal in Brave)

zbMATH Keywords

AlgorithmsVerificationDesignDistributed systemsStandardizationLanguagesAutomated reasoningSemantic webRepresentationsWeb servicesPredicate logicDAMLFrames and scriptsKnowledge representation formalisms and methodsOntologiesRepresentation languages

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 2088361
• scientific article; zbMATH DE number 2087387
• A Petri net-based semantic Web service automatic composition method
• Static Analysis
• A Petri net approach for the design and analysis of web services choreographies

Cited in

(21)

• Web services composition -- from ontology to plan by query
• Reasoning about interaction protocols for web service composition
• scientific article; zbMATH DE number 1952101 (Why is no real title available?)
• Fundamental Approaches to Software Engineering
• Computer Aided Verification
• Model transformation and formal verification for semantic web services composition
• A Petri net-based semantic Web service automatic composition method
• scientific article; zbMATH DE number 2088361 (Why is no real title available?)
• Modelling web service composition for deductive web mining
• Towards a performance analysis of composite web services using Petri nets
• Service net algebra based on logic Petri nets
• A description logic based situation calculus
• Automated Technology for Verification and Analysis
• Minimum-cost delegation in service composition
• A design methodology for verified web-service mediators
• Static Analysis
• Fundamental Approaches to Software Engineering
• SCAIMO --- a case for enabling security in semantic web service composition
• A Petri net approach for the design and analysis of web services choreographies
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• scientific article; zbMATH DE number 2087387 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398902)