服务石化操作指南

2009 Ninth International Conference on Application of Concurrency to System Design Pub Date : 2009-07-01 DOI:10.1109/ACSD.2009.11

Niels Lohmann, K. Wolf

{"title":"服务石化操作指南","authors":"Niels Lohmann, K. Wolf","doi":"10.1109/ACSD.2009.11","DOIUrl":null,"url":null,"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.","PeriodicalId":307821,"journal":{"name":"2009 Ninth International Conference on Application of Concurrency to System Design","volume":"273 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"Petrifying Operating Guidelines for Services\",\"authors\":\"Niels Lohmann, K. Wolf\",\"doi\":\"10.1109/ACSD.2009.11\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":307821,\"journal\":{\"name\":\"2009 Ninth International Conference on Application of Concurrency to System Design\",\"volume\":\"273 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 Ninth International Conference on Application of Concurrency to System Design\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSD.2009.11\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Ninth International Conference on Application of Concurrency to System Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2009.11","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 12

摘要

操作指南描述了与服务的正确交互(例如，无死锁)。它们可以存储在服务注册中心中。到目前为止，它们都被表示为带注释的转换系统。为了节省注册表中的空间，我们希望将操作指南转换为Petri网。为了实现这一点，我们仔细研究了注释中的规律。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Petrifying Operating Guidelines for Services

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2009 Ninth International Conference on Application of Concurrency to System Design

自引率

0.00%

发文量