Analysis and simulation of Web services.
From MaRDI portal
Publication:1398902
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
AlgorithmsVerificationDesignDistributed systemsStandardizationLanguagesAutomated reasoningSemantic webRepresentationsWeb servicesPredicate logicDAMLFrames and scriptsKnowledge representation formalisms and methodsOntologiesRepresentation languages
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)