用于所有任务规范的服务组合

IF 3 2区计算机科学 Q2 COMPUTER SCIENCE, INFORMATION SYSTEMS

Information Systems Pub Date : 2025-05-17 DOI:10.1016/j.is.2025.102571

Giuseppe De Giacomo , Marco Favorito , Luciana Silo

{"title":"用于所有任务规范的服务组合","authors":"Giuseppe De Giacomo , Marco Favorito , Luciana Silo","doi":"10.1016/j.is.2025.102571","DOIUrl":null,"url":null,"abstract":"<div><div>Service compositions <em>à la</em> Roman model consist of realizing a virtual service by orchestrating suitably, a set of already available services, where all services are described procedurally as (possibly nondeterministic) transition systems. In this paper, we study a goal-oriented variant of the service composition <em>à la</em> Roman Model, where the goals specified allowed traces declaratively via Linear Temporal Logic on finite traces (<span>ltl</span> <sub><em>f</em></sub>). Specifically, we synthesize a controller to orchestrate the available services to produce a trace satisfying a specification in <span>ltl</span> <sub><em>f</em></sub>. We demonstrate that this framework has several interesting applications, like Smart Manufacturing and Digital Twins.</div></div>","PeriodicalId":50363,"journal":{"name":"Information Systems","volume":"133 ","pages":"Article 102571"},"PeriodicalIF":3.0000,"publicationDate":"2025-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Service composition for ltl f task specifications\",\"authors\":\"Giuseppe De Giacomo , Marco Favorito , Luciana Silo\",\"doi\":\"10.1016/j.is.2025.102571\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Service compositions <em>à la</em> Roman model consist of realizing a virtual service by orchestrating suitably, a set of already available services, where all services are described procedurally as (possibly nondeterministic) transition systems. In this paper, we study a goal-oriented variant of the service composition <em>à la</em> Roman Model, where the goals specified allowed traces declaratively via Linear Temporal Logic on finite traces (<span>ltl</span> <sub><em>f</em></sub>). Specifically, we synthesize a controller to orchestrate the available services to produce a trace satisfying a specification in <span>ltl</span> <sub><em>f</em></sub>. We demonstrate that this framework has several interesting applications, like Smart Manufacturing and Digital Twins.</div></div>\",\"PeriodicalId\":50363,\"journal\":{\"name\":\"Information Systems\",\"volume\":\"133 \",\"pages\":\"Article 102571\"},\"PeriodicalIF\":3.0000,\"publicationDate\":\"2025-05-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0306437925000559\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information Systems","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0306437925000559","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

服务组合（Roman模型）包括通过适当地编排一组已经可用的服务来实现虚拟服务，其中所有服务都被程序化地描述为（可能不确定的）转换系统。在本文中，我们研究了服务组合模型的一个面向目标的变体，其中指定的目标通过有限轨迹（ltl f）上的线性时间逻辑声明性地允许轨迹。具体来说，我们合成了一个控制器来编排可用的服务，以生成满足ltf规范的跟踪。我们演示了该框架有几个有趣的应用程序，如智能制造和数字孪生。

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

查看原文本刊更多论文

Service composition for ltl f task specifications

Service compositions à la Roman model consist of realizing a virtual service by orchestrating suitably, a set of already available services, where all services are described procedurally as (possibly nondeterministic) transition systems. In this paper, we study a goal-oriented variant of the service composition à la Roman Model, where the goals specified allowed traces declaratively via Linear Temporal Logic on finite traces (ltl _f). Specifically, we synthesize a controller to orchestrate the available services to produce a trace satisfying a specification in ltl _f. We demonstrate that this framework has several interesting applications, like Smart Manufacturing and Digital Twins.

求助全文

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

来源期刊

Information Systems 工程技术-计算机：信息系统

CiteScore

9.40

自引率

2.70%

发文量

112

审稿时长

53 days

期刊介绍： Information systems are the software and hardware systems that support data-intensive applications. The journal Information Systems publishes articles concerning the design and implementation of languages, data models, process models, algorithms, software and hardware for information systems. Subject areas include data management issues as presented in the principal international database conferences (e.g., ACM SIGMOD/PODS, VLDB, ICDE and ICDT/EDBT) as well as data-related issues from the fields of data mining/machine learning, information retrieval coordinated with structured data, internet and cloud data management, business process management, web semantics, visual and audio information systems, scientific computing, and data science. Implementation papers having to do with massively parallel data management, fault tolerance in practice, and special purpose hardware for data-intensive systems are also welcome. Manuscripts from application domains, such as urban informatics, social and natural science, and Internet of Things, are also welcome. All papers should highlight innovative solutions to data management problems such as new data models, performance enhancements, and show how those innovations contribute to the goals of the application.