点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017)

关键字：probabilistic timed systems data constraints ZIA formal model

摘要：Probabilistic timed systems with data constraints refer to computing systems in which components interact with each other under time or data variables constraints, and their behaviors exhibit some non-determinism and probability. In order to verify such a system, it is necessary to model the system via extended formal model. In this paper, combining ZIA (interface automata with z language) and probabilistic timed automata, we propose a PTZIA (probabilistic timed interface automata with z language) model accompanied by continuous time which both have continuous-time constraints and discrete data constraints, and present the transition system semantics for PTZIAs.

ISSN号：2327-0594

是否译文：否

发表时间：2017-01-01

合写作者：Ma, Yan,Liu, Yang

通讯作者：曹子宁