Petrifying Operating Guidelines for Services

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.

• Type: Conference
• Year: 2009
• Where: ACSD
• Authors: Niels Lohmann, Karsten Wolf
• Keywords: ACSD 2009, Annotated Transition System, Correct Interaction, Deadlock Freedom, Hardware