|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2009 Ninth International Conference on Application of Concurrency to System Design
Petrifying Operating Guidelines for Services
Augsburg, Germany
July 01-July 03
ISBN: 978-0-7695-3697-2
| ASCII Text | x | ||
| Niels Lohmann, Karsten Wolf, "Petrifying Operating Guidelines for Services," 2010 10th International Conference on Application of Concurrency to System Design, pp. 80-88, 2009 Ninth International Conference on Application of Concurrency to System Design, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/ACSD.2009.11, author = {Niels Lohmann and Karsten Wolf}, title = {Petrifying Operating Guidelines for Services}, journal ={2010 10th International Conference on Application of Concurrency to System Design}, volume = {0}, year = {2009}, issn = {1550-4808}, pages = {80-88}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.11}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2010 10th International Conference on Application of Concurrency to System Design TI - Petrifying Operating Guidelines for Services SN - 1550-4808 SP80 EP88 A1 - Niels Lohmann, A1 - Karsten Wolf, PY - 2009 VL - 0 JA - 2010 10th International Conference on Application of Concurrency to System Design ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.11
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.
Citation:
Niels Lohmann, Karsten Wolf, "Petrifying Operating Guidelines for Services," acsd, pp.80-88, 2009 Ninth International Conference on Application of Concurrency to System Design, 2009
Usage of this product signifies your acceptance of the Terms of Use.