C-clock-WS: A Timed Service-Oriented Calculus.

Alessandro Lapadula Rosario Pugliese Francesco Tiezzi

Published in: ICTAC (2007)

Keyphrases

service oriented
timed automata
model checking
highly dynamic
petri net

web services
high speed
service oriented architecture
power consumption
workflow management

service composition
model driven
virtual enterprise
first order logic
service systems

service selection
loose coupling
theorem proving
scientific workflows
life cycle