【摘 要】
:
需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二
【机 构】
:
南京航空航天大学信息科学与技术学院,徐州师范大学计算机科学与技术学院
【基金项目】
:
国家“八六三”高技术研究发展计划基金项目(2009AA010307), 江苏省高校自然科学基金项目(10KJB520019)
论文部分内容阅读
需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使
其他文献
本文从分析我局相关数据出发,着重说明了线性管理是根据企业的特点,通过“科学的岗位分析”和“量化的绩效考评”将员工分为“一线、二线、三线”,实行“动态的聘用管理”和“差
心理咨询是指来询者就心理、精神方面存在的问题,向咨询人员进行述说、商讨和询问,以求问题解决及平衡心态的过程。本文分析了大学生中普遍存在的一些心理问题及其产生原因,阐述
随着信息与通讯技术快速发展,"互联网+教育"已成为当今教育发展的必然趋势。翻转课堂、慕课、微课等新颖教学形式大量运用到教学实践中,并在大学、中学教学中取得良好成果。
进入新世纪,全球化进程不断加快,整个世界随之发生巨大的变化。全球化广泛地引起了不同的见解和规划,有对灵活的、世界范围的、无边界的劳动市场的乐观的描述,也有对劳动市场“赢
不断暴露的公司丑闻成为了人们关注的焦点。这些案件虽形态各异,但却有一个共同点,即丑闻的源流都是公司管理层的机会主义行为。人们开始纷纷反思控制公司管理层的公司治理问题
本文是教学改革过程中对于高等职业院校创业管理课程的教学实践探索,文章围绕高等职业院校创业管理课程的设计展开,从学以致用、工学结合、任务导向的理念出发,对在教学过程
可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作
研究了微泡沫高效钻井技术,既解决了外围油田油层污染问题,又提高了钻井速度,机械钻速提高了30%以上。室内评价发泡剂、稳泡剂用量以及该钻井液的稳定性,形成微泡沫钻井液体
现代学徒制是英国面向义务教育后不再接受全日制教育的青年人的一种培训制度。本文对其基本特点、存在问题及其改革走向进行了系统研究,力求为我国有效推进普及高中阶段教育提
作为电阻、电容、电感之外的第4种基本电路元件,忆阻器自2008年被发现以来受到学术界和产业界的广泛关注。忆阻器的阻值记忆效应和纳米工艺制造方式使其被认为可用于构建