A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics.
Dong-Hoon ShinKyong-Ho LeeFuyuki IshikawaPublished in: Int. J. Web Grid Serv. (2014)
Keyphrases
- web services composition
- process algebra
- web service composition
- web services
- service composition
- formal specification
- composition of web services
- specification language
- highly reliable
- formal methods
- graph theory
- model checking
- service selection
- provably correct
- graph properties
- high speed
- concurrent systems
- graphical representation
- real time
- service discovery
- graph model
- operational semantics
- conceptual schema
- action language
- weighted graph
- asynchronous circuits
- directed graph
- random walk
- quality of service
- graph structure
- conceptual model