论文部分内容阅读
为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力.最后,对时间属性序列图进行了实例研究,显示了其广泛的应用前景.
时间属性序列图：语法和语义
【摘 要】
：
为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi
【机 构】
：
东南大学计算机科学与工程学院,河海大学计算机与信息学院
【出 处】
：
软件学报
【发表日期】
：
2010年11期
【基金项目】
：
国家自然科学基金Nos.60773105,60973149,,国家高技术研究发展计划（863）No.2008AA01Z113,,中央高校基本科研业务费专项资金No.2009B04314
其他文献
介绍了一种基于自动机理论的参数化LTL（parameterized LTL（1inear temporal logic），简称PALTL）公式运行时预测监控器构造方法．一方面研究PALTL公式的语法、预测语义、赋值提取以及
作为人类历史上一场最伟大最深刘的变革，中国改革开放的叙述史可以从社会分层的视角进行解读，从理论维度到实践维度，改革开放完成了其鸿篇巨制的逻辑建构，从广大干部、工商业者、
电子邮件被称为"存贮转发式"服务.这正是电子信箱系统的核心,利用存贮转发可进行非实时通信,属异步通信方式.即信件发送者可随时随地发送邮件,不要求接收者同时在场,即使对方
作者以其自身的艺术实践作为自我剖析对象,用具体的绘画行动来应对存在的现实困境。其自身的处境,可梳理为身体与异乡、乡土与自我、身体与经验、绘画与原乡等问题,最终将艺
提到花，总会给人一种美好、舒畅的感觉，然而妖艳的罂粟花却给人们带来了深重的灾难和耻辱。１９９７年，国家禁毒委员会统计，现登记在册的吸毒者达５４万，吸毒涉及的县、市占全国的７０％，吸毒人员年龄
文章评述武汉电力职业技术学院在后勤社会化进程中依托行业办后勤的做法和结果,为高职院校后勤社会化改革提供研究资料.
通过引入培训机制、招聘机制、考核机制和激励机制,完善人才管理制度,盘活人力资源,能够充分发挥人才在安全、生产、经营、技术创新方面的潜能和创造力,促进企业更好地发展。
本文通过国内外振动能量采集方案的对比研究,由桥梁振动得到环境振动能出发,以桥梁健康监测系统器件提供电量为目的,设计了＂能量转换-能量存储-能量管理＂的智能供电方法。能量
民营经济在中国经济的增长中起着举足轻重的作用.但民营经济在发展过程中还面临诸多障碍,其中最主要的是对民营经济的歧视.对民营经济的歧视不仅违背了市场经济的公平竞争规