NASA Formal Methods

Jon M. Kleinberg, Friedemann Mattern,John C. Mitchell, Moni Naor, C. Pandu Rangan,Bernhard Steffen,Demetri Terzopoulos, Doug Tygar, Peter Müller

Lecture Notes in Computer Science（2018）

引用 11|浏览3

暂无评分

摘要

This paper proposes a correct-by-construction method to build realizable choreographies described using conversation protocols (CPs). We define a new language consisting of an operators set for incremental construction of CPs. We suggest an asynchronous model described with the Event-B method and its refinement strategy, ensuring the scalability of our approach.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要