Petrifying operating guidelines for services

N. Lohmann, K. Wolf

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    176 Downloads (Pure)

    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.
    Original languageEnglish
    Title of host publicationProceedings 9th International Conference on Application of Concurrency to System Design (ACSD 2009, Augsburg, Germany, July 1-3, 2009)
    PublisherInstitute of Electrical and Electronics Engineers
    Pages80-88
    ISBN (Print)978-0-7695-3697-2
    DOIs
    Publication statusPublished - 2009

    Fingerprint

    Dive into the research topics of 'Petrifying operating guidelines for services'. Together they form a unique fingerprint.

    Cite this