Hierarchical Petri nets based software requirement refinement for Web service

MaRDI QIDQ3412920zbMATH OpenFDO

Authors Bin Shen, Min Yao, Wensheng Yi, Bo Yuan

Publication date 3 January 2007

zbMATH Keywords

structured object-oriented formal language

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Web Service Orchestration with Super-Dual Object Nets
• scientific article; zbMATH DE number 2064227
• A Petri net-based semantic Web service automatic composition method
• Software modeling and analysis using a hierarchical object-oriented Petri net
• A Petri-net approach to refining object behavioural specifications

Cited in

(1)

• Web Service Orchestration with Super-Dual Object Nets

This page was built for publication: Hierarchical Petri nets based software requirement refinement for Web service

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