Model transformation and formal verification for semantic web services composition

DOI10.1016/J.ADVENGSOFT.2010.01.005MaRDI QIDQ982939zbMATH OpenOpenAlexFDO

Authors Yue Ni, Yushun Fan

Publication date 28 July 2010

Published in Advances in Engineering Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.advengsoft.2010.01.005

zbMATH Keywords

coloured Petri netsOWL-Ssemantic web servicesservices composition

Mathematics Subject Classification ID

Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Formal semantics and analysis of control flow in WS-BPEL
• A Petri net-based semantic Web service automatic composition method
• A formal model for BPEL4WS description of Web service composition
• Analysis and simulation of Web services.
• Model-checking web services orchestrations using BP-calculus

Cites work

• Analysis and simulation of Web services.
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)

Cited in

(6)

• Type theory based semantic verification for service composition in cloud computing environments
• A formal model for BPEL4WS description of Web service composition
• TOWARDS A SEMANTIC STATE TRANSITION SYSTEM FOR AUTOMATED GENERATION OF DATA FLOW IN WEB SERVICE COMPOSITION
• Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery
• An Event-B based approach for cloud composite services verification
• Formal semantics and analysis of control flow in WS-BPEL

Describes a project that uses

Uses Software

• DaGen

This page was built for publication: Model transformation and formal verification for semantic web services composition

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