Analysis and simulation of Web services.

DOI10.1016/S1389-1286(03)00228-7zbMATH Open1059.68517MaRDI QIDQ1398902FDOQ1398902

Authors: Srini Narayanan, Sheila A. McIlraith 

Publication date: 7 August 2003

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

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

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)

Cited In (21)

• Reasoning about interaction protocols for web service composition
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• A Petri net approach for the design and analysis of web services choreographies
• Title not available (Why is that?)
• Web services composition -- from ontology to plan by query

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)