Timed service contract automata.
Davide BasileMaurice H. ter BeekAxel LegayPublished in: Innov. Syst. Softw. Eng. (2020)
Keyphrases
- timed automata
- finite state machines
- web services
- management system
- petri net
- service quality
- supply chain
- genetic algorithm
- cellular automata
- service providers
- finite automata
- service composition
- service discovery
- processor sharing
- service level agreements
- service delivery
- model checking
- pattern matching
- special case
- mobile devices
- information systems