接口自动机相关论文
如何高效、低成本地开发高质量软件一直是计算机软件领域重点研究的问题。软件复用被认为是解决该问题的既实用又有效的方法。构件......
基于B/S模式的Web应用既保留了C/S模式分布计算的特性，又便于集中管理，而且最重要的是对客户端的限制较少，因此极大地促进了Web应用的......
随着Web服务的出现和推广,Web服务组合技术已经成为近年来的研究热点。Web服务的业务流程执行语言(BPEL4WS)作为一种基于业务流程......
目前,随着Web服务技术的不断推广与应用,面向服务的计算已经成为软件工程领域的研究热点。通过重用现有服务,将服务进行组合,企业......
在已有的研究基础上、基于接口自动机理论提出了一种构件交互形式化方法模型.它将接口自动机的输入输出动作分别对应为构件接口所......
确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策......
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(bu......
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统,其广泛存在于航空航天、工业控制、国防等安全攸关系......
如果构件含有冗余的功能，特别是含有用户不想要的功能，则无法被用户正确使用．因此，如何从构件中提取场景规约中所描述的用户想要的行为......
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的"乐观方法"和博弈思......
嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期，缺乏有效工具对系......
针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结......
在复杂的实时软件系统中使用构件式设计方法，已成为目前软件工程中的研究热点．如何有效地验证实时软件的设计是否满足给定的时间规约......
Web应用的快速发展及其一些异于传统程序的特点使Web应用的验证面临了新的挑战。使用接口自动机对Web应用的构件和构件组合进行行......
使用接口自动机描述软件各模块的内、外部行为,依据接口自动机的构件组合方法来描述总体框架的运行机制,可清晰地展示出基于网络嗅......
确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策......
如果构件含有冗余的行为,特别是有用户不想要的功能,则用户无法使用。因此,如何从构件中保留场景规约中用户需要的行为便是一个亟......
从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究，包括：扩展了实时接口自动机在能耗语义方面的描述能力，通......
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的......
在Web服务描述语言(WSDL)与网络服务的本体语言(OWL-S)共存的环境中难以实现Web服务混合组合,为此提出一种以接口自动机为基础的混......
针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题,提出一种基于接口自动机(IA)来分析和检测构件良构性(well-for......
基于接口自动机(Interface Automata,简称IA)的原理,提出了基于IA的Web服务组合设计方法,每一个Web服务对应一个IA模型,并使用IA的......
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交......
在目前对于服务组合的研究中，对于用业务流程执行语言（BPEL）和WSCL等标准语言来描述的服务来说，语言本身缺乏对组合正确性进行检验的支......
...
因特网上的资源具有不确定性、随机性,需要考虑如何保证网构软件系统在运行中满足资源需求。使用随机性资源接口自动机对软件构件......
在中国的铁路领域,列车运行控制系统是中国铁路的关键装备,是核心技术之一。列车运行控制系统是一种典型的安全苛求系统,一旦列车......
多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户......
构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此，通过把组合接口自动机看作从初始状态出发，经过......
为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法。基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ......
形式验证是提高软件可靠性的有效手段。为了控制形式验证特别是模型检验和精化检验的复杂性,研究人员提出了组合方法,其基水思想是......
近年来随着计算机硬件性能的不断提高,嵌入式系统中软件系统的规模和复杂性不断增加,从而软件对整个系统的影响逐渐占据了统治地位......
面向服务计算SOC(Service-Oriented Computing)是一种基于Internet的分布式计算模式,代表了软件开发的最新发展方向。SOC以Web服务......
针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于......
随着芯片系统设计复杂性的日益增加,上市时间的不断缩短,业界和学术界通过采用高层设计抽象,以及高效、无缝的设计重用,来解决工业......
实时嵌入式系统建模语言一体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言，当AADL构件模型进行组合时，因为一些交互活......
有效的构件检索是提高软件开发效率的前提条件之一。本文基于接口自动机,用构件接口中方法的二元关系描述构件行为,并结合提出的构......
接口自动机是一个用来描述软构件接口的时态行为的形式模型，传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实......
针对传统软件工程知识分类方法效率低下的问题,提出一种改进的软件工程知识分类方法。依据软件工程知识体系（SWEBOK）对构件行为进行......
列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效......
随着嵌入式软件系统在汽车、核工业、航空等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保......
基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证（On-the-flyverification）方法对一个构件化......
