Model transformation and formal verification for semantic web services composition

DOI10.1016/j.advengsoft.2010.01.005zbMath1192.68069OpenAlexW2086162616MaRDI QIDQ982939

Yushun Fan, Yue Ni

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 netssemantic web servicesOWL-Sservices composition

Mathematics Subject Classification ID

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

Uses Software

• DaGen

Cites Work

• Unnamed Item
• Analysis and simulation of Web services.
• Fundamental Approaches to Software Engineering

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