Login / Signup
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration.
Sara Zatout
Maya Souilah Benabdelhafid
Mahmoud Boufaïda
Published in:
QRS Companion (2018)
Keyphrases
</>
web services
colored petri nets
database
neural network
description language
semantic web services
model checking
formal methods
business processes
concurrency control
formal model
database management systems
web applications
modeling method
formal analysis
formal models
asynchronous circuits
association rules