【摘 要】
：
需求规约到软件体系结构（SA）模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二
【机 构】
：
南京航空航天大学信息科学与技术学院,徐州师范大学计算机科学与技术学院
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目（2009AA010307）, 江苏省高校自然科学基金项目（10KJB520019）
论文部分内容阅读
需求规约到软件体系结构（SA）模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使
其他文献
随着信息与通讯技术快速发展,"互联网+教育"已成为当今教育发展的必然趋势。翻转课堂、慕课、微课等新颖教学形式大量运用到教学实践中,并在大学、中学教学中取得良好成果。
不断暴露的公司丑闻成为了人们关注的焦点。这些案件虽形态各异，但却有一个共同点，即丑闻的源流都是公司管理层的机会主义行为。人们开始纷纷反思控制公司管理层的公司治理问题
可信平台模块（trusted platform module,TPM）是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作
作为电阻、电容、电感之外的第4种基本电路元件，忆阻器自2008年被发现以来受到学术界和产业界的广泛关注。忆阻器的阻值记忆效应和纳米工艺制造方式使其被认为可用于构建