Model Checking Semantically Annotated Services.

Ivan Di Pietro Francesco Pagliarecci Luca Spalazzi

Published in: IEEE Trans. Software Eng. (2012)

Keyphrases

model checking
semantically annotated
semantic web technologies
artifact centric
temporal logic
semantic annotation
semantic web
formal verification

model checker
temporal properties
symbolic model checking
timed automata
verification method
automated verification
reachability analysis
bounded model checking

web services
metadata
formal specification
concurrent systems
formal methods
computation tree logic
epistemic logic
service oriented

web service composition
linear temporal logic
learning algorithm
artificial intelligence
service composition
domain ontology
semi automatic
knowledge base