Abstract | ||
---|---|---|
Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented as an annotated transition system. For the sake of saving space in the registry, we want to translate operating guidelines into Petri nets. To make this possible, we carefully investigate regularities in the annotations. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ACSD.2009.11 | ACSD |
Keywords | Field | DocType |
correct interaction,petri net,petrifying operating guidelines,service registry,deadlock freedom,annotated transition system,testing,concurrent computing,automata,data mining,quality of service,petri nets,communication channels,unified modeling language,web services | Transition system,Petri net,Unified Modeling Language,Computer science,Automaton,Deadlock,Quality of service,Concurrent computing,Web service,Database | Conference |
Citations | PageRank | References |
6 | 0.64 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Niels Lohmann | 1 | 999 | 49.45 |
Karsten Wolf | 2 | 757 | 42.53 |