C-clock-WS: A Timed Service-Oriented Calculus.
Alessandro LapadulaRosario PuglieseFrancesco TiezziPublished 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