Login / Signup
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions.
Pengcheng Zhang
Bixin Li
Henry Muccini
Mingjie Sun
Published in:
APWeb Workshops (2008)
Keyphrases
</>
temporal properties
web service compositions
model checking
web service composition
web services
service composition
possibility theory
real time
quality of service
formal methods
temporal logic
pattern recognition
domain independent
formal specification