Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata-Reference-Cited by-同舟云学术

Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata

Published:2017-09-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st International Systems and Software Product Line Conference - Volume B
language:
Short-container-title:

Author:

Basile Davide¹,ter Beek Maurice H.²,Di Giandomenico Felicita²,Gnesi Stefania²

Affiliation:

1. University of Florence, Italy, ISTI-CNR, Pisa, Italy

2. ISTI-CNR, Pisa, Italy

Publisher

ACM

Link

Reference27 articles.

1. 20 Years of Modal and Mixed Specifications;Antonik A.;B. EATCS,2008

4. Automata for Specifying and Orchestrating Service Contracts;Basile D.;Log. Meth. Comput. Sci.,2016

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A toolchain for strategy synthesis with spatial properties;International Journal on Software Tools for Technology Transfer;2023-11-02

3. Contract Automata Library;Science of Computer Programming;2022-09

4. An Experimental Toolchain for Strategy Synthesis with Spatial Properties;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022