Delayed Choice: An Operator for Joining Message Sequence Charts

机译：延迟选择：用于连接消息序列图的运算符

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We study the extension of a simple process algebra with the delayed choiceoperator. It differs from the normal non-deterministic choice in that the moment of choice is delayed until all alternatives can be distinguished by their first action. An application is in joining Message Sequence Charts.

著录项

作者
Baeten, J. C. M.; Mauw, S.;
展开▼
作者单位

展开▼
年度 1994
页码 p.1-24
总页数 24
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Semantics; Telecommunication; Axioms; Completeness; Specifications;

机译：语义;电信;公理;完整性;规范;

相似文献

外文文献
中文文献
专利

1. FERC's Latest Five Year Review of Oil Pipeline Indexing Method Resurrects Old and New Disputes Between Pipeline Operators and Shippers; PHMSA Sends A Message To FERC Warning of Impending Safety and Regulatory Cost Consequences [J] . Foster Natural Gas Report Group Foster Natural Gas Report . 2015,第3067期

机译：FERC最新五年的石油管道索引方法审查，在管道运营商和托运人之间复活和新的纠纷; PHMMSA向FERC警告发送即将到来的安全和监管成本后果的信息
2. Distributed implementation of message sequence charts [J] . Abdallah Rouwaida, Helouet Loic, Jard Claude Software and systems modeling . 2015,第2期

机译：消息序列图的分布式实现
3. Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets [J] . S. A. Chernenok, V. A. Nepomniaschy Automatic Control and Computer Sciences . 2015,第7期

机译：借助彩色Petri网对分布式系统消息序列图进行分析和验证
4. Extracting Message Sequence Charts from Hindi Narrative Text [C] . Swapnil Hingmire, Nitin Ramrakhiyani, Avinash Kumar Singh, Joint Workshop on Narrative Understanding Storylines, and Events . 2020

机译：从印地语叙事文本中提取消息顺序图
5. Message sequence chart specifications with cross verification. [D] . Boles, Timothy Shawn. 2001

机译：带有交叉验证的消息序列图规范。
6. Editors Choice: Increasing the response rate of text messaging data collection: a delayed randomized controlled trial [O] . Ye Li, Wei Wang, Qiong Wu, 2015

机译：编辑选择：提高短信数据收集的响应率：延迟的随机对照试验
7. Syntactic detection of process divergence and non-local choice in message sequence charts [O] . Hanene Ben-Abdallah, Stefan Leue 1997

机译：消息序列图中的过程差异和非本地选择的语法检测

Delayed Choice: An Operator for Joining Message Sequence Charts

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅